. "5G standard"@en . "Equivalence-based properties"@en . "Symbolic verification"@en . "Parity automata"@en . "AKA protocol"@en . "Lucca Hirschi" . "Safra construction"@en . <201643510> . "Buchi automata"@en . "Software analysis"@en . "Security and privacy"@en . "Formal analysis"@en . "Hirschi" . . "E-voting"@en . "9fc4b72abba2edef7897028bdb16c40e" . "Proof theory"@en . . "Linear time mu calculus"@en . "Lucca" . . "Formal verification"@en . "Authentication protocols"@en . "Circular proofs"@en . "Cryptographic protocols"@en . "Security protocols"@en . "Symbolic model"@en . "Exclusive or"@en .