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