Publications

2024

A New Broadcast Primitive for BFT Protocols

M. Drijvers, T. Gretler, Y. Harchol, T. Klenze, O. Maric, S. Neamtu, Y.-A. Pignolet, R. Rumenov, D. Sharifi, V. Shoup

arXiv, 2024

[arXiv] [DOI]

2023

Decentralized and Stateful Serverless Computing on the Internet Computer Blockchain

M. Arutyunyan, A. Berestovskyy, A. Bratschi-Kaye, U. Degenbaev, M. Drijvers, I. El-Ashi, S. Kaestle, R. Kashitsyn, M. Kot, Y.-A. Pignolet, R. Rumenov, D. Sarlis, A. Sinpalean, A. Uta, B. Warinschi, A. Zapuc

USENIX Annual Technical Conference (USENIX ATC), 2023

2022

Internet Computer Consensus

J. Camenisch, M. Drijvers, T. Hanke, Y.-A. Pignolet, V. Shoup, D. Williams

ACM Symposium on Principles of Distributed Computing (PODC), 2022

[ePrint] [DOI]

2020

Pixel: Multi-signatures for Consensus

M. Drijvers, S. Gorbunov, G. Neven, H. Wee

USENIX Security Symposium, 2020

[ePrint]

Short Threshold Dynamic Group Signatures

J. Camenisch, M. Drijvers, A. Lehmann, G. Neven, P. Towa

Security and Cryptography for Networks (SCN), 2020

[ePrint] [DOI]

Zone Encryption with Anonymous Authentication for V2V Communication

J. Camenisch, M. Drijvers, A. Lehmann, G. Neven, P. Towa

IEEE European Symposium on Security and Privacy (EuroS&P), 2020

[ePrint] [DOI]

2019

Fast Keyed-Verification Anonymous Credentials on Standard Smart Cards

J. Camenisch, M. Drijvers, P. Dzurenda, J. Hajny

IFIP SEC, 2019

[ePrint] [DOI]

On the Security of Two-Round Multi-Signatures

M. Drijvers, K. Edalatnejad, B. Ford, E. Kiltz, J. Loss, G. Neven, I. Stepanovs

IEEE Symposium on Security and Privacy (S&P), 2019

[ePrint] [DOI]

2018

Compact Multi-Signatures for Smaller Blockchains

D. Boneh, M. Drijvers, G. Neven

International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT), 2018

[ePrint] [DOI]

The Wonderful World of Global Random Oracles

J. Camenisch, M. Drijvers, T. Gagliardoni, A. Lehmann, G. Neven

Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT), 2018

[ePrint] [DOI]

2017

Anonymous Attestation with Subverted TPMs

J. Camenisch, M. Drijvers, A. Lehmann

Annual International Cryptology Conference (CRYPTO), 2017

[ePrint] [DOI]

Practical UC-Secure Delegatable Credentials with Attributes and Their Application to Blockchain

J. Camenisch, M. Drijvers, M. Dubovitskaya

ACM Conference on Computer and Communications Security (CCS), 2017

[DOI]

One TPM to Bind Them All: Fixing TPM 2.0 for Provably Secure Anonymous Attestation

J. Camenisch, L. Chen, M. Drijvers, A. Lehmann, D. Novick, R. Urian

IEEE Symposium on Security and Privacy (S&P), 2017

[ePrint] [DOI]

2016

Anonymous Attestation Using the Strong Diffie Hellman Assumption Revisited

J. Camenisch, M. Drijvers, A. Lehmann

International Conference on Trust and Trustworthy Computing (TRUST), 2016

[ePrint] [DOI]

Scalable Revocation Scheme for Anonymous Credentials Based on n-times Unlinkable Proofs

J. Camenisch, M. Drijvers, J. Hajny

ACM Workshop on Privacy in the Electronic Society (WPES), 2016

[DOI]

Universally Composable Direct Anonymous Attestation

J. Camenisch, M. Drijvers, A. Lehmann

International Conference on Practice and Theory in Public Key Cryptography (PKC), 2016

[ePrint] [DOI]

2013

Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing

R. Kersten, B. van Gastel, M. Drijvers, S. Smetsers, M. van Eekelen

NASA Formal Methods Symposium (NFM), 2013

[DOI]