dfaranha Goto Github PK

aggregate-falcon

Repository containing code accompanying the paper "Aggregating Falcon Signatures With LaBRADOR".

algdst-2020

arduino-esp32

Arduino core for the ESP32

au-syssec-f24-assignments

au-syssec-f24-exercises

bls-signatures

BLS signatures in C++, using the relic toolkit BLS12-381

bls12_381-bench

Implementation of the BLS12-381 pairing-friendly elliptic curve group

by-inversion

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.

cqf

A General-Purpose Counting Filter: Counting Quotient Filter

ctgrind

Checking that functions are constant time with Valgrind

deciduous

App that makes building attack decision trees from the Security Chaos Engineering report easy

dfaranha.github.io

Personal website.

dissy-e22-handins

dudect-arm

dude, is my code constant time?

end-to-end

End-To-End is a Chrome extension that helps you encrypt, decrypt, digital sign, and verify signed messages within the browser using OpenPGP.

faest-ref

FAEST reference implementation

fantomas-x86

fiat-crypto

Cryptographic Primitive Code Generation by Fiat

flowtracker

gls254

Collect formulas for arithmetic in the GLS254 curve.

helios-server

Helios server

kassane

ladd-gls254

Code for the paper "Efficient software implementation of laddering algorithms over binary elliptic curves", accepted at 7th International Conference on Security, Privacy and Applied Cryptographic Engineering (SPACE 2017).

lattice-verifiable-mixnet

lattice-voting-ctrsa21

lx-sonic

Sonic implementation in Rust

manifestotech

minicurso-sbseg

mirage-crypto

Cryptographic primitives for MirageOS