fmlab-iis / cryptolineLinks
☆50Updated last week
Alternatives and similar repositories for cryptoline
Users that are interested in cryptoline are comparing it to the libraries listed below
Sorting:
- Experiments with Universal Composability in EasyCrypt☆37Updated this week
- Crypto library☆60Updated 2 weeks ago
- Examples for EasyCrypt Lectures☆24Updated 3 weeks ago
- Language for high-assurance and high-speed cryptography☆300Updated last week
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture