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, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer
Previously Apple Pay Security
Lafayette, Indiana
Maxim Korotkov
ProjectMutilation
DevSexOops engineer,
C, C++ hater,
Python Amateur
SarPhTI NRNU MEPhI/@postgrespro 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 knowledge as possible, one bit at a time
Switzerland
