Login / Signup
Formally Verified Cryptographic Web Applications in WebAssembly.
Jonathan Protzenko
Benjamin Beurdouche
Denis Merigoux
Karthikeyan Bhargavan
Published in:
IACR Cryptol. ePrint Arch. (2019)
Keyphrases
</>
web applications
application development
application developers
smart card
web services
end users
web browser
web application development
databases
security protocols
business applications
component based software
flow diagram
web development
web based systems
mashup
knowledge base