oreparaz / dudect
dude, is my code constant time?
☆176Updated 10 months ago
Alternatives and similar repositories for dudect:
Users that are interested in dudect are comparing it to the libraries listed below
- Checking that functions are constant time with Valgrind☆177Updated 7 years ago
- ☆35Updated 7 years ago
- Minimal RISC Extensions for Isolated Execution☆51Updated 5 years ago
- Teaching materials related to the Tamarin Prover☆65Updated 5 months ago
- Crypto library☆55Updated 3 months ago
- Lean cryptographic library usable for bare-metal environments☆31Updated this week
- A programming language to write bitsliced ciphers☆56Updated 4 months ago
- Efficient TLS termination inside Intel SGX enclaves for existing applications☆105Updated 2 years ago
- Flexible and Constant Time Programming Language☆198Updated 2 years ago
- Fast constant-time AES implementations on 32-bit architectures☆62Updated 3 months ago
- Language for high-assurance and high-speed cryptography☆278Updated this week
- A bitsliced implementation of ECB and CTR AES☆47Updated 5 months ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆59Updated 8 years ago
- A C implementation of elliptic-curve-based Direct Anonymous Attestation (DAA) signatures. Created to support the Xaptum Edge Network Fabr…☆45Updated 3 years ago
- A practical attack framework for precise enclave execution control☆445Updated this week
- Experimental implementation of KEMTLS in Rustls☆29Updated last year
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆105Updated 2 years ago
- ☆29Updated 9 months ago
- Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme☆54Updated last year
- ☆136Updated this week
- Finalists to the NIST lightweight cryptography competition☆37Updated 2 years ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated last year
- High-assurance, high-performance C90 implementation of ML-KEM☆27Updated this week
- ☆43Updated this week
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- The code to the SGX-ROP paper☆183Updated 4 years ago
- Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)☆31Updated this week
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆79Updated 2 years ago
- Example code for the AES crypto instructions on Intel chips☆81Updated 5 years ago
- FourQlib is an efficient and portable cryptographic library that provides functions for computing elliptic curve based operations on the …☆82Updated 2 years ago