collaborators

1 paper

cs.CR2026

AutoTam: Specifying Secure Protocol Implementations with Tamarin Model Generation

Johannes Wilson, Mikael Asplund, Niklas Johansson

Formal verification is a challenging but important task for ensuring the security of cryptographic protocols. While modern protocol verification tools significantly reduce verifica…