2 papers
cs.CR2026
Cryptographic Choreographies
Sebastian Mödersheim, Simon Lund, Alessandro Bruni +2
We present CryptoChoreo, a choreography language for the specification of cryptographic protocols. Choreographies can be regarded as an extension of Alice-and-Bob notation, providi…
cs.LO2024
Teaching Higher-Order Logic Using Isabelle
Simon Tobias Lund, Jørgen Villadsen
We present a formalization of higher-order logic in the Isabelle proof assistant, building directly on the foundational framework Isabelle/Pure and developed to be as small and rea…