fmlab-iis / cryptoline
☆40Updated this week
Related projects: ⓘ
- ☆34Updated 7 years ago
- Crypto library☆50Updated last month
- A repository of tools for verifying constant-timeness☆12Updated this week
- Examples for EasyCrypt Lectures☆22Updated 9 months ago
- Experiments with Universal Composability in EasyCrypt☆30Updated this week
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆26Updated 7 years ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- A programming language to write bitsliced ciphers☆55Updated 2 weeks ago
- Teaching materials related to the Tamarin Prover☆62Updated last month
- ☆13Updated 2 years ago
- ☆17Updated 5 years ago
- Basis Reduction Algorithms for Codes (LLL and more)☆26Updated 6 months ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆55Updated 2 months ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆87Updated last year
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 3 years ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆33Updated last year
- Fast constant-time AES implementations on 32-bit architectures☆61Updated last year
- ☆13Updated 6 months ago
- The General Sieve Kernel☆102Updated last month
- ☆28Updated 5 months ago
- Tool to automatically search for linear characteristics☆39Updated 8 years ago
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆52Updated 5 years ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆37Updated last year
- Commodity Obfuscation Engine for Intel SGX☆20Updated 5 years ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆47Updated 5 months ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆65Updated last month
- A bitsliced implementation of ECB and CTR AES☆46Updated last month
- This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…☆32Updated 7 months ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆15Updated 11 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆38Updated 2 years ago