Number of items: 1.
Conference or Workshop Item (A Paper)
Cheikhrouhou, Lassaad and Stephan, Werner and Fischlin, Marc and Ullmann, Markus
(2012)
Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of PACE.
This list was generated on Sat Sep 13 14:18:37 2025 CEST.