Pinned Repositories
abe_squared
ABE Squared is a framework for accurately benchmarking the efficiency of Attribute-based encryption (ABE)
abc4trust-resources
ABE
Attribute-based Encryption
bitsliced-2nd-order-PRESENT-ARM
ARM optimized bitsliced 2nd order masked implemenation of PRESENT block cipher
FPGA-CRYPTO-COURSE
Cryptography for FPGAs course (Radboud Universiteit Nijmegen - 2014/2016)
ghidra-evm
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.
NEW-HOPE-MIPS64
MIPS64 assembly implementation of the New Hope KEM
opencores
SHA-3-MIPS64
MIPS64 assembly implementation of the Keccak f-1600 permutation (big endian)
abeattacks
Demonstration of the attacks proposed at the Black Hat Europe 2021 talk "Practical attacks against attribute-based encryption" by Antonio de la Piedra and Marloes Venema (Radboud University Nijmegen)
adelapie's Repositories
adelapie/ghidra-evm
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.
adelapie/FPGA-CRYPTO-COURSE
Cryptography for FPGAs course (Radboud Universiteit Nijmegen - 2014/2016)
adelapie/ABE
Attribute-based Encryption
adelapie/opencores
adelapie/abe-fame
adelapie/ACABELLA
ACABELLA is a tool for analyzing the security of Attribute-based encryption (ABE) schemes.
adelapie/addchain
Cryptographic Addition Chain Generation in Go
adelapie/adelapie
GitHub profile
adelapie/awesome-ghidra
A curated list of awesome Ghidra materials
adelapie/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
adelapie/awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
adelapie/cry
SageMath/Python Toolkit for Cryptanalytic Research
adelapie/crypto-side-channel-attack
Crypto Side Channel Attack (CSCA)
adelapie/cryptopals
Solutions to the cryptopals crypto challenges in Ruby
adelapie/EcneProject
Ecne: An engine for verifying the soundness of R1CS constraints
adelapie/fiat-crypto
Cryptographic Primitive Code Generation by Fiat
adelapie/grammarinator
ANTLR v4 grammar-based test generator
adelapie/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
adelapie/hardhat-circom
Hardhat plugin to integrate Circom and SnarkJS into your build process.
adelapie/issues
adelapie/Linear-Secret-Sharing-Scheme
LSSS, ABE
adelapie/MIPS64_shellcoding
adelapie/relic
Code
adelapie/rowhammer_armv8
Trigger the rowhammer bug on ARMv8
adelapie/sboxU
Tools for studying S-boxes
adelapie/scaaml
adelapie/sibc
Supersingular Isogeny-Based Cryptography constructions (python-code library)
adelapie/Tools-for-Cryptanalysis
A repository that aims to provide tools for cryptography and cryptanalysis
adelapie/tpm2-tools
The source repository for the Trusted Platform Module (TPM2.0) tools
adelapie/tttv2