HeiniDebes

ZEKRA

Prototype code and helpers for the Zero-Knowledge Control-Flow Attestation (ZEKRA) protocol

ZEKRO

Prototype code for the Zero-Knowledge Proof of Integrity Conformance (ZEKRO) security protocol

Key-Exfil

Experimental helper scripts for testing malcode that exfiltrates stackshots of a Tmote Sky module's program memory stack in search for cryptographic keys (including the application of basic Maximal Sequential Pattern data mining on the exfiltrated stackshots to reduce the key search space)

libsnark-lego

libsnark: a C++ library for zkSNARK proofs [+ interface for jsnark/Pinocchio ]

py_ecc

Python implementation of ECC pairing and bn_128 and bls12_381 curve operations

RETRACT

Prototype code for Expressive Designated Verifier Anonymous Credentials

Thesis-PhD