Sign in

Formally Verified Cryptographic Web Applications in WebAssembly.

Jonathan ProtzenkoBenjamin BeurdoucheDenis MerigouxKarthikeyan Bhargavan
Published in: IEEE Symposium on Security and Privacy (2019)
Keyphrases
  • web applications
  • application development
  • web services
  • smart card
  • web browser
  • end users
  • web application development
  • application developers
  • mashup
  • security protocols
  • dynamic content
  • case study