Benoît Morgan

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 7

Top Topics

Malicious Users

Remote Attestation

Security Architecture

Countermeasures

Top Venues

J. Braz. Comput. Soc.

INSA Toulouse, France (PHD)

Education History

INSA Toulouse, France

PHD

Publications

Jonathan Certes, Benoît Morgan
Remote Attestation of Bare-Metal Microprocessor Software: A Formally Verified Security Monitor. DEXA Workshops (2021)
Erwan Le Merrer, Benoît Morgan, Gilles Trédan
Setting the Record Straighter on Shadow Banning. INFOCOM (2021)
Erwan Le Merrer, Benoît Morgan, Gilles Trédan
Setting the Record Straighter on Shadow Banning. CoRR (2020)
Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
IOMMU protection against I/O attacks: a vulnerability and a proof of concept. J. Braz. Comput. Soc. 24 (1) (2018)
Guillaume Averlant, Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
An Abstraction Model and a Comparative Analysis of Intel and ARM Hardware Isolation Mechanisms. PRDC (2017)
Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
Bypassing IOMMU Protection against I/O Attacks. LADC (2016)
Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Guillaume Averlant
Design and Implementation of a Hardware Assisted Security Architecture for Software Integrity Monitoring. PRDC (2015)