momalab / cryptoleqLinks
Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
☆31Updated last year
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☆13Updated last week
- Haraka is a secure and efficient short-input hash function.☆59Updated 8 years ago
- This is a higan/Verilator co-simulation example/framework☆51Updated 7 years ago
- The BERI and CHERI processor and hardware platform☆50Updated 8 years ago
- An online Verilog IDE based on YosysJS.☆24Updated 10 years ago
- A low-level intermediate representation for hardware description languages☆28Updated 5 years ago
- A Versa Board implementation using the AutoFPGA/ZipCPU infrastructure☆17Updated 6 years ago
- The Antikernel operating system project☆119Updated 5 years ago
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆35Updated 4 years ago
- An AES-based 384 bit permutation.☆21Updated 8 months ago
- Optimized implementations of Poly1305, a fast message-authentication-code☆47Updated 10 years ago
- Tiny public-domain implementation of BLAKE3☆24Updated 4 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 5 years ago
- RISC-V Instruction Set Metadata☆42Updated 7 years ago
- [HISTORICAL] A Lightweight (RISC-V) ISA Extension for AES and SM4☆37Updated 4 years ago
- ARV: Asynchronous RISC-V Go High-level Functional Model☆25Updated 4 years ago
- An exokernel for the raspberry pi 3.☆81Updated 4 years ago
- RISC-V Disassembler with support for RV32/RV64/RV128 IMAFDC☆101Updated 3 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- A bitsliced implementation of ECB and CTR AES☆54Updated last year
- Reference Hardware Implementations of Bit Extract/Deposit Instructions☆24Updated 8 years ago
- A Verilog Synthesis Regression Test☆37Updated last year
- An executable specification of the RISCV ISA in L3.☆42Updated 6 years ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆54Updated 5 years ago
- XCrypto: a cryptographic ISE for RISC-V☆92Updated 3 years ago
- A programming language to write bitsliced ciphers☆59Updated last year
- Kitten Lightweight Kernel☆55Updated 2 years ago
- Finalists to the NIST lightweight cryptography competition☆38Updated 3 years ago
- Verilog implementation of the 32-bit version of the Blake2 hash function☆21Updated 3 weeks ago
- A bit-serial CPU☆19Updated 6 years ago