CertiCoq
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
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
