I am Associate Professor at the
School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology in Stockholm, Sweden.
I lead the LangSec (Language-Based Security) group
conducting research at the intersection of computer security, programming languages, formal methods and software engineering.
Our research interests are in many aspects of security, from both theoretical and practical angles, spanning core and emerging areas such as
information flow control, web and mobile application security, IoT security, low-level security, program analysis
and verification, and logics.
Activities: EuroS&P 2023 (PC), CSF 2023 (PC, Workshop chair), PriSC 2023 (PC), PLAS 2022 (co-chair), NordSec 2022 (PC), SecDev 2022 (PC), Infineon WinterSchool 2022 (Keynote), CCS 2022 (PC), CSF 2022 (PC, Workshop chair), EuroS&P 2022 (PC), CCS 2021 (PC), CSF 2021 (PC), EuroS&P 2021 (PC), NordSec 2021 (PC), SecDev 2021 (PC), EuroS&P 2020 (PC), NordSec 2020 (PC), PLAS 2020 (PC), CSF 2020 (PC), SOFTENG 2020 (PC), CASTOR Software Days 2019 (co-chair security track), CSF 2019 (PC), EuroS&P 2019 (local organizer), NordSec 2019 (PC), JPF 2019 (PC), POST 2019 (PC), NordSec 2018 (PC), IFIPTM 2017 (co-chair of Graduate Symposium), FCS 2017 (PC), Nordsec 2017 (PC)
November 2022: I am looking for a PhD student to work on automated security analsysis for IoT, a WASP NEST project in collaboration with Chalmers and Umeå university. Feel free to contact me for details.
April 2022: Excited to receive a Google Research Scholar Award for research in security
Are you a student of age 16 - 25? Join Sweden's first ever national cybersecurity team at European Cyber Security Challenge (ECSC 2022)
Drop me a line if interested in giving a talk at KTH Security Seminar
Course in Language-Based Security
April 2021: I became Docent in Computer Science with specialization in Computer Security
- Amir M. Ahmadian
- Marcus Birgersson (co-advised with Cyrille Artho)
- Mikhail Shcherbakov
- Matvey Soloviev (PostDoc)