momalab / cryptoleqLinks
Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
☆30Updated 10 months ago
Alternatives and similar repositories for cryptoleq
Users that are interested in cryptoleq are comparing it to the libraries listed below
Sorting:
- The BERI and CHERI processor and hardware platform☆49Updated 8 years ago
- Cycle-accurate X86-64 simulator based on PTLsim☆30Updated 2 years ago
- A bitsliced implementation of ECB and CTR AES☆52Updated 10 months ago
- XML representation of the x86 instruction set☆28Updated 2 weeks ago
- ☆16Updated 6 years ago
- Xoocycle, a C90 implementation of the Xoodyak hash and AEAD construction☆10Updated 6 years ago
- A programming language to write bitsliced ciphers☆56Updated 9 months ago
- ☆15Updated 4 years ago
- Liveness-driven random C code generator☆41Updated 11 months ago
- An executable specification of the RISCV ISA in L3.☆42Updated 6 years ago
- A low-level intermediate representation for hardware description languages☆28Updated 4 years ago
- Microbenchmarks for x86_64 kernel entry methods☆18Updated 3 years ago
- Reference Hardware Implementations of Bit Extract/Deposit Instructions☆25Updated 7 years ago
- Haraka is a secure and efficient short-input hash function.☆57Updated 7 years ago
- Prediction algorithms for the PCG pseudo-random generator☆11Updated 4 years ago
- An AES-based 384 bit permutation.☆20Updated last month
- A minimalistic and high-performance SAT solver☆28Updated 2 years ago
- Minimal implementation of the OpenMP runtime library.☆11Updated 3 years ago
- reverse engineering branch predictors☆17Updated 9 years ago
- AVX implementation of the Skinny block cipher☆11Updated 3 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- masked, bit-sliced AES-128 demo code☆14Updated 5 months ago
- firrtlator is a FIRRTL C++ library☆21Updated 8 years ago
- 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
- A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.☆24Updated 7 years ago
- A C++ Hardware Description Language and Toolchain☆23Updated last year
- Binary tools: assembler, disassembler, linker, library manager, emulator☆61Updated 5 months ago
- Libre Silicon Compiler☆22Updated 4 years ago
- Optimized implementations of Poly1305, a fast message-authentication-code☆45Updated 10 years ago
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Updated last year