SEDA: Scalable Embedded Device Attestation. - N. Asokan; Ferdinand Brasser; Ahmad Ibrahim 002; Ahmad-Reza Sadeghi; Matthias Schunter; Gene Tsudik; Christian Wachsmann (CCS, 2015)

SANA: Secure and Scalable Aggregate Network Attestation. - Moreno Ambrosin; Mauro Conti; Ahmad Ibrahim 002; Gregory Neven; Ahmad-Reza Sadeghi; Matthias Schunter (CCS, 2016)

POSTER: Toward a Secure and Scalable Attestation. - Moreno Ambrosin; Mauro Conti; Ahmad Ibrahim 002; Gregory Neven; Ahmad-Reza Sadeghi; Matthias Schunter (WISEC, 2016)

DARPA: Device Attestation Resilient to Physical Attacks. - Ahmad Ibrahim 002; Ahmad-Reza Sadeghi; Gene Tsudik; Shaza Zeitouni (WISEC, 2016)

ATRIUM: Runtime attestation resilient under memory attacks. - Shaza Zeitouni; Ghada Dessouky; Orlando Arias; Dean Sullivan; Ahmad Ibrahim 002; Yier Jin; Ahmad-Reza Sadeghi (ICCAD, 2017)

SeED: secure non-interactive attestation for embedded devices. - Ahmad Ibrahim 002; Ahmad-Reza Sadeghi; Shaza Zeitouni (WISEC, 2017)

The future of IoT security: special session. - Sibin Mohan; Mikael Asplund; Gedare Bloom; Ahmad-Reza Sadeghi; Ahmad Ibrahim 002; Negin Salajageh; Paul Griffioen; Bruno Sinopoli (EMSOFT, 2018)

SCIoT: A Secure and sCalable End-to-End Management Framework for IoT Devices. - Moreno Ambrosin; Mauro Conti; Ahmad Ibrahim 002; Ahmad-Reza Sadeghi; Matthias Schunter (ESORICS (1), 2018)

LiteHAX: lightweight hardware-assisted attestation of program execution. - Ghada Dessouky; Tigist Abera; Ahmad Ibrahim 002; Ahmad-Reza Sadeghi (ICCAD, 2018)

Securing Embedded Networks through Secure Collective Attestation. - Ahmad Ibrahim 002 (PhD Forum@MobiSys, 2018)

US-AID: Unattended Scalable Attestation of IoT Devices. - Ahmad Ibrahim 002; Ahmad-Reza Sadeghi; Gene Tsudik (SRDS, 2018)

Collective Attestation: for a Stronger Security in Embedded Networks. - Ahmad Ibrahim 002 (SRDS, 2018)

HEALED: HEaling & Attestation for Low-End Embedded Devices. - Ahmad Ibrahim 002; Ahmad-Reza Sadeghi; Gene Tsudik (Financial Cryptography, 2019)

CHASE: A Configurable Hardware-Assisted Security Extension for Real-Time Systems. - Ghada Dessouky; Shaza Zeitouni; Ahmad Ibrahim 002; Lucas Davi; Ahmad-Reza Sadeghi (ICCAD, 2019)

Towards Systematic Design of Collective Remote Attestation Protocols. - Ivan De Oliveira Nunes; Ghada Dessouky; Ahmad Ibrahim 002; Norrathep Rattanavipanon; Ahmad-Reza Sadeghi; Gene Tsudik (ICDCS, 2019)

DIAT: Data Integrity Attestation for Resilient Collaboration of Autonomous Systems. - Tigist Abera; Raad Bahmani; Ferdinand Brasser; Ahmad Ibrahim 002; Ahmad-Reza Sadeghi; Matthias Schunter (NDSS, 2019)

Securing Embedded Networks Through Secure Collective Attestation. - Ahmad Ibrahim 002 (2019)

Osiris: Automated Discovery of Microarchitectural Side Channels. - Daniel Weber 007; Ahmad Ibrahim 002; Hamed Nemati; Michael Schwarz 001; Christian Rossow (USENIX Security Symposium, 2021)

Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels. - Ahmad Ibrahim 002; Hamed Nemati; Till Schlüter; Nils Ole Tippenhauer; Christian Rossow (CCS, 2022)

FetchBench: Systematic Identification and Characterization of Proprietary Prefetchers. - Till Schlüter; Amit Choudhari; Lorenz Hetterich; Leon Trampert; Hamed Nemati; Ahmad Ibrahim 002; Michael Schwarz 001; Christian Rossow; Nils Ole Tippenhauer (CCS, 2023)