E-mail senden E-Mail Adresse kopieren



66123 Saarbrücken (Germany)

Gruppenmitglied in


I am an Independent Research Group Leader at the Helmholtz Center for Information Security (CISPA). Prior to this, I was a Post-Doctoral researcher at CISPA working in the Secure & Privacy-friendly Information Processing group lead by  Prof. Michael Backes. I did my PhD in computer science at the School of Computer Science and Communication at Royal Institute of Technology (KTH) under Prof. Mads Dam. My research interests include security of systems software, formal methods and program logics, interactive theorem proving and machine code analysis.

CV: Letzte vier Stationen

September 2019 - now
Research Group Leader at CISPA
2017 - 2019
Post-Doc at CISPA
2012 - 2017
PhD student at KTH Stockholm

Veröffentlichungen von Hamed Nemati

Jahr 2018

Konferenz / Medium

In Submission