squell / bb-scripts
bash scripts for the ELO of RU
☆11Updated 2 years ago
Alternatives and similar repositories for bb-scripts:
Users that are interested in bb-scripts are comparing it to the libraries listed below
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆31Updated 6 months ago
- CryptoBib Main Repository for Developers☆19Updated 6 months ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆93Updated last year
- CryptoBib Database for Developers☆43Updated last month
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆23Updated last year
- ☆32Updated 3 years ago
- ☆16Updated 4 years ago
- CryptoBib BibTex files☆56Updated last month
- A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.☆29Updated 3 months ago
- ☆57Updated 7 years ago
- Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected softw…☆67Updated this week
- Checking that functions are constant time with Valgrind☆178Updated 8 years ago
- Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.☆14Updated 5 years ago
- Tool to automatically search for linear characteristics☆39Updated 9 years ago
- Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"☆90Updated 5 years ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆50Updated 10 months ago
- Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS☆118Updated 7 years ago
- MLKEM implementation optimized for embedded microcontrollers☆16Updated 6 months ago
- ☆81Updated 4 years ago
- Language for high-assurance and high-speed cryptography☆284Updated this week
- ☆11Updated last year
- Source code of the Whitebox Contest Submission Server☆35Updated 7 months ago
- Links to stuff arising from or related to the HACS workshop.☆35Updated 7 years ago
- ☆22Updated 2 years ago
- Python Elliptic Curve Side-Channel Analysis toolkit.☆58Updated 2 months ago
- Λ ⚬ λ: Functional Lattice Cryptography☆230Updated 3 years ago
- ☆30Updated 11 months ago
- Timing Attack on TLS' ECDSA signature☆42Updated 9 years ago
- ☆13Updated 3 years ago
- dude, is my code constant time?☆177Updated 11 months ago