Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jonathan Protzenko
Formally Verified Cryptographic Web Applications in WebAssembly
Functional Pearl: The Proof Search Monad
Related publications
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
