Antonio de la Piedra's Projects
Attribute-based Encryption
ACABELLA is a tool for analyzing the security of Attribute-based encryption (ABE) schemes.
Cryptographic Addition Chain Generation in Go
GitHub profile
A curated list of awesome Ghidra materials
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
ARM optimized bitsliced 2nd order masked implemenation of PRESENT block cipher
Charm: A Framework for Rapidly Prototyping Cryptosystems
SageMath/Python Toolkit for Cryptanalytic Research
Crypto Side Channel Attack (CSCA)
Solutions to the cryptopals crypto challenges in Ruby
Ecne: An engine for verifying the soundness of R1CS constraints
Cryptographic Primitive Code Generation by Fiat
Cryptography for FPGAs course (Radboud Universiteit Nijmegen - 2014/2016)
The Ghidra EVM Module (ghidra-evm) leverages Ghidra 9.1.2 to disassemble and analyze compiled Ethereum smart contracts. Ghidra-evm was presented at BlackHat Asia 2021.
ANTLR v4 grammar-based test generator
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
Hardhat plugin to integrate Circom and SnarkJS into your build process.
Bridge between the Idemix library and a smart card-based Idemix recipient
Smart card application used by the IRMA project to issue, reveal and manage attributes.
Configuration parameters used for the cryptographic protocols used with the IRMA card.
These classes are required for supporting the key binding use case of Idemix n the IRMA card
Pushing the limits of the IRMA card
Proof-of-concept implementation of an identity-based encryption scheme over NTRU lattices
LSSS, ABE