Login / Signup

Limitless HTTP in an HTTPS World: Inferring the Semantics of the HTTPS Protocol without Decryption.

Blake AndersonAndrew ChiScott DunlopDavid A. McGrew
Published in: CODASPY (2019)
Keyphrases
  • open source
  • logic programming
  • formal analysis
  • semantic information
  • database
  • lightweight
  • multi party
  • formal semantics
  • encryption scheme
  • tcp ip