Scott Dunlop

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Formal Semantics

Top Venues

Publications

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)