SYSTEMF lab
Users following epfl-systemf
Kwok Wai Lui
AkasakaJelos
ETHZ-EPFL CyberSec, interested in cryptography, Formal Verification and more
Switzerland
Alperen Keleş
alpaylan
I'm Alperen. I have many interests. I am a METU CENG graduate, currently a fifth year Ph.D. student at UMD CS advised by Leonidas Lampropoulos.
University of Maryland, College Park Maryland, United States
Jevin Sweval
jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer.
Lafayette, Indiana
Kacper Korban
KacperFKorban
PL/FM PhD Student @ EPFL (SYSTEMF)
Working on Verified Compilation
Lausanne, Switzerland
Martin Crettol
MartinWho2
I am a CS student at EPFL in Lausanne. I enjoy participating in CTFs and coding small videogames
Switzerland
