Signed Object Template for the Resource Public Key Infrastructure (RPKI). - Matt Lepinski; Andrew Chi; Stephen T. Kent (RFC, 2012)

Threat Model for BGP Path Security. - Stephen T. Kent; Andrew Chi (RFC, 2014)

Server-side verification of client behavior in cryptographic protocols. - Andrew Chi; Robert A. Cochran; Marie Nesfield; Michael K. Reiter; Cynthia Sturton (CoRR, 2016)

Identifying Security Critical Properties for the Dynamic Verification of a Processor. - Rui Zhang 068; Natalie Stanley; Christopher Griggs; Andrew Chi; Cynthia Sturton (ASPLOS, 2017)

A System to Verify Network Behavior of Known Cryptographic Clients. - Andrew Chi; Robert A. Cochran; Marie Nesfield; Michael K. Reiter; Cynthia Sturton (NSDI, 2017)

Limitless HTTP in an HTTPS World: Inferring the Semantics of the HTTPS Protocol without Decryption. - Blake Anderson; Andrew Chi; Scott Dunlop; David A. McGrew (CODASPY, 2019)

Prioritizing Remediation of Enterprise Hosts by Malware Execution Risk. - Andrew Chi; Blake Anderson; Michael K. Reiter (ACSAC, 2023)

Detecting Weak Keys in Manufacturing Certificates: A Case Study. - Andrew Chi; Brandon Enright; David A. McGrew (ACSAC, 2023)

Verifying the Behavior of Security-Impacting Programs. - Andrew Chi (2023)