Inria-Prosecco / libsignal-protocol-wasm-fstarLinks
Fork of https://github.com/signalapp/libsignal-protocol-javascript : see https://signalstar.gforge.inria.fr/
☆32Updated 5 years ago
Alternatives and similar repositories for libsignal-protocol-wasm-fstar
Users that are interested in libsignal-protocol-wasm-fstar are comparing it to the libraries listed below
Sorting:
- Constant-Time WebAssembly☆24Updated 6 years ago
- A Formal Semantics of WebAssembly in K☆80Updated this week
- Wrappers around Rust's integer to check for constant-time-compatible usage☆22Updated 5 years ago
- A library for deadlock-free multiparty session-typed communication in Rust.☆30Updated 8 months ago
- SAW front end for the MIR language from rustc☆36Updated 4 years ago
- Rust to F* toolchain☆42Updated 6 years ago
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆38Updated this week
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Updated 4 years ago
- Transport-polymorphic, asynchronous session types for Rust☆62Updated 2 years ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated 2 years ago
- Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"☆55Updated 3 years ago
- SFI verifier of Wasm binaries☆81Updated 2 years ago
- ☆24Updated 2 years ago
- VS Code extension to verify Rust programs with the Prusti verifier.☆24Updated this week
- Verifying constant-time code with symbolic execution☆44Updated 3 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆59Updated 4 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- Oblivious transfer library for rust☆11Updated 5 years ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated 9 months ago
- An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.☆36Updated 5 years ago
- Fungi: Typed incremental computation with names☆68Updated 5 years ago
- A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover☆26Updated 5 years ago
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆52Updated 2 weeks ago
- A Rust implementation of the Strobe protocol framework☆27Updated 2 months ago
- BLST-Verification☆22Updated 4 months ago
- Asynchronous Software Transactional Memory library for Rust☆26Updated last year
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆55Updated last year
- Rust bindings for HACL & Evercrypt☆28Updated last month
- Distributed Protocol Combinators☆13Updated 4 years ago