I agree that this site is using cookies. You can find further informations here.
X
Cremers, Cas
122  results:
Search for persons X
?
1

A Holistic Security Analysis of Monero Transactions:

, In: Lecture Notes in Computer Science; Advances in Cryptology – EUROCRYPT 2024,
Cremers, Cas ; Loss, Julian ; Wagner, Benedikt - p. 129-159 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Provable security and real-world protocols 

theory and practice 
Zhao, Mang , 2023
Link: https://nbn-resolving.de..
 
?
3

Subterm-Based Proof Techniques for Improving the Automation..:

, In: 2023 IEEE 36th Computer Security Foundations Symposium (CSF),
Cremers, Cas ; Jacomme, Charlie ; Lukert, Philip - p. 200-213 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Proceedings of the 2023 ACM SIGSAC Conference on Computer a..:

Meng, Weizhi ; Jensen, Christian D. ; Cremers, Cas. , 2023
Link: https://dl.acm.org/doi/1..
 
?
5

FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post..:

, In: 2023 IEEE Symposium on Security and Privacy (SP),
Bindel, Nina ; Cremers, Cas ; Zhao, Mang - p. 1471-1490 , 2023
Link: https://doi.org/10.1109/..
 
?
6

A Logic and an Interactive Prover for the Computational Pos..:

, In: 2022 IEEE Symposium on Security and Privacy (SP),
Cremers, Cas ; Fontaine, Caroline ; Jacomme, Charlie - p. 125-141 , 2022
Link: https://doi.org/10.1109/..
 
?
7

CHIP and CRISP: Protecting All Parties Against Compromise T..:

, In: Advances in Cryptology – CRYPTO 2022; Lecture Notes in Computer Science,
Cremers, Cas ; Naor, Moni ; Paz, Shahar. - p. 668-698 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Tamarin: Verification of Large-Scale, Real-World, Cryptogra..:

Basin, David ; Cremers, Cas ; Dreier, Jannik.
IEEE Security & Privacy.  20 (2022)  3 - p. 24-32 , 2022
Link: https://doi.org/10.1109/..
 
?
9

Proceedings of the 2022 ACM SIGSAC Conference on Computer a..:

Yin, Heng ; Stavrou, Angelos ; Cremers, Cas. , 2022
Link: https://dl.acm.org/doi/1..
 
?
10

Deploying decentralized, privacy-preserving proximity traci..:

Troncoso, Carmela ; Bogdanov, Dan ; Bugnion, Edouard...
Communications of the ACM.  65 (2022)  9 - p. 48-57 , 2022
Link: https://doi.org/10.1145/..
 
?
11

SoK: Computer-Aided Cryptography:

, In: 2021 IEEE Symposium on Security and Privacy (SP),
Barbosa, Manuel ; Barthe, Gilles ; Bhargavan, Karthik... - p. 777-795 , 2021
Link: https://doi.org/10.1109/..
 
?
12

The Provable Security of Ed25519: Theory and Practice:

, In: 2021 IEEE Symposium on Security and Privacy (SP),
Brendel, Jacqueline ; Cremers, Cas ; Jackson, Dennis. - p. 1659-1676 , 2021
Link: https://doi.org/10.1109/..
 
?
13

BUFFing signature schemes beyond unforgeability and the cas..:

, In: 2021 IEEE Symposium on Security and Privacy (SP),
Cremers, Cas ; Duzlu, Samed ; Fiedler, Rune.. - p. 1696-1714 , 2021
Link: https://doi.org/10.1109/..
 
?
14

Clone Detection in Secure Messaging: Improving Post-Comprom..:

, In: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security,
Cremers, Cas ; Fairoze, Jaiden ; Kiesl, Benjamin. - p. 1481-1495 , 2020
Link: https://dl.acm.org/doi/1..
 
?
15

Limiting the impact of unreliable randomness in deployed se..:

, In: 2020 IEEE 33rd Computer Security Foundations Symposium (CSF),
Akhmetzyanova, Liliya ; Cremers, Cas ; Garratt, Luke.. - p. 277-287 , 2020
Link: https://doi.org/10.1109/..
 
1-15