Four papers from Logic and Semantics and CoBRA were accepted at the Computer Security Foundations Symposium (CSF). CSF is an annual conference for researchers within computer security, and will take place online from June 21-24. See the full list of accepted papers and the conference program at: https://www.ieee-security.org/TC/CSF2021/accepted.html

List of accepted papers from the Department:

Towards Language-Based Mitigation of Traffic Analysis Attacks

Jeppe Blaabjerg, Aslan Askarov

Formalizing Nakamoto-Style Proof of Stake

https://eprint.iacr.org/2020/917.pdf

Søren Eller Thomsen, Bas Spitters

Formal security analysis of MPC-in-the-head zero-knowledge protocols

https://eprint.iacr.org/2021/437.pdf

Nikolaj Sidorenco, Sabine Oechsner, Bas Spitters

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

https://eprint.iacr.org/2021/397

Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters