Skip to content

@formalsec Formal Security for Web Technologies

@franciscombaa
Francisco Abrunhosa franciscombaa
MSc in Computer Science and Engineering @ IST

Instituto Superior Técnico Lisbon

@frediramos
frediramos
@joaomhmpereira
João Pereira joaomhmpereira
MSc in Computer Science and Engineering @ IST

Instituto Superior Técnico Lisbon

@andreffnascimento
André Nascimento andreffnascimento

Instituto Superior Técnico Portugal

@goncalo-jp-carvalho
goncalo-jp-carvalho
@jevinskie
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

@shpark
Seonghyun Park shpark
Tired of mediocrity [work=@seonghp]
@mcoimbra
Miguel Coimbra mcoimbra
@jf-li00
Jiefeng Li jf-li00

Huazhong University Of Science and Technology Wuhan, Hubei, China

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@zshipko
zach zshipko

@dylibso Los Angeles, CA

@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@filipeom
filipeom
Programming languages enthusiast

@formalsec Lisbon, Portugal