kmowery / libfixedtimefixedpoint
A library for doing constant-time fixed-point numeric operations
☆27Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for libfixedtimefixedpoint
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆28Updated 5 years ago
- ☆35Updated 7 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- SAT instance generator for SHA-1☆47Updated 3 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆27Updated 6 years ago
- Secure Virtual Architecture☆42Updated 5 years ago
- Experimental results of the strata project☆9Updated 8 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆68Updated 8 years ago
- Checking that functions are constant time with Valgrind☆176Updated 7 years ago
- A minimalistic and high-performance SAT solver☆26Updated last year
- Minimal RISC Extensions for Isolated Execution☆50Updated 5 years ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- This is a Tamarin model of TLS 1.3☆31Updated last year
- An RFC5297-compliant C implementation of AES-SIV☆19Updated 4 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆27Updated 7 years ago
- C++11 library for many-sorted logics☆39Updated 8 years ago
- empirical measurement of code constructs that seem like they should have constant execution time regardless of values of inputs☆9Updated 9 years ago
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆78Updated 4 months ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆51Updated 2 years ago
- The LLVM Symbolic Simulator, part of SAW.☆21Updated 4 years ago
- High-order countermeasures for AES and DES☆25Updated 3 months ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 7 years ago
- CCG is a random C Code Generator☆43Updated 2 years ago
- custom type systems for Clang☆96Updated 9 years ago
- Generator of "nothing-up-my-sleeve" constants☆23Updated 9 years ago
- An implementation of the IETF QUIC protocol in F*☆18Updated 5 years ago
- Code to fuzz bignum libraries☆45Updated 6 years ago
- reverse engineering branch predictors☆17Updated 8 years ago
- A programming language to write bitsliced ciphers☆56Updated 2 months ago