Difference between revisions of "Tetsu Iwata"

From ESC2017
Jump to: navigation, search
(Created page with "'''Title''': TBA '''Abstract''': TBA")
 
 
Line 1: Line 1:
'''Title''': TBA
+
'''Title''': SILC is INT-RUP secure
  
'''Abstract''': TBA
+
'''Abstract''': We show that SILC is provably INT-RUP secure against nonce-reusing adversaries. The talk will present technical details of the proof.

Latest revision as of 14:12, 13 January 2017

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.