Ernie Cohen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
9
Active years
1998–2019
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | CCS | A Machine-Checked Proof of Security for AWS Key Management Service. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grgoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran |
| 2018 | FM | Object-Oriented Security Proofs. | Ernie Cohen |
| 2013 | SOFSEM | Theory of Multi Core Hypervisor Verification. | Ernie Cohen, Wolfgang J. Paul, Sabine Schmaltz |
| 2011 | FM | The 1st Verified Software Competition: Experience Report. | Vladimir Klebanov, Peter Mller, Natarajan Shankar, Gary T. Leavens, Valentin Wstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Wei |
| 2010 | CAV | Local Verification of Global Invariants in Concurrent Programs. | Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies |
| 2010 | FMCAD | Verifying shadow page table algorithms. | Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul |
| 2010 | FMCAD | Modular specification and verification of interprocess communication. | Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Hristo Pentchev |
| 2010 | ITP | From Total Store Order to Sequential Consistency: A Practical Reduction Theorem. | Ernie Cohen, Bert Schirmer |
| 2006 | FM | Validating the Microsoft Hypervisor. | Ernie Cohen |
| 2003 | TACAS | Optimistic Synchronization-Based State-Space Reduction. | Scott D. Stoller, Ernie Cohen |
| 2000 | CAV | TAPS: A First-Order Verifier for Cryptographic Protocols. | Ernie Cohen |
| 2000 | MPC | Separation and Reduction. | Ernie Cohen |
| 1998 | CONCUR | Reduction in TLA. | Ernie Cohen, Leslie Lamport |