High-level frontend language to Tamarin prover
Authors : Di Long Li and Alwen Tiu, at The Australian National University, Canberra ACT 2600, Australia
High-level frontend language to Tamarin prover
High-level frontend language to Tamarin prover
Authors : Di Long Li and Alwen Tiu, at The Australian National University, Canberra ACT 2600, Australia
High-level frontend language to Tamarin prover
MIT License