2 papers
cs.SE2026
Toward Practical Deductive Verification: Insights from a Qualitative Survey in Industry and Academia
Lea Salome Brugger, Xavier Denis, Peter Müller
Deductive verification is an effective method to ensure that a given system exposes the intended behavior. In spite of its proven usefulness and feasibility in selected projects, d…
cs.GT2024
Scaling CheckMate for Game-Theoretic Security
Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel +2
We present the CheckMate tool for automated verification of game-theoretic security properties, with application to blockchain protocols. CheckMate applies automated reasoning tech…