Pinned Repositories
aggregate-falcon
Repository containing code accompanying the paper "Aggregating Falcon Signatures With LaBRADOR".
au-syssec-f24-assignments
au-syssec-f24-exercises
ctgrind
Checking that functions are constant time with Valgrind
dfaranha.github.io
Personal website.
dissy-e22-handins
dudect-arm
dude, is my code constant time?
lattice-voting-ctrsa21
OpenPairing
Implementation of a pairing over a Barreto-Naehrig curve on top of OpenSSL.
range-proofs
Simple benchmarks for various proofs across multiple proof systems
dfaranha's Repositories
dfaranha/aggregate-falcon
Repository containing code accompanying the paper "Aggregating Falcon Signatures With LaBRADOR".
dfaranha/ctgrind
Checking that functions are constant time with Valgrind
dfaranha/lattice-voting-ctrsa21
dfaranha/range-proofs
Simple benchmarks for various proofs across multiple proof systems
dfaranha/au-syssec-f24-assignments
dfaranha/au-syssec-f24-exercises
dfaranha/dudect-arm
dude, is my code constant time?
dfaranha/dfaranha.github.io
Personal website.
dfaranha/dissy-e22-handins
dfaranha/FlowTracker
dfaranha/gls254
Collect formulas for arithmetic in the GLS254 curve.
dfaranha/algdst-2020
dfaranha/arduino-esp32
Arduino core for the ESP32
dfaranha/bls-signatures
BLS signatures in C++, using the relic toolkit BLS12-381
dfaranha/bls12_381-bench
Implementation of the BLS12-381 pairing-friendly elliptic curve group
dfaranha/by-inversion
dfaranha/concordium-base
Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well as some tools used for testing and development.
dfaranha/deciduous
App that makes building attack decision trees from the Security Chaos Engineering report easy
dfaranha/faest-ref
FAEST reference implementation
dfaranha/fiat-crypto
Cryptographic Primitive Code Generation by Fiat
dfaranha/kassane
dfaranha/lattice-verifiable-mixnet
dfaranha/manifestotech
dfaranha/mirage-crypto
Cryptographic primitives for MirageOS
dfaranha/mupq
Provides common files for instances of mupq, e.g., for pqm4 and pqriscv
dfaranha/NFLlib
NTT-based Fast Lattice library
dfaranha/raspi4-setup
dfaranha/research-extend-sig
dfaranha/safegcd-bounds
Bounds on divsteps iterations in safegcd
dfaranha/virgo-plus
An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.