TrustworthyComputing

Zilch. Zilch: A Framework for Developing Zero-Knowledge Proofs for Any Application

T2-FHE-Compiler-and-Benchmarks. A cross compiler and standardized benchmarks for fully homomorphic encryption

csaw_esc_2019. CSAW Embedded Security Challenge 2019

csaw_esc_2020. CSAW Embedded Security Challenge 2020

REDcuFHE. Multi-GPU acceleration for Fully Homomorphic Encryption

csaw_esc_2025. Jupyter Notebook

csaw_esc_2023.

REDsec. C++

ZeroJava-compiler. 🐉ZeroJava to zMIPS compiler for creation of Zero-Knowledge Proofs

Fourier-Fingerprint-Search. Search framework for CAD files using the frequency domain

mastic. Mastic: Private Weighted Heavy-Hitters and Attribute-Based Metrics

helm. HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables

csaw_esc_2021. Embedded Security Challenge 2021

csaw_esc_2024. C++

PEEV-verifiableFHE. Parse Encrypt Execute Verify - A Verifiable FHE Framework

plasma. Code for "PLASMA: Private, Lightweight Aggregated Statistics against Malicious Adversaries"

csaw_esc_2022. Python

CHESS. C++

Romeo. Verilog

Juliet. Python

hdl-benchmarks. Verilog designs and their synthesized netlists

HEJava-compiler. 🐉HEJava compiler

PulpFHE. This project introduces the PulpFHE extensions for FHE processors

BGVparam. C++

FHE-MENN. Python

mploc. Python

Security_Challenge_2025.

cps-data-collector. Swift

Walrus. C++

Tyche. Python

minhash-HE. Verilog

UDrop.