ahmadbashusman
Follow
Lists (2)
Stars
The Update Framework specification
privacy-preserving en-route filtering of OSCORE-NG traffic
Code for the paper "Attesting Distributional Properties of Training Data for Machine Learning" to appear in ESORICS 2024.
The results of my small term paper on the topic of the Internet of Vulnerable Things and the exploit for CVE-2022-48194.
FirmSec Dataset
The Firmware Security Testing Methodology (FSTM) is composed of nine stages tailored to enable security researchers, software developers, consultants, and Information Security professionals with co…
Fork of https://github.com/p4lang/behavioral-model/tree/1.15.x/ to demonstrate Remote Attestation
Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries
Zero-Knowledge Proof Systems Circuit Compiler
Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARKs.
A privacy-focused distributed platform - start splintering your network into circuits!
Open Syringe Pump instructions, code, and 3D files
Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.
Collection of ZKP-related cryptographic primitives
A high-level framework for developing efficient zk-SNARK circuits
I implemented the Robust CSN(Chord for Sensor Network) in Contiki
Buffer overflow testbed, research paper published at ACSAC 2011