Aarhus University Seal / Aarhus Universitets segl

Four papers accepted at CSF

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


Søren Eller Thomsen, Bas Spitters


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


Nikolaj Sidorenco, Sabine Oechsner, Bas Spitters


SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq


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