Cryspen
Mamy Ratsimbazafy
mratsim
Ethereum Blockchain R&D ✦ ZK Cryptography Engineering ✦ Data Scientist ✦ High Performance, Parallel, Scientific and GPU computing
Paris
Hirad Rasoolinejad
Hiiirad
DevSecOps Engineer | eBPF and XDP | Cyber Security Researcher | Telco Cloud | Rust | Open Source Contributor
Ken Nickerson
kcnickerson
Maker, Coder, Hacker, MaveriX, XanaduAI, HorizonIO, CDL, i6, xdTaz, xOmers, xFlixel, xRthm, xKobo, xOpenCola, xMicrosoft, xRogers, xBanks, xXs
iBinary LLC Toronto, ON
Catalin Hritcu
catalin-hritcu
Tenured Faculty at MPI-SP
Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany
Guillaume Claret
clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲
Formal Land Paris
Sofía Celi
claucece
Cryptography @brave. hprc co-chair @IRTF-HRPC anti-fraud co-chair @w3c PQUIP co-chair at @ietf-wg-pquip Previously @cloudflare @thoughtworks @dyne
@brave AMS/LIS/UIO
