fmlab-iis / cryptoline
☆42Updated last week
Related projects ⓘ
Alternatives and complementary repositories for cryptoline
- ☆35Updated 7 years ago
- Crypto library☆52Updated last month
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆26Updated 7 years ago
- Examples for EasyCrypt Lectures☆22Updated last month
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- A programming language to write bitsliced ciphers☆56Updated 2 months ago
- Commodity Obfuscation Engine for Intel SGX☆20Updated 5 years ago
- Experiments with Universal Composability in EasyCrypt☆32Updated this week
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆27Updated 7 years ago
- A repository of tools for verifying constant-timeness☆12Updated 2 months ago
- This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…☆31Updated 9 months ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 5 years ago
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 4 years ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆38Updated last year
- ☆18Updated 5 years ago
- A bitsliced implementation of ECB and CTR AES☆46Updated 3 months ago
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆52Updated 5 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆16Updated last year
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆34Updated last year
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆58Updated 4 months ago
- ☆13Updated 3 years ago
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆26Updated last year
- Basis Reduction Algorithms for Codes (LLL and more)☆26Updated 8 months ago
- Teaching materials related to the Tamarin Prover☆63Updated 3 months ago
- Automatic detection of speculative information flows☆66Updated 3 years ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆48Updated 7 months ago
- Fast constant-time AES implementations on 32-bit architectures☆61Updated last month
- The General Sieve Kernel☆104Updated last week
- Minimal RISC Extensions for Isolated Execution☆50Updated 5 years ago
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆28Updated 3 months ago