kvetak / RINALinks
RINA Simulator
☆29Updated 4 years ago
Alternatives and similar repositories for RINA
Users that are interested in RINA are comparing it to the libraries listed below
Sorting:
- RINA implementation for OS/Linux☆76Updated last year
- A light RINA implementation. Documentation is available in REAME.md (see below).☆51Updated last year
- ☆16Updated 11 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆16Updated 9 years ago
- A Haskell library implementing the Noise protocol.☆99Updated 4 months ago
- Verified implementation of TLS 1.3 in F*☆177Updated 3 months ago
- Packages for CloudABI☆21Updated 4 years ago
- Formally verified operator language and rewriting engine for high-performance computing☆26Updated 11 months ago
- ☆30Updated 8 years ago
- Network Semantics☆88Updated 6 years ago
- The Frenetic Programming Language and Runtime System☆224Updated last year
- SPARK 2014 re-implementation of the TweetNaCl crypto library☆119Updated 2 months ago
- MLS architecture☆71Updated 2 months ago
- Mirage support for writing QubesOS AppVM unikernels☆63Updated 3 months ago
- ALLVM Tools☆56Updated 3 years ago
- Formal specification and verification of hardware, especially for security and privacy.