Tetsu Iwata

From ESC2017
Jump to: navigation, search

Title: SILC is INT-RUP secure

Abstract: We show that SILC is provably INT-RUP secure against nonce-reusing adversaries. The talk will present technical details of the proof.