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

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 | T
Number of items: 4.


Basin, David and Cremers, Cas and Dreier, Jannik and Sasse, Ralf
(2022) Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols.
IEEE Security and Privacy. ISSN 1540-7993


Cremers, Cas and Jacomme, Charlie and Lukert, Philip
(2022) Subterm-based proof techniques for improving the automation and scope of security protocol analysis.
In: CSF 2023, July 10 - 14, 2023, Dubrovnik, Croatia.
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Cremers, Cas and Naor, Moni and Paz, Shahar and Ronen, Eyal
(2022) CHIP and CRISP: Protecting All Parties Against Compromise through Identity-Binding PAKEs.
In: CRYPTO 2022.
Conference: CRYPTO Advances in Cryptology


Troncoso, Carmela and Bogdanov, Dan and Bugnion, Edouard and Chatel, Sylva and Cremers, Cas and Gürses, Seda and Hubaux, Jean-Pierre and Jackson, Dennis and Larus, James and Lueks, Wouter and Oliveira, Rui and Payer, Mathias and Preneel, Bart and Pyrgelis, Apostolos and Salathé, Marcel and Stadler, Theresa and Veale, Michael
(2022) Deploying decentralized, privacy-preserving proximity tracing.
Communications of the ACM, 65 (9). ISSN 0001-0782

This list was generated on Tue Dec 5 22:55:40 2023 CET.