Amy L. Herzog

Authentication and Conden tiality via IPsec

Joshua D. Guttman, F. Javier, Amy L. Herzog, 2000 .

Verifying Information Flow Goals in

Joshua D. Guttman, John D. Ramsdell, Amy L. Herzog, 2004 .

Verifying information flow goals in Security-Enhanced Linux

Joshua D. Guttman, John D. Ramsdell, Amy L. Herzog, 2005, J. Comput. Secur..

Rigorous automated network security management

Joshua D. Guttman, Amy L. Herzog, J. Guttman, 2005, International Journal of Information Security.

Authentication and Confidentiality via IPSEC

Joshua D. Guttman, F. Javier Thayer, Amy L. Herzog, 2000, ESORICS.

Principles of remote attestation

Jonathan K. Millen, Joshua D. Guttman, John D. Ramsdell, 2011, International Journal of Information Security.

Information Flow in Operating Systems: Eager Formal Methods

Joshua D. Guttman, John D. Ramsdell, Amy L. Herzog, 2003 .

BIOS chronomancy: fixing the core root of trust for measurement

Xeno Kovah, Corey Kallenberg, Amy Herzog, 2013, CCS.

New Results for Timing-Based Attestation

Xeno Kovah, Corey Kallenberg, Chris Weathers, 2012, 2012 IEEE Symposium on Security and Privacy.