Tetsu Iwata

From ESC2017
Revision as of 14:12, 13 January 2017 by Leo (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.