Lyin’ Alexa – Skill-Based Man-in-the-Middle Attack on Virtual Assistants
Richard Mitev
August 2018
[Thesis (Master)]

Invited: Reconciling Remote Attestation and Safety-Critical Operation on Simple IoT Devices
Xavier Carpent, Karim Eldefrawy, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik
In: Design Automation Conference, 2018, June 24-29, San Francisco, USA. ACM

LiteHAX: Lightweight Hardware-Assisted Attestation of Program Execution
Ghada Dessouky, Tigist Abera, Ahmad Ibrahim, Ahmad-Reza Sadeghi
In: 37th IEEE International Conference On Computer Aided Design 2018 (ICCAD’18)

iOracle: Automated Evaluation of Access Control Policies in iOS
Razvan Deaconescu, Costin Carabas, Iulia Manda, William Enck, Mihai Chiroiu, Ninghui Li, Ahmad-Reza Sadeghi 
In: 13th ASIA Conference on Information, Computer and Communications Security, June 2018 

Revisiting Context-Based Pairing in IoT
Markus Miettinen, Thien Duc Nguyen, N. Asokan, Ahmad-Reza Sadeghi 
In: Proceedings of the 55th Design Automation Conference (DAC), June 2018 

K-Miner: Uncovering Memory Corruption in Linux
David Gens, Simon Schmitt, Lucas Davi, Ahmad-Reza Sadeghi 
In: 25th Annual Network & Distributed System Security Symposium (NDSS), February 2018