Amanote Research
Register
Sign In
Formally Verified Cryptographic Web Applications in WebAssembly
doi 10.1109/sp.2019.00064
Full Text
Open PDF
Abstract
Available in
full text
Date
May 1, 2019
Authors
Jonathan Protzenko
Benjamin Beurdouche
Denis Merigoux
Karthikeyan Bhargavan
Publisher
IEEE
Related search
A Formally Verified NAT Stack
Formally Verified Approximations of Definite Integrals
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Ledger Design Language: Designing and Deploying Formally Verified Public Ledgers
On Construction of a Library of Formally Verified Low-Level Arithmetic Functions
Useful Web Sites (Verified: 17th November 1998)
BigraphTalk: Verified Design of IoT Applications
IEEE Internet of Things Journal
Information Systems
Signal Processing
Computer Networks
Hardware
Communications
Computer Science Applications
Management
Architecture
Cryptographic Applications of T-Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cryptographic Applications of the Duplex Construction
Annales UMCS, Informatica
Long Modular Multiplication for Cryptographic Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
