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:
- Repository for the current status of the LESS submission☆11Updated 2 months ago
- A low-level intermediate representation for hardware description languages☆28Updated 5 years ago
- A bitsliced implementation of ECB and CTR AES☆52Updated 11 months ago
- XML representation of the x86 instruction set☆28Updated last month
- The BERI and CHERI processor and hardware platform☆49Updated 8 years ago
- A programming language to write bitsliced ciphers☆57Updated 10 months ago
- Cycle-accurate X86-64 simulator based on PTLsim☆30Updated 2 years ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆80Updated 2 weeks ago
- Iodine: Verifying Constant-Time Execution of Hardware☆13Updated 4 years ago
- QEMU with support for CHERI☆58Updated 3 weeks ago
- ☆19Updated 10 years ago
- A RISC-V VP with SUBLEQ microcode☆11Updated 2 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- LLVM backend for OpenRISC 1000☆29Updated 7 years ago
- RISC-V BSV Specification☆20Updated 5 years ago
- Liveness-driven random C code generator☆41Updated last year
- A Versa Board implementation using the AutoFPGA/ZipCPU infrastructure☆15Updated 5 years ago
- Reference Hardware Implementations of Bit Extract/Deposit Instructions☆25Updated 7 years ago
- An executable specification of the RISCV ISA in L3.☆42Updated 6 years ago
- RISC-V Instruction Set Metadata☆41Updated 6 years ago
- Haraka is a secure and efficient short-input hash function.☆57Updated 7 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆43Updated 5 years ago
- GNU Superoptimizer Version 2☆26Updated 4 years ago
- The Antikernel operating system project☆121Updated 5 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 9 years ago
- 64-bit MISC Architecture CPU☆12Updated 8 years ago
- Sled System Emulator☆28Updated 2 months ago
- coreboot for HiFive1☆12Updated 7 years ago
- A virtual ternary OISC machine (One Instruction Set Computer) inspired by 1950s Soviet hardware☆9Updated 4 years ago
- QARMA block cipher in C☆30Updated 2 years ago