"Equivalence properties"@en . . "Semantics"@en . "Computer security"@en . "S\u00E9curit\u00E9 informatique"@fr . "Partial-Order Reductions"@en . . "E-voting"@en . . "Finite fields"@en . "Probabilistic process equivalences"@en . "Steve Kremer" . "Type systems"@en . "Survey"@en . "Symbolic methods"@en . "Information security"@en . "Verification"@en . . "Universal Composability"@en . "Internet"@fr . "Probabilistic programs"@en . "Composition"@en . . "Key management"@en . "Program equivalence"@en . "Symbolic models"@en . "Cryptographie"@fr . "Vote \u00E0 distance"@fr . "Symbolic verification"@en . "Cybersecurity"@en . "Cryptographic protocols"@en . "55a1c2b4f55635fa55fbf4e1fdc9f1e9" . "Protocole s\u00E9curit\u00E9"@fr . <0009-0004-6946-0678> . <153809027> . "Abstraction"@en . "Cryptography"@en . "Automated verification"@en . "Security APIs"@en . "S\u00E9curit\u00E9 des donn\u00E9es"@fr . "Security protocols"@en . "Cybers\u00E9curit\u00E9"@fr . . "Computational analysis"@en . "Steve" . "Formal methods"@en . "Decidability and complexity"@en . "Security protocol"@en . "Machine \u00E0 voter"@fr . "Stateful security protocols"@en . "Symmetry"@en . "Kremer" .