Antony Vennard's repositories
abi-aa
Application Binary Interface for the Arm® Architecture
golang-ed25519
AGL/Golang Standard Library Ed25519 including extra25519 code.
AFL
american fuzzy lop - a security-oriented fuzzer
AuthenticatorPro
📱 Two-Factor Authentication (2FA) client for Android + Wear OS
awesome-post-quantum
A curated list of resources about post-quantum cryptography
cag
Crypto Audit Guidelines
cpp_exception_handling_abi
A mini ABI capable of handling throw/catch statements for C++ without libstdc++
cryptol
Cryptol: The Language of Cryptography
dog
Command-line DNS client
edbg
Simple utility for programming Atmel MCUs though CMSIS-DAP protocol. Works on Linux, MAC and Windows.
ghdl-yosys-blink
Blink an LED on an FPGA in VHDL using ghdl, yosys and nextpnr
golang-crypto
[mirror] Go supplementary cryptography libraries
hacl-star
HACL*, a formally verified cryptographic library written in F*
mitra
A generator of binary polyglots
retrowrite
RetroWrite -- Retrofitting compiler passes though binary rewriting
rust-ffi-examples
FFI examples written in Rust
SchnorrGate
Testing Schnorr's factorization claim in Sage
tock
A secure embedded operating system for microcontrollers
unicorn
Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)
unison
Unison file synchronizer
vale
Verified Assembly Language for Everest
velusqrt
On the Vélu's formulae and its applications to CSIDH and B-SIDH constant-time implementations
virtual-environments
GitHub Actions virtual environments
XKCP
eXtended Keccak Code Package