Design and Implementation of a Hardware Assisted Security Architecture for Software Integrity Monitoring. - Benoît Morgan; Eric Alata; Vincent Nicomette; Mohamed Kaâniche; Guillaume Averlant (PRDC, 2015)

Bypassing IOMMU Protection against I/O Attacks. - Benoît Morgan; Eric Alata; Vincent Nicomette; Mohamed Kaâniche (LADC, 2016)

Protection des systèmes informatiques vis à vis des malveillances : un hyperviseur de sécurité assisté par le matériel. (Protection of the computer systems face to face hostilities: a hypersight of safety(security) assisted by the material(equipment)). - Benoît Morgan (2016)

An Abstraction Model and a Comparative Analysis of Intel and ARM Hardware Isolation Mechanisms. - Guillaume Averlant; Benoît Morgan; Eric Alata; Vincent Nicomette; Mohamed Kaâniche (PRDC, 2017)

IOMMU protection against I/O attacks: a vulnerability and a proof of concept. - Benoît Morgan; Eric Alata; Vincent Nicomette; Mohamed Kaâniche (J. Braz. Comput. Soc., 2018)

Remote Attestation of Bare-Metal Microprocessor Software: A Formally Verified Security Monitor. - Jonathan Certes; Benoît Morgan (DEXA Workshops, 2021)

Setting the Record Straighter on Shadow Banning. - Erwan Le Merrer; Benoît Morgan; Gilles Trédan (INFOCOM, 2021)