DavidKorczynski
Researcher at @AdaLogics. Software security, analysis, AI and verification - PhD in program analysis from Oxford University
https://adalogics.com Oxford, UK
John Regehr
regehr
CS professor at the University of Utah
University of Utah Salt Lake City, UT, USA
Romain Thomas
romainthomas
Security Engineer working on mobile, obfuscation and file formats • Creator
of @lief-project / @open-obfuscator
@lief-project @open-obfuscator
Jo Van Bulck
jovanbulck
Prof @KU_Leuven | Trusted Computing & Side-Channel Attacks | #IntelSGX #Sancus #Foreshadow #LVI #SGXStep #AEXNotify
DistriNet, KU Leuven Leuven, Belgium
Logyi, hajnalvédő
lojikil
Former DIR of OffSec & former Unix Curmudgeon. Totally available for discussions of phantom types. Dad, PLT Philosopher, Tolstoy, Epictetus, Jun Tsuji, & Camus
William Woodruff
woodruffw
currently helping build next-gen Python tooling at @astral-sh.
also: member @Homebrew, member @pypa, maintainer @zizmorcore
@astral-sh New York, NY
Lee Azzarello
lazzarello
Building software infrastructure for space launch and flight. Audio Research and generative AI. Also, music and piano.
Astra Space San Francisco
PreviousNext