Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of PACE

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.
In: Sicherheit 2012 -- Beiträge der 6-ten Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e. V..

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item