Andrew Chi

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 7

Top Topics

Cryptographic Protocols

Top Venues

Publications

Andrew Chi, Brandon Enright, David A. McGrew
Detecting Weak Keys in Manufacturing Certificates: A Case Study. ACSAC (2023)
Andrew Chi, Blake Anderson, Michael K. Reiter
Prioritizing Remediation of Enterprise Hosts by Malware Execution Risk. ACSAC (2023)
Blake Anderson, Andrew Chi, Scott Dunlop, David A. McGrew
Limitless HTTP in an HTTPS World: Inferring the Semantics of the HTTPS Protocol without Decryption. CODASPY (2019)
Blake Anderson, Andrew Chi, Scott Dunlop, David A. McGrew
Limitless HTTP in an HTTPS World: Inferring the Semantics of the HTTPS Protocol without Decryption. CoRR (2018)
Rui Zhang, Natalie Stanley, Christopher Griggs, Andrew Chi, Cynthia Sturton
Identifying Security Critical Properties for the Dynamic Verification of a Processor. ASPLOS (2017)
Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K. Reiter, Cynthia Sturton
A System to Verify Network Behavior of Known Cryptographic Clients. NSDI (2017)
Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K. Reiter, Cynthia Sturton
Server-side verification of client behavior in cryptographic protocols. CoRR (2016)
Stephen T. Kent, Andrew Chi
Threat Model for BGP Path Security. RFC 7132 (2014)
Matt Lepinski, Andrew Chi, Stephen T. Kent
Signed Object Template for the Resource Public Key Infrastructure (RPKI). RFC 6488 (2012)