2023

• Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Catalin Hritcu, Kenji Maillard, Bas Spitters: SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. Paper accepted for TOPLAS (ACM Transactions on Programming Languages and Systems). Link to article

• Benjamin Salling Hvass, Diego F. Aranha, and Bas Spitters: High-assurance field inversion for curve-based cryptography. Paper accepted for CSF 2023. Link to paper 

• Chaya Ganesh, Yashvanth Kondi, Claudio Orlandi, Mahak Pancholi, Akira Takahashi, Daniel Tschudi: Witness-Succinct Universally-Composable SNARKs. Papers accepted for Eurocrypt 2023. Link to paper

• Jesper Buus Nielsen, Mathias Hall-Andersen: On Valiant’s Conjecture: Impossibility of Incrementally Verifiable Computation from Random Oracles. Paper accepted for Eurocrypt 2023. Link to abstract

• Aarushi Goel, Mathias Hall-Andersen, Gabriel Kaptchuk, Nicholas Spooner: Speed-Stacking: Fast Sublinear Zero-Knowledge Proofs for Disjunctions. Paper accepted for Eurocrypt 2023. Link to abstract

• Carsten Baum, Bernardo David, Rafael Dowsley, Ravi Kishore, Jesper Buus Nielsen, Sabine Oechsner: CRAFT: Composable Randomness Beacons and Output-Independent Abort MPC From Time. Paper accepted for PKC 2023. Link to paper

• Philipp G. Haselwarter, Benjamin Salling Hvass, Lasse Letager Hansen, Théo Winterhalter, Catalin Hritcu, Bas Spitters: The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography. Paper presented at IETF116. Link to paper

• Bas Spitters, Lasse Letager Hansen, Manuel Barbosa, Pierre-Yves Strub Lucas Franceschino, Denis Merigoux: HACSPEC: a gateway to high-assurance cryptography. Paper presented at IEFT116. Link to abstract

• Bas Spitters, Lasse Letager Hansen, Manuel Barbosa, Pierre-Yves Strub Lucas Franceschino, Denis Merigoux: HACSPEC: a gateway to high-assurance cryptography. Paper presented at RWC 2023. Link to abstract
• Eske Hoy Nielsen, Danil Annenkov, Bas Spitters: Formalising Decentralised Exchanges in Coq. Paper presented at POPL-CCP 2023. Link to paper

2022

• Chen-Da Liu-Zhang, Christian Matt, Ueli Maurer, Guilherme Rito, Søren Eller Thomsen: Practical Provably Secure Flooding for Blockchains. Paper presented at Asiacrypt 2022. Link to paper

• Matteo Campanelli, Bernardo David, Hamidreza Khoshakhlagh, Anders Konring, Jesper Buus Nielsen: Encryption to the Future: A Paradigm for Sending Secret Messages to Future (Anonymous) Committees. Paper presented at Asiacrypt 2022. Link to paper

• Matteo Campanelli, Mathias Hall-Andersen, Simon Holmgaard Kamp: ZK Primitives - Curve Trees: Practical and Transparent Zero-Knowledge Accumulators. Paper presented at ZKProof 2022. Link to paper

• Bernardo David, Bernardo Magri, Christian Matt, Jesper Buus Nielsen, Daniel Tschudi: GearBox: Optimal-size Shard Committees by Leveraging the Safety-Liveness Dichotomy. Papers presented at CCS 2022. Link to paper         
• Diego Aranha, Chuanwei Lin, Claudio Orlandi, and Mark Simkin: Laconic Private Set-Intersection From Pairings. Paper presented at CCS 2022. Link to paper                            
• Michele Ciampi, Emmanuela Orsini, Luisa Siniscalchi: Four-Round Black-Box Non-Malleable Commitments from One-Way Permutations. Paper presented at TCC 2022. Link to paper

• Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, Bas Spitters: Finding smart contract vulnerabilities with ConCert’s property-based testing framework. Paper presented at FMBC 2022. Link to paper.

• Cecilia Boschini, Ivan Damgård, Claudio Orlandi: On Access Control Encryption without Sanitization. Paper presented at SCN 2022. Link to paper

• Diego F. Aranha, Felix Engelmann, Sebastian Kolby and Sophia Yakoubov: The State of the Union: Union-Only Signatures for Data Aggregation. Paper presented at SCN 2022. Link to paper

• Chaya Ganesh, Hamidreza Khoshakhlagh and Roberto Parisella: NIWI and New Notions of Extraction for Algebraic Languages. Paper presented at SCN 2022. Link to paper

• Mark Simkin, Luisa Siniscalchi and Sophia Yakoubov: On Sufficient Oracles for Secure Computation with Identifiable Abort. Paper presented at SCN 2022. Link to paper..

• Chaya Ganesh, Hamidreza Khoshakhlagh, Markulf Kohlweiss, Anca Nitulescu, Michal Zajac: What Makes Fiat–Shamir zkSNARKs (Updatable SRS) Simulation Extractable? Paper presented at SCN 2022. Link to paper.

• Matteo Campanelli, Felix Engelmann, Claudio Orlandi: Zero-Knowledge for Homomorphic Key-Value Commitments with Applications to Privacy-Preserving Ledgers. Paper presented at SCN 2022. Link to paper.

• Damiano Abram, Ivan Damgård, Claudio Orlandi, Peter Scholl: An Algebraic Framework for Silent Preprocessing with Trustless Setup and Active Security. Paper presented at Crypto 2022. Link to abstract.

• Jesper Buus Nielsen, João Ribeiro, and Maciej Obremski: Public Randomness Extraction with Ephemeral Roles and Worst-Case Corruptions. Paper presented at Crypto 2022. Link to paper.

• Christian Matt, Jesper Buus Nielsen, and Søren Eller Thomsen: Formalizing Delayed Adaptive Corruptions and the Security of Flooding Networks. Paper presented at Crypto 2022. Link to paper.

• Matteo Campanelli, Mathias Hall-AndersenVeksel: Simple, Efficient, Anonymous Payments with Large Anonymity Sets from Well-Studied Assumptions. Paper presented at Asia CCS 2022. Link to paper.

• Hamidreza Khoshakhlagh: (Commit-and-Prove) Predictable Arguments with Privacy. Paper presented at ACNS 2022. Link to paper

• Aarushi Goel, Mathias Hall-Andersen, Aditya Hegde, Abhishek Jain: Secure Multiparty Computation with Free Branching. Paper presented at Eurocrypt 2022. Link to presentation.

• Michele Ciampi, Divya Ravi, Luisa Siniscalchi, Hendrik Waldner: Round-Optimal Multi-Party Computation with Identifiable Abort. Paper presented at Eurocrypt 2022. Link to paper.

• Suvradip Chakraborty, Bernardo Magri, Jesper Buus Nielsen, Daniele Venturi: Universally Composable Subversion-Resilient Cryptography. Paper accepted for Eurocrypt 2022. Link to paper.

• Aarushi Goel, Matthew Green, Mathias Hall-Andersen, Gabriel Kaptchuk: Stacking Sigmas: A Framework to Compose Sigma-Protocols for Disjunctions. Paper presented at Eurocrypt 2022. Link to abstract.

• Chaya Ganesh, Claudio Orlandi, Mahak Pancholi, Akira Takahashi, Daniel Tschudi: Fiat-Shamir Bulletproofs are Non-Malleable (in the Algebraic Group Model). Paper presented at Eurocrypt 2022. Link to abstract

• Damiano Abram, Ariel Nof, Claudio Orlandi, Peter Scholl, Omer Shlomovits: Low-Bandwidth Threshold ECDSA via Pseudorandom Correlation Generators. Paper presented at IEEE S&P 2022. Link to paper
• Eske Hoy Nielsen, Danil Annenkov, Bas Spitters: Formalising Decentralised Exchanges in Coq. Link to paper
• Diego F. Aranha, Emil Madsen Bennedsen, Matteo Campanelli, Chaya Ganesh, Claudio Orlandi, Akira Takahashi: ECLIPSE: Enhanced Compiling method for Pedersen-committed zkSNARK Engines. Paper presented at PKC 2022 Link to paper

• Claudio Orlandi, Divya Ravi, Peter Scholl: On the Bottleneck Complexity of MPC with Correlated Randomness. Paper presented at PKC 2022. Link to paper

• Diego F. Aranha, Anca Nitulescu, Mathias Hall-Andersen, Elena Pagnin, Sophia Yakoubov: Count Me In! Extendablity for Threshold Ring Signatures. Paper presented at PKC 2022. Link to paper
• Rasmus Holdsbjerg-Larsen, Mikkel Milo, Bas Spitters: A Verified Pipeline from a Specification Language to Optimized, Safe Rust. Paper presented at  CoqPL 2022. Link to abstract

2021

• Craig Gentry, Shai Halevi, Bernardo Magri, Jesper Buus Nielsen and Sophia Yakoubov: Random-index PIR and Applications. Paper presented at TCC 2021, 8-11 November 2021. Link to eprint 
• Carsten Baum, Bernardo David, Rafael Dowsley, Jesper Buus Nielsen and Sabine Oechsner: TARDIS: A Foundation of Time-Lock Puzzles in UC. Paper presented at EuroCrypt 2021, 17-21 October 2021. Link to eprint 
• Simon Holmgaard Kamp, Bernardo Magri, Jesper Buus Nielsen, Søren Eller Thomsen, Christian Matt and Daniel Tschudi: Weight-Based Nakamoto-Style Blockchains. Paper presented at Latincrypt 2021, 6-8 October 2021. Link to eprint
• Diego F. Aranha, Elena Pagnin and Francisco Rodríguez-Henríquez: LOVE a pairing. Paper accepted for LatinCrypt 2021, 6-8 October 2021. Link to eprint 
• Diego Aranha, Anders Dalskov, Daniel Escudero and Claudio Orlandi: Improved Threshold Signatures, Proactive Secret Sharing, and Input Certification from LSS Isomorphisms. Paper presented at LatinCrypt 2021, 6-8 October 2021. Link to eprint  
• Alexander Munch-Hansen, Claudio Orlandi and Sophia Yakoubov: Stronger Notions and a More Efficient Construction of Threshold Ring Signatures. Paper presented at LatinCrypt 2021, 6-8 October 2021. Link to eprint 
• Bernardo David, Bernardo Magri, Christian Matt, Jesper Buus Nielsen and Daniel Tschudi: GearBox: An Efficient UC Sharded Ledger Leveraging the Safety-Liveness Dichotomy. Paper presented at TPBC 2021, Wednesdays 9 May - 7 July 2021. Link to eprint
• Fredrik Kamphuis, Bernardo Magri, Sebastian Faust: The Discriminating Miner Dilemma: Revisiting Liveness Guarantees under Content Discrimination. Paper presented at TPBC 2021, Wednesdays 9 May - 7 July 2021. Link to eprint will follow.  
• Sri Aravinda Krishnan Thyagarajan, Adithya Bhat, Bernardo Magri, Daniel Tschudi, Aniket Kate: Reparo: Publicly Verifiable Layer to Repair Blockchains. Paper presented at TPBC 2021, Wednesdays 9 May - 7 July 2021. Link to paper
• Ivan Damgård and Bernardo Magri and Luisa Siniscalchi and Sophia Yakoubov and Divya Ravi: Broadcast-Optimal Two Round MPC with an Honest Majority. Paper presented at Crypto 2021, 16-20 August 2021. Link to eprint
• Craig Gentry, Shai Halevi, Hugo Krawczyk, Bernardo Magri, Jesper Buus Nielsen, Tal Rabin and Sophia Yakoubov: YOSO: You Only Speak Once / Secure MPC with Stateless Ephemeral Roles. Paper presented at Crypto 2021, 16-20 August 2021. Link to eprint Link to video
• Benjamin Salling Hvass and Diego F. Aranha and Bas Spitters: High-assurance field inversion for curve-based cryptography. Link to eprint  
• Nikolaj Sidorenco and Sabine Oechsner and Bas Spitters: Formal security analysis of MPC-in-the-head zero-knowledge protocols. Paper presented at CSF 2021, 21-25 June 2021. Link to eprint
• Søren Eller Thomsen and Bas Spitters: Formalizing Nakamoto-Style Proof of Stake. Paper presented at CSF 2021, 21-25 June 2021. Link to eprint
• Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Theo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters: SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.  Paper presented at CSF 2021, 21-25 June 2021. Link to eprint     
• Carsten Baum, Bernardo David, Rafael Dowsley, Jesper Buus Nielsen, and Sabine Oechsner: TARDIS: Time And Relative Delays In Simulation. Paper accepted for EuroCrypt 2021, 17-21 October 2021. Link to paper    
• Claudio Orlandi, Peter Scholl, Sophia Yakoubov: The Rise of Paillier: Homomorphic Secret Sharing and Public-Key Silent OT. Paper accepted for EuroCrypt 2021, 17-21 October 2021. Link to paper TBA    
• Yashvanth Kondi, Bernardo Magri, Claudio Orlandi, Omer Shlomovits: Refresh When You Wake Up: Proactive Threshold Wallets with Offline Devices. Paper presented at IEEE S&P 23-27 May 2021. Link to paper
• Ivan Damgård, Chaya Ganesh, Hamidreza Khoshakhlagh, Claudio Orlandi, and Luisa Siniscalchi: Balancing Privacy and Accountability in Blockchain Transactions. Paper presented at CT-RSA 2021, 17-20 May 2021. Link to eprint    
• Ivan Damgård, Claudio Orlandi, Akira Takahashi, and Mehdi Tibouchi: Two-round n-out-of-n and Multi-Signatures and Trapdoor Commitment from Lattices. Paper presented at PKC 2021, 9-13 May 2021. Link to paper    
• Alessandra Scafuro and Luisa Siniscalchi and Ivan Visconti: Publicly Verifiable Zero Knowledge from (Collapsing) Blockchains. Paper presented at PKC 2021, 9-13 May 2021. Link to paper    
• Michele Ciampi and Luisa Siniscalchi and Hendrik Waldner: Multi-Client Functional Encryption for Separable Functions. Paper presented at PKC 2021, 9-13 May 2021. Link to paper    
• Nikolaj Sidorenco, Sabine Oechsner and Bas Spitters: SoK: Formal security analysis of MPC-in-the-head zero-knowledge protocols. Paper presented at ZKProof 2021, 19-29 April 2021. Link to eprint
• Sri Aravinda Krishnan Thyagarajan, Adithya Bhat, Bernardo Magri, Daniel Tschudi, Aniket Kate: Reparo: Publicly Verifiable Layer to Repair Blockchains. Paper presented at FC21, 1-5 March 2021. Link to paper
• Pedro G. M. R. Alves, Jheyne N. Ortiz and Diego F. Aranha: Faster Homomorphic Encryption over GPGPUs via hierarchical DGT. Paper presented at FC21, 1-5 March 2021. Link to paper Link to video     
• Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters: Extracting Tested and Verified Smart Contracts in Coq. Paper presented at CPP 2021, 17-19 January 2021. Link to paper
• Diego F. Aranha, Felipe Rodrigues Novaes, Akira Takahashi, Mehdi Tibouchi, Yuval Yarom:  LadderLeak: Breaking ECDSA With Less Than One Bit Of Nonce Leakage.  Paper presented at RWC 2021, 11-14 January 2021. Link to paper

2020

• Craig Gentry and Shai Halevi and Bernardo Magri and Jesper Buus Nielsen and Sophia Yakoubov: Random-index PIR and Applications. Link to eprint
• Anders Dalskov, Claudio Orlandi, Marcel Keller, Kris Shrishak, Haya Shulman:  Securing DNSSEC Keys via Threshold ECDSA from Generic MPC. Link to publication
• Thomas Dinsdale-Young, Bernardo Magri, Christian Matt, Jesper Buus Nielsen, Daniel Tschudi: Afgjort: A partially synchronous finality layer for blockchains. Link to publication
• Dominic Deuber, Nico Döttling, Bernardo Magri, Giulio Malavolta, Sri Aravinda Krishnan Thyagarajan:  Minting Mechanisms for Proof of Stake Blockchains. Link to publication
• Daniel E. Lucani, Lars Nielsen, Claudio Orlandi, Elena Pagnin, Rasmus Vestergaard: Secure Generalized Deduplication via Multi-Key Revealing Encryption. Link to publication
• Jakob B. Nielsen, Bas Spitters: Smart Contract Interactions in Coq. Link to publication
• Daniel Escudero, Satrajit Ghosh, Marcel Keller, Rahul Rachuri, Peter Scholl: Improved Primitives for MPC over Mixed Arithmetic-binary Circuits. Link to publication
• Suvradip Chakraborty, Stefan Dziembowski, Jesper Buus Nielsen: Reverse firewalls for actively secure mpcs. Link to publication
• Ivan Damgård, Claudio Orlandi, Mark Simkin: Black-Box Transformations from Passive to Covert Security with Public Verifiability. Link to publication
• Søren Eller Thomsen, Bas Spitters: Formalizing Nakamoto-Style Proof of Stake. Link to publication
• Chaya Ganesh, Bernardo Magri, Daniele Venturi: Cryptographic Reverse Firewalls for Interactive Proof Systems. Link to publication
• Carlo Blundo, Stelvio Cimato, Luisa Siniscalchi: Managing Constraints in Role Based Access Control. Link to publication
• Giuseppe Ateniese, Bernardo Magri, Daniele Venturi: Subversion-resilient signatures: Definitions, constructions and applications. Link to publication
• Jesper Buus Nielsen, Mark Simkin: Lower Bounds for Leakage-Resilient Secret Sharing. Link to publication
• Divesh Aggarwal, Maciej Obremski, João Ribeiro, Luisa Siniscalchi and Ivan Visconti: How to Extract Useful Randomness from Unreliable Sources. Link to publication
• Diego F. Aranha, Claudio Orlandi, Akira Takahashi and Greg Zaverucha: Security of Hedged Fiat–Shamir Signatures Under Fault Attacks. Link to publication
• Diego F. Aranha, Felipe Rodrigues Novaes, Akira Takahashi, Mehdi Tibouchi, Yuval Yarom:  LadderLeak: Breaking ECDSA With Less Than One Bit Of Nonce Leakage.  Paper accepted for DEFCON 28, WAC 2020, CCS 2020 and Black Hat Europe 2020. Link to paper
• Chaya Ganesh and Claudio Orlandi and Daniel Tschudi and Aviv Zohar: Virtual ASICs: Generalized Proof-of-Stake Mining in Cryptocurrencies. Paper presentation at Monash Cybersecurity Seminars 2020. Link to paper
• Benjamin S. Hvass, Diego F. Aranha, Bas Spitters: High-assurance field inversion for pairing-friendly primes. Paper accepted for The Coq Workshop 2020 Link to paper and FMBC 2020 Link to paper.
• Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters: Verifying, testing and running smart contracts in ConCert. Paper accepted for The Coq Workshop 2020. Link to paper

• Ivan Damgård, Hans Gersbach, Ueli Maurer, Jesper Buus Nielsen, Claudio Orlandi, Torben Pryds Pedersen: Concordium White Paper An Introduction to the Technical Specifications and Features of the Concordium Platform. Link to whitepaper
• Simon Holmgaard Kamp, Bernardo Magri, Christian Matt, Jesper Buus Nielsen, Søren Eller Thomsen, Daniel Tschudi: Leveraging Weight Functions for Optimistic Responsiveness in Blockchains. Paper accepted for TPBC20. Link to paper 
• Carsten Baum, Bernardo David, Rafel Dowsley, Jesper Buus Nielsen, Sabine Oechsner: CRAFT: Composable Randomness and Almost Fairness from Time. Link to paper
• Carsten Baum, Bernardo David, Rafael Dowsley, Jesper Buus Nielsen, Sabine Oechsner:  TARDIS: Time And Relative Delays In Simulation. Link to paper.
• Danil Annenkov, Jakob Botsch Nielsen, Bas Spitters: ConCert: A Smart Contract Certification Framework in Coq. Paper accepted for CPP 2020 and TPBC 2020. Link to paper

2019

• Danil Annenkov, Jakob Botsch Nielsen, Bas Spitters: ConCert: A Smart Contract Certification Framework in Coq. Paper accepted for CPP 2019. Link to paper

  Dominic Deuber, Bernardo Magri and Sri Aravinda Krishnan Thyagarajan: Redactable Blockchain in the Permissionless Setting.  Paper accepted for IEEE S&P 2019. Link to paper

• Diego Aranha and Elena Pagnin:  The Simplest Multi-key Linearly Homomorphic Signature Scheme. Paper accepted for Latin Crypt 2019 Link to paper

• Riko Jacob, Kasper Green Larsen and Jesper Buus Nielsen: Lower Bounds for Oblivious Data Structures. Link to publication    
• Thomas Dinsdale-Young, Bas Spitters, Søren Eller Thomsen and Daniel Tschudi. WIP: Formalizing the Concordium Consensus Protocol in Coq. Paper accepted for CoqPL 2019. Link to paper

• Simon Gregersen, Søren Eller Thomsen and Aslan Askarov. A Dependently Typed Library for Static Information-Flow Control in Idris. Paper accepted for POST 2019. Link to paper

• Prastudy Fauzi, Sarah Meiklejohn, Rebekah Mercer, Claudio Orlandi. QuisQuis: A New Design for Anonymous Cryptocurrencies. Paper accepted for AsiaCrypt 2019. Link to paper

• Chaya Ganesh, Claudio Orlandi, Daniel Tschudi. Proof-of-Stake Protocols for Privacy-Aware Blockchains. Paper accepted for EuroCrypt 2019. Link to paper

• Ivan Damgård, Chaya Ganesh, Claudio Orlandi. Proofs of Replicated Storage Without Timing Assumptions. Paper accepted for Crypto 2019. Link to paper

• Danil Annenkov and Bas Spitters. Deep and Shallow Embeddings in Coq. Paper accepted for TYPES 2019. Link to paper

• Danil Annenkov and Bas Spitters. Towards a Smart Contract Verification Framework in Coq. Paper accepted for FMBC 2019. Link to paper