Items where Division is "Cas Cremers (CC)" and Year is 2021

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author(s)/Creator(s) | Item Type | No Grouping
Jump to: B | C | D
Number of items: 5.

B

Baelde, David and Delaune, Stephanie and Jacomme, Charlie and Koutsos, Adrien and Moreau, Solene
(2021) An Interactive Prover for Protocol Verification in the Computational Model.
In: 42nd IEEE Symposium on Security and Privacy (S&P'21), May 24-28, Virtual.
Conference: SP IEEE Symposium on Security and Privacy

Barbosa, Manuel and Barthe, Gilles and Bhargavan, Karthik and Blanchet, Bruno and Cremers, Cas and Liao, Kevin and Parno, Brian
(2021) SoK: Computer-Aided Cryptography.
In: S&P 2021.
Conference: SP IEEE Symposium on Security and Privacy
(In Press)

Brendel, Jacqueline and Cremers, Cas and Jackson, Dennis and Zhao, Mang
(2021) The Provable Security of Ed25519: Theory and Practice.
In: S&P 2021.
Conference: SP IEEE Symposium on Security and Privacy
(In Press)

C

Cremers, Cas and Düzlü, Samed and Fiedler, Rune and Fischlin, Marc and Janson, Christian
(2021) BUFFing signature schemes beyond unforgeability and the case of post-quantum signatures.
In: 42nd IEEE Symposium on Security and Privacy (S&P'21).
Conference: SP IEEE Symposium on Security and Privacy
(In Press)

D

Dax, Alexander and Künnemann, Robert
(2021) On the Soundness of Infrastructure Adversaries.
In: 34th IEEE Computer Security Foundations Symposium, 21-25 June 2021, Virtual Conference.
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

This list was generated on Wed Aug 10 00:02:54 2022 CEST.