Browsing by Author "Dagdelen, Özgür"
Now showing items 1-2 of 2
-
Merging the cryptographic security analysis and the algebraic-logic security proof of PACE
Cheikhrouhou, Lassaad; Stephan, Werner; Dagdelen, Özgür; Fischlin, Marc; Ullmann, Markus
83-94 -
TLS, PACE, and EAC: a cryptographic view at modern key exchange protocols
Brzuska, Christina; Dagdelen, Özgür; Fischlin, Marc
71-82