Frama-C
FermiQ
FermiQ
Im an intergalactic dust particle; hanging on a limited lifespan; anticipating a lightYr. old ray of luv 2 consummate with QFT; QT; Statistical Probabilistic QC
Neutrino
Jevin Sweval
jevinskie
Senior security researcher, compiler/binary hacker, NFC ninja, hardware hacker with a FPGA hammer.
Previously Pay Security.
Lafayette, Indiana
Maxim Korotkov
ProjectMutilation
AppSec Engineer,
C, C++ hater,
Python Amateur
SarPhTI NRNU MEPhI/Security Code/RASU JSC Sarov, Russia
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Michael Schwarz
michael-schwarz
PhD Candidate in Static Analysis at TUM
Technical University of Munich @tum-cit-pl Munich
Stanimir Bozhilov
mrstanb
Trying to absorb as much CS knowledge as possible, one bit at a time
Switzerland
Kilyan Le Gallic
MarekPrim
Hello there !
I'm Kilyan Le Gallic
CEA Tech DOCC/CoSy @CosyDEV Andorra, La Massana
