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