Mechanising BAN Kerberos by the Inductive Method
No abstract available.
Related papers
- Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic CPP 2024
- Interprocedural Side-Effect Analysis in Linear Time PLDI 1988
- Progressful Interpreters for Efficient WebAssembly Mechanisation POPL 2025
- Counterexample Guided Inductive Synthesis Modulo Theories CAV 2018
- A Mechanised, Bidirectional Type System for Bit-Width Determination in SystemVerilog CAV 2026
- Necessity specifications for robustness OOPSLA 2022
- A Trusted Mechanised Specification of JavaScript: One Year On CAV 2015
- Mechanising blockchain consensus CPP 2018