E-mail senden E-Mail Adresse kopieren

E-Mail

Adresse

Kaiserstraße 170-174
66386 St. Ingbert (Germany)

Gruppenmitglied in

Kurzbiografie

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 2021

Konferenz / Medium

CSF
IEEE Computer Security Foundations Symposium34th IEEE Computer Security Foundations Symposium

2021-05-23

Input Algebras

Konferenz / Medium

ICSE
International Conference on Software Engineering (ICSE)International Conference on Software Engineering (ICSE)

Jahr 2020

Konferenz / Medium

ESORICS
25th European Symposium on Research in Computer Security, {ESORICS} 2020Computer Security - ESORICS 2020 - 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II

Konferenz / Medium

CAV
Computer Aided Verification - 32nd International ConferenceComputer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

Konferenz / Medium

TAP
Tests and Proofs - 14th International ConferenceTests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings postponed

Jahr 2019

Jahr 2018

Konferenz / Medium

Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greec

Konferenz / Medium

EuroS&P
In Submission