Login / Signup

A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.

Antoine Delignat-LavaudCédric FournetBryan ParnoJonathan ProtzenkoTahina RamananandroJay BosamiyaJoseph LallemandItsaka RakotonirinaYi Zhou
Published in: IEEE Symposium on Security and Privacy (2021)
Keyphrases
  • security model
  • access control
  • public key
  • security analysis
  • security requirements
  • database
  • real time
  • artificial intelligence
  • fine grained
  • provably secure