kmowery / libfixedtimefixedpointLinks
A library for doing constant-time fixed-point numeric operations
☆26Updated 5 years ago
Alternatives and similar repositories for libfixedtimefixedpoint
Users that are interested in libfixedtimefixedpoint are comparing it to the libraries listed below
Sorting:
- SAT instance generator for SHA-1☆49Updated 4 years ago
- ☆38Updated 8 years ago
- Checking that functions are constant time with Valgrind☆197Updated 8 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Updated 6 years ago
- This is a Tamarin model of TLS 1.3☆41Updated 2 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 8 years ago
- dude, is my code constant time?☆197Updated last year
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆225Updated 2 years ago
- ☆100Updated 9 years ago
- An implementation of the IETF QUIC protocol in F*☆20Updated 6 years ago
- custom type systems for Clang☆96Updated 10 years ago
- A static verifier for concurrent C programs☆136Updated 5 years ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 8 years ago
- C++11 library for many-sorted logics☆39Updated 9 years ago
- Extensions for Eli Bendersky's pycparser☆91Updated 2 months ago
- Network Semantics☆91Updated 7 years ago
- Optimized implementations of Poly1305, a fast message-authentication-code☆47Updated 10 years ago
- A programming language to write bitsliced ciphers☆59Updated last year
- A Practical Ring Learning With Errors (RingLWE) Implementation containing New Hope and Peikert reconciliation for Prime and Power-of-2 ca…☆36Updated 7 years ago
- ☆34Updated 3 months ago
- Lattice-based integer linear programming solver☆66Updated 5 months ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Updated 3 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 10 years ago
- Symmetric somewhat homomorphic encryption library based on DGHV☆27Updated 8 years ago
- Some lightweight cryptography algorithms optimized for x86☆22Updated 3 years ago
- Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"☆89Updated 6 years ago
- High-order countermeasures for AES and DES☆24Updated last year
- The LTSmin model checking toolset☆60Updated last year
- Semantics of x86-64 in K☆168Updated 5 years ago