Lists (2)
Stars
SCAAML: Side Channel Attacks Assisted with Machine Learning
A pure python implementation of ML-DSA (FIPS 204) and CRYSTALS-Dilithium
Module-Lattice-based Digital Signature Standard Standard by NIST i.e. FIPS 204
Latex code for making neural networks diagrams
Distributed computed training fo Generative Adversarial Neural Networks
MPI Parallel framework for training deep learning models built in Theano
[AAAI 2018] "Towards distributed coevolutionary GANs" by Abdullah Al-Dujaili, Tom Schmiedlechner, Erik Hemberg, Una-May O'Reilly
High-speed full CRYSTALS-DILITHIUM implementation on FPGA: Keygen, Sign, Verify.
The source code for generating edge points proposed in publication titled as "AID: Attesting the Integrity of DNNs"
WaNet - Imperceptible Warping-based Backdoor Attack (ICLR 2021)
Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.
AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made in the signal declaration section of an RTL module, generat…
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
This is the top-level project for the PULPissimo Platform. It instantiates a PULPissimo open-source system with a PULP SoC domain, but no cluster.
The CORE-V CVA6 is an Application class 6-stage RISC-V CPU capable of booting Linux
Barnard-PL-Labs / tsltools
Forked from reactive-systems/tsltoolsLibrary and tools for the TSL specification format
♏ 一款浏览器端的 Markdown 编辑器，支持所见即所得（富文本）、即时渲染（类似 Typora）和分屏预览模式。An In-browser Markdown editor, support WYSIWYG (Rich Text), Instant Rendering (Typora-like) and Split View modes.
Chisel: A Modern Hardware Design Language
A curated list of academic events on AI Security & Privacy
Code and data for 'EMShepherd: Detecting Adversarial Samples via Side-channel Leakage'