Benoît Morgan

Université Toulouse III - Paul Sabatier — France

Computer Science · Physical Sciences

5h-index90citations21works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Security and Verification in Computing(7), Complex Network Analysis Techniques(4), Cloud Data Security Solutions(4), Spam and Phishing Detection(4), Parallel Computing and Optimization Techniques(2)

Publications21 total

ERTS 2022 proceedings
HAL (Le Centre pour la Communication Scientifique Directe)·2022Open Access
Attaque et sécurisation d'un schéma d'attestation à distance vérifié formellement
SPIRE - Sciences Po Institutional REpository·2022Open Access
An Automated Framework Towards Widespread Formal Verification of Complex Hardware Designs
SPIRE - Sciences Po Institutional REpository·2022Open Access
Setting the Record Straighter on Shadow Banning
2021· 6 citedOpen Access
Remote Attestation of Bare-Metal Microprocessor Software: A Formally Verified Security Monitor
Communications in computer and information science·2021· 1 citedOpen Access
Setting the Record Straighter on Shadow Banning
arXiv (Cornell University)·2020· 28 citedOpen Access
Setting the Record Straighter on Shadow Banning
arXiv (Cornell University)·2020Open Access
Bug ou ban ? Une Perspective Topologique sur le Shadow Banning
HAL (Le Centre pour la Communication Scientifique Directe)·2020Open Access
IOMMU protection against I/O attacks: a vulnerability and a proof of concept
Journal of the Brazilian Computer Society·2018· 14 citedOpen Access
Nonvolatile memory registers increase the reliability of digital temperature sensors
ELECTRONICS Science Technology Business·2018Open Access
Digital temperature sensors with integrated EEPROM memory: features and benefits
ELECTRONICS Science Technology Business·2018Open Access
An Abstraction Model and a Comparative Analysis of Intel and ARM Hardware Isolation Mechanisms
2017· 3 cited
Protection des systèmes informatiques vis-à-vis des malveillances : un hyperviseur de sécurité assisté par le matériel
ZooKeys·2016Open Access
Bypassing IOMMU Protection against I/O Attacks
2016· 24 citedOpen Access
Bypassing DMA Remapping with DMA
HAL (Le Centre pour la Communication Scientifique Directe)·2016Open Access
Design and Implementation of a Hardware Assisted Security Architecture for Software Integrity Monitoring
2015· 7 citedOpen Access
Abyme : un voyage au coeur des hyperviseurs récursifs
HAL (Le Centre pour la Communication Scientifique Directe)·2015Open Access
Tests d’intégrité d’hyperviseurs de machines virtuelles à distance et assisté par le matériel
HAL (Le Centre pour la Communication Scientifique Directe)·2014· 1 citedOpen Access
Détection de défaillance de gestionnaires de machines virtuelles
HAL (Le Centre pour la Communication Scientifique Directe)·2013Open Access
Embedded software for the CEBAF RF control module
2002· 1 cited
page 1 of 2Next →

Frequent Co-authors

Éric Alata(8), Vincent Nicomette(7), Erwan Le Merrer(4), Gilles Trédan(4), Guillaume Averlant(4), Mohamed Kaâniche(3), Jonathan Certes(3), Mohamed Kaâniche(2), D. Stamm(1), D. Budde(1), G. Lahti(1), Isaac Ashkenazi(1), Christopher West(1), Philippe Cuenot(1), Marie de Roquemaurel(1), Kévin Delmas(1), Jesús M. Gómez-de-Gabriel(1), Adrien Gauffriau(1), Éric Jenn(1)