Peter A. Loscocco

Publication Activity (10 Years)

Years Active: 1992-2021
Publications (10 Years): 7

Top Topics

Remote Attestation

Sharing Platform

Technical Report

Alternating Time Temporal Logic

Top Venues

ACM Trans. Priv. Secur.

Publications

Sarah C. Helble, Ian D. Kretz, Peter A. Loscocco, John D. Ramsdell, Paul D. Rowe, Perry Alexander
Flexible Mechanisms for Remote Attestation. ACM Trans. Priv. Secur. 24 (4) (2021)
John D. Ramsdell, Paul D. Rowe, Perry Alexander, Sarah Helble, Peter A. Loscocco, J. Aaron Pendergrass, Adam Petz
Orchestrating Layered Attestations. POST (2019)
J. Aaron Pendergrass, Nathan Hull, John Clemens, Sarah C. Helble, Mark Thober, Kathleen McGill, Machon Gregory, Peter A. Loscocco
Runtime Detection of Userspace Implants. MILCOM (2019)
J. Aaron Pendergrass, Nathan Hull, John Clemens, Sarah Helble, Mark Thober, Kathleen McGill, Machon Gregory, Peter A. Loscocco
Technical Report: A Toolkit for Runtime Detection of Userspace Implants. CoRR (2019)
J. Aaron Pcnderarass, Sarah Helble, John Clemens, Peter A. Loscocco
A Platform Service for Remote Integrity Measurement and Attestation. MILCOM (2018)
J. Aaron Pendergrass, Sarah Helble, John Clemens, Peter A. Loscocco
Maat: A Platform Service for Measurement and Attestation. CoRR (2017)
Perry Alexander, Lee Pike, Peter A. Loscocco, George Coker
Model Checking Distributed Mandatory Access Control Policies. ACM Trans. Inf. Syst. Secur. 18 (2) (2015)
Patrick Colp, Mihir Nanavati, Jun Zhu, William Aiello, George Coker, Tim Deegan, Peter A. Loscocco, Andrew Warfield
Breaking up is hard to do: security and functionality in a commodity hypervisor. SOSP (2011)
George Coker, Joshua D. Guttman, Peter A. Loscocco, Amy L. Herzog, Jonathan K. Millen, Brian O'Hanlon, John D. Ramsdell, Ariel Segall, Justin Sheehy, Brian T. Sniffen
Principles of remote attestation. Int. J. Inf. Sec. 10 (2) (2011)
George Coker, Joshua D. Guttman, Peter A. Loscocco, Justin Sheehy, Brian T. Sniffen
Attestation: Evidence and Trust. ICICS (2008)
Peter A. Loscocco, Perry W. Wilson, J. Aaron Pendergrass, C. Durward McDonell
Linux kernel integrity measurement using contextual inspection. STC (2007)
Peter A. Loscocco, Stephen Smalley
Integrating Flexible Support for Security Policies into the Linux Operating System. USENIX Annual Technical Conference, FREENIX Track (2001)
Ray Spencer, Stephen Smalley, Peter A. Loscocco, Mike Hibler, Dave G. Andersen, Jay Lepreau
The Flask Security Architecture: System Support for Diverse Security Policies. USENIX Security Symposium (1999)
Peter A. Loscocco, William R. Kutz, Dale M. Johnson, Ronald J. Watro
Dealing with the dynamics of security: Flexibility with utility in an MLS LAN. ACSAC (1992)