Discover IAIK/Picnic-FPGA Open Source project

This repository contains tools to perform modern cache attacks on ARM.

500

armageddon

281

CJAG

CJAG is an open-source implementation of our cache-based jamming agreement.

281

KAISER

Kernel Address Isolation to have Side-channels Efficiently Removed

214

sgxrop

The code to the SGX-ROP paper

183

drama

This repository contains examples of DRAMA reverse-engineering and side-channel attacks

Website and PoC collection for transient execution attacks

170

transientfail

168

flush_flush

This repository contains examples of Flush+Flush cache attacks

153

ChromeZero

Google Chrome extension implementing JavaScript Zero

JavaScript

149

cache_template_attacks

This repository contains several tools to perform Cache Template Attacks

141

merkle-tree

A C implementation of a dynamically resizeable binary SHA-256 hash tree (Merkle Tree).

sweb

AEPIC

ios-analysis

Automated Binary Analysis on iOS

Shell

107

Picnic

Optimized implementation of the Picnic signature scheme

prefetch

This repository contains several tools to perform Prefetch Side-Channel Attacks

SLUBStick

jstemplate

JavaScript Template Attack proof-of-concept implementation

HTML

hybrid-HE-framework

msrevelio

Tools for "Another Flip in the Wall"

flipfloyd

secure-block-device

The Secure Block Device Library is a software library that applies cryptographic confidentiality and integrity protection, including data freshness, to arbitrary block device like storage mechanisms.

SnailLoad

interruptjs

Practical Keystroke Timing Attacks in Sandboxed JavaScript

HTML

pairings_in_c

C library for bilinear pairings

memsec

Framework for building transparent memory encryption and authentication solutions

VHDL

CollidePower

keydrown

Eliminating Keystroke Timing Attacks

gzkbpp

Implementation of the ZKB++ proof system

CocoAlma is an execution-aware tool for formal verification of masked implementations

Chestnut

coco-alma

Hardware implementations of the authenticated encryption design ASCON

ascon_hardware

VHDL

flecc_in_c

FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C

Scilab

ProcHarvester

ProcHarvester - Fully Automated Analysis of Procfs Side-Channel Leaks on Android

drawio2tikz - a tool to translate drawio xml files to readable and adaptable tikz code

drawio2tikz

Implementation of the Fish and Begol signature schemes

Donky

fish-begol

halfdouble

Attacks on Jarvis and Friday

marvellous-attacks

Jenny

SCAnDroid

Memory Compression Attacks

Memory-Compression-Attacks

data-gui

DATA GUI

sgxjail

Makefile

ios-analysis-llvmslicer

Layered Binary Templating

LayeredBinaryTemplating

CoronaHeatMap

Static Analysis of Cryptography in Android Applications

CryptoSlice

Proof of concept for denial of service attack on wolfSSL's DTLS server implementation.

wolfSSL-DoS

FLARE

coco-ibex

SystemVerilog

CryptoTL

CacheSim

CSI:Rowhammer - Cryptographic Security and Integrity against Rowhammer

CSIRowhammer

CrySIL

JavaScript

LVI-NULLify

contextlight

The PoC for ConTExT-light

rebecca

REBECCA is a tool for the formal verification of masked cryptographic hardware implementations that, given the netlist of a masked hardware circuit, determines if a correct separation between shares is preserved throughout the circuit.

Verilog

libdropit

Proof-of-concept implementation of DropIt

daps-dl

Short DAPS from ECDSA in OpenSSL

TBIBS

Time-bound identity-based signatures (TBIBΣ) for Short-Lived Forward-Secure Delegation in TLS

romulush_collisions

TeX

spearv

rainier-signatures

bnpp_helium_signatures

minefield

Prototype 1, Prototype 2 and base components for Trusted Location Based Services on Android devices.

trusted-location-based-services

Remote Page Deduplication Attacks

Remote-Memory-Deduplication-Attacks

ios-analysis-dagger

Implementation of SGXJail in the Linux SGX SDK

servas

sgxjail-sdk