Steve Kremer
topic interest: Automated verification
topic interest: Universal Composability
topic interest: Security APIs
topic interest: Survey
topic interest: Cryptography
topic interest: Sécurité des données @fr
topic interest: Key management
is aggregated by: steve-kremer
topic interest: Probabilistic programs
topic interest: Computational analysis
topic interest: Abstraction
first name: Steve
topic interest: Cybersecurity
topic interest: Decidability and complexity
topic interest: Finite fields
type: Person
topic interest: Sécurité informatique @fr
interest: info.info-lo
topic interest: Program equivalence
topic interest: Stateful security protocols
topic interest: Symbolic models
topic interest: Equivalence properties
topic interest: Symmetry
topic interest: Partial-Order Reductions
family name: Kremer
topic interest: E-voting
interest: info.info-cl
topic interest: Symbolic verification
interest: info.info-cr
topic interest: Vote à distance @fr
topic interest: Probabilistic process equivalences
topic interest: Security protocol
topic interest: Semantics
topic interest: Computer security
topic interest: Cryptographic protocols
interest: info.info-cc
topic interest: Security protocols
topic interest: Symbolic methods
topic interest: Verification
topic interest: Type systems
topic interest: Machine à voter @fr
topic interest: Composition
topic interest: Internet @fr
topic interest: Protocole sécurité @fr
topic interest: Formal methods
topic interest: Cybersécurité @fr
topic interest: Cryptographie @fr
topic interest: Information security