Ernie Cohen

According to our database1, Ernie Cohen authored at least 34 papers between 1994 and 2019.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
A Machine-Checked Proof of Security for AWS Key Management Service.
IACR Cryptol. ePrint Arch., 2019

A Reduction Theorem for Store Buffers.
Arch. Formal Proofs, 2019

2018
Object-Oriented Security Proofs.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

2015
Verification Tools for Transactional Programs.
Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015

2014
Coherent Causal Memory.
CoRR, 2014

Hypothesis Elimination in Kleene Semirings.
CoRR, 2014

Modular Verification of Hybrid System Code with VCC.
CoRR, 2014

Store Buffer Reduction with MMUs.
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

2013
Data Abstraction in VCC.
Proceedings of the Engineering Dependable Software Systems, 2013

Theory of Multi Core Hypervisor Verification.
Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

2012
Verification of TLB Virtualization Implemented in C.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

2011

2010
From Total Store Order to Sequential Consistency: A Practical Reduction Theorem.
Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Modular specification and verification of interprocess communication.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Verifying shadow page table algorithms.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Local Verification of Global Invariants in Concurrent Programs.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
A Precise Yet Efficient Memory Model For C.
Proceedings of the 4th International Workshop on Systems Software Verification, 2009

Weak Kleene Algebra is Sound and (Possibly) Complete for Simulation
CoRR, 2009

Pessimistic Testing
CoRR, 2009

A Better Reduction Theorem for Store Buffers
CoRR, 2009

VCC: A Practical System for Verifying Concurrent C.
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009


2008
Using probabilistic Kleene algebra pKA for protocol verification.
J. Log. Algebraic Methods Program., 2008

2006
Optimistic synchronization-based state-space reduction.
Formal Methods Syst. Des., 2006

Validating the Microsoft Hypervisor.
Proceedings of the FM 2006: Formal Methods, 2006

Using Probabilistic Kleene Algebra for Protocol Verification.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

Weak Kleene Algebra and Computation Trees.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2003
First-order Verification of Cryptographic Protocols.
J. Comput. Secur., 2003

2002
TAPS: The Last Few Slides.
Proceedings of the Formal Aspects of Security, First International Conference, 2002

2000
A note on the complexity of propositional Hoare logic.
ACM Trans. Comput. Log., 2000

Separation and Reduction.
Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

TAPS: A First-Order Verifier for Cryptographic Protocols.
Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

1998
Reduction in TLA.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1994
The Convergence Span of Greedy Load Balancing.
Inf. Process. Lett., 1994


  Loading...