Software Reliability Group
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
Marcello Maugeri
marcellomaugeri
PhD student at University of Catania (Italy)
@Networks-and-Security-Informatics Catania
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Maxim Korotkov
ProjectMutilation
AppSec engineer,
C, C++ hater,
Python Amateur
@postgrespro Sarov, Russia
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
Jordy Ruiz
jordr
I am a researcher in static and hybrid program analyses, with a focus on worst-case execution time estimates and abstract interpretation.
St Albans, United Kingdom
agnosticlines
reverse engineering, program analysis and exploit dev |
i ⭐ a lot of things, not a bot. Just use github as a personal search engine for cool projects
[object Object] /dev/kmem
Karine EM
karineek
Lecturer at KCL and was a Research associate@Imperial. PhD from KCL UK; worked before at eBay (Data Scientist), IBM Research (Formal Verification).
King's College London London, UK