Giters
Ahmad (abahmadb)

abahmadb

Geek Repo

1

followers

39

following

516

stars

Github PK Tool:Github PK Tool

Ahmad's starred repositories

BLAKE2

BLAKE2 official implementations

Language:CLicense:CC0-1.0Stargazers:653Issues:40Issues:42

llvm-pass-skeleton

example LLVM pass

Language:C++License:MITStargazers:554Issues:16Issues:25

meta-raspberrypi

Yocto/OE BSP layer for the Raspberry Pi boards

Language:CLicense:MITStargazers:539Issues:48Issues:549

cifra

A collection of cryptographic primitives targeted at embedded use.

Language:CLicense:CC0-1.0Stargazers:337Issues:30Issues:16

embench-iot

The main Embench repository

Language:CLicense:GPL-3.0Stargazers:258Issues:18Issues:99

crab

A library for building abstract interpretation-based analyses

Language:C++License:Apache-2.0Stargazers:232Issues:12Issues:41

jsnark

A Java library for zk-SNARK circuits

Language:JavaLicense:MITStargazers:209Issues:15Issues:22

xjsnark

A high-level framework for developing efficient zk-SNARK circuits

Language:JetBrains MPSLicense:MITStargazers:184Issues:8Issues:38

mpc

zk-SNARK parameter multi-party computation protocol

Language:RustStargazers:171Issues:25Issues:7

meta-iot2050

SIMATIC IOT2050 Isar/Debian Board Support Package

Language:PythonLicense:MITStargazers:131Issues:28Issues:178

efibootguard

Simple UEFI boot loader with support for safely switching between current and updated partition sets

Language:CLicense:GPL-2.0Stargazers:103Issues:18Issues:0

RIPE

Buffer overflow testbed, research paper published at ACSAC 2011

Language:CLicense:MITStargazers:89Issues:6Issues:3

OpenSyringePump

Open Syringe Pump instructions, code, and 3D files

Language:OpenSCADStargazers:60Issues:14Issues:5

OS-CFI

Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019

Language:C++License:GPL-2.0Stargazers:36Issues:1Issues:5

Collaborative-GKR

Proof-of-concept implementation of collaborative GKR and a collaborative zk-SNARK with fully distributed proof generation.

Language:RustLicense:MITStargazers:29Issues:3Issues:1

kcfi

Control-Flow Integrity implementation for the Linux Kernel 3.19

Language:CLicense:NOASSERTIONStargazers:20Issues:3Issues:0

gen_swupdate

Python script, that can generate swupdate Files

Language:PythonLicense:MITStargazers:15Issues:16Issues:0

OAT-Project

Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)

Language:C++License:Apache-2.0Stargazers:13Issues:4Issues:8

zkkrypto

Collection of ZKP-related cryptographic primitives

Language:KotlinLicense:Apache-2.0Stargazers:12Issues:7Issues:0

LLVM-CFI

Language:C++Stargazers:11Issues:2Issues:1

meta-updatefactory

Yocto layer for Update Factory support

Language:PythonStargazers:9Issues:6Issues:0

embench-iot-results

A repository to hold results of running Embench IoT class benchmarks

Language:PythonStargazers:6Issues:7Issues:4

ACFA

ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation

Language:VerilogStargazers:4Issues:0Issues:0

clang-cfi-showcase

A fork of Trail of Bits' clang cfi showcase of sample programs that illustrate how to use control flow integrity with the clang compiler (with a few additions)

Language:C++License:NOASSERTIONStargazers:3Issues:1Issues:0

RACD

Language:CLicense:BSD-3-ClauseStargazers:3Issues:0Issues:0

rcsn

I implemented the Robust CSN(Chord for Sensor Network) in Contiki

Language:CStargazers:2Issues:3Issues:15

TypedCFI

On the Effectiveness of Type-based Control Flow Integrity

Language:CStargazers:2Issues:2Issues:0

swupdate-kernel_update

Kernel update using Swupdate OTA

Language:ShellStargazers:1Issues:0Issues:0

update-distribution

Update Distribution

Language:CStargazers:1Issues:1Issues:0

CFI-based-attestation

Stargazers:1Issues:0Issues:0