coron / htableLinks
High-order countermeasures for AES and DES
☆25Updated last year
Alternatives and similar repositories for htable
Users that are interested in htable are comparing it to the libraries listed below
Sorting:
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆27Updated 8 years ago
- Minimal RISC Extensions for Isolated Execution☆53Updated 6 years ago
- Program for finding low gate count implementations of S-boxes.☆40Updated 10 months ago
- Some lightweight cryptography algorithms optimized for x86☆22Updated 2 years ago
- masked, bit-sliced AES-128 demo code☆14Updated 7 months ago
- ☆35Updated 8 years ago
- A bitsliced implementation of ECB and CTR AES☆52Updated last year
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 4 years ago
- Tool to automatically search for linear characteristics☆39Updated 9 years ago
- ☆12Updated 3 years ago
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆18Updated 4 years ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆36Updated 2 years ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆97Updated last year
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Updated 2 years ago
- CryptoBib Database for Developers☆45Updated 2 months ago
- ☆57Updated last year
- Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)☆49Updated 2 months ago
- A free and open source tool for Deep Learning Side Channel Analysis☆16Updated 5 years ago
- A programming language to write bitsliced ciphers☆57Updated 11 months ago
- A repository of tools for verifying constant-timeness☆18Updated 6 months ago
- A Tool for the Static Analysis of Cache Side Channels☆41Updated 8 years ago
- Differential Address Trace Analysis☆58Updated last year
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆33Updated last year
- An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information☆11Updated 5 years ago
- Fast constant-time AES implementations on 32-bit architectures☆65Updated 10 months ago
- Implementation of differential fuzz testing for TLS handshake messages☆11Updated 4 years ago
- Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms☆32Updated 3 years ago
- AVX implementation of the Skinny block cipher☆11Updated 3 years ago
- ☆23Updated 5 years ago
- Slides from talks and other materials related to post-quantum crypto☆12Updated 4 years ago