Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Steve Kremer
Reducing Equational Theories for the Decision of Static Equivalence
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards Automatic Analysis of Election Verifiability Properties
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Computationally Sound Analysis of Protocols Using Bilinear Pairings
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice
Private Votes on Untrusted Platforms: Models, Attacks and Provable Scheme
A Novel Approach for Reasoning About Liveness in Cryptographic Protocols and Its Application to Fair Exchange
Symbolic Models for Isolated Execution Environments
Reducing Equational Theories for the Decision of Static Equivalence
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
