John D. Ramsdell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2004–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | PPDP | Evidence Tampering and Chain of Custody in Layered Attestations. | Ian D. Kretz, Paul D. Rowe, Clare C. Parran, John D. Ramsdell |
| 2021 | PPDP | Automated Trust Analysis of Copland Specifications for Layered Attestations✱. | Paul D. Rowe, John D. Ramsdell, Ian D. Kretz |
| 2018 | IFM | Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA. | Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell |
| 2014 | IFM | A Hybrid Analysis for Security Protocols with State. | John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe |
| 2007 | WWW | Compiling cryptographic protocols for deployment on the web. | Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell |
| 2004 | ESOP | Trust Management in Strand Spaces: A Rely-Guarantee Method. | Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen |