1 citations
4 papers
A Sound Translation from Tamarin to ProVerif: Enabling Comparative Analysis
Kevin Morio, Yavor Ivanov, Robert Künnemann
Tamarin and ProVerif are two prominent tools for the formal verification of security protocols. They share the same high-level goal but differ significantly in their underlying for…
Reflection, Education, Consistency: Towards Best Ethics Practices At Security And Privacy Conferences
Florian Hantke, Rafael Mrowczynski, Til Dralle +1
Research ethics is a controversial and emotionally charged topic in the security and privacy community, sparking discussions at conferences and on social media. In recent years, so…
MPC in the Quantum Head (or: Superposition-Secure (Quantum) Zero-Knowledge)
Andrea Coladangelo, Ruta Jawale, Dakshita Khurana +2
The MPC-in-the-head technique (Ishai et al., STOC 2007) is a celebrated method to build zero-knowledge protocols with desirable theoretical properties and high practical efficiency…
An Empirical Study of Fuzz Harness Degradation
Philipp Görz, Joschua Schilling, Nicolai Bissantz +1
The purpose of continuous fuzzing platforms is to enable fuzzing for software projects via fuzz harnesses -- but as the projects continue to evolve, are these harnesses updated in…