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: Conference or Workshop Item (A Paper) | Article
Number of items: 4.

Conference or Workshop Item (A Paper)

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

Article

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

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 3 22:49:54 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.