Benoît Morgan

Publications

Article dans une revue (1)

IOMMU protection against I/O attacks: A vulnerability and a proof-of-concept Benoît Morgan,Eric Alata,Vincent Nicomette,Mohamed Kaâniche Journal of the Brazilian Computer Society, 2018, 24, pp.Article number: 2. ⟨10.1186/s13173-017-0066-7⟩ Article dans une revue hal-02877143v1

Communication dans un congrès (10)

Attaque et sécurisation d'un schéma d'attestation à distance vérifié formellement Jonathan Certes,Benoît Morgan Symposium sur la sécurité des technologies de l'information et des communications (SSTIC 2022), Jun 2022, Rennes, France Communication dans un congrès hal-04683685v1
An Automated Framework Towards Widespread Formal Verification of Complex Hardware Designs Jonathan Certes,Benoît Morgan Conférence Embedded Real Time Software and Systems (ERTS 2022), Jun 2022, Toulouse, France. pp.1--11 Communication dans un congrès hal-04683674v1
Setting the Record Straighter on Shadow Banning Erwan Le Merrer,Benoît Morgan,Gilles Trédan INFOCOM 2021 - IEEE International Conference on Computer Communications, IEEE, May 2021, Virtual, Canada. pp.1-10, ⟨10.1109/INFOCOM42981.2021.9488792⟩ Communication dans un congrès hal-03234771v1
Bug ou ban ? Une Perspective Topologique sur le Shadow Banning Erwan Le Merrer,Benoît Morgan,Gilles Trédan ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. pp.1-4 Communication dans un congrès hal-02875595v1
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 The 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), Jan 2017, Christchurch, New Zealand Communication dans un congrès hal-01493597v1
Bypassing IOMMU Protection against I/O Attacks Benoît Morgan,Eric Alata,Vincent Nicomette,Mohamed Kaâniche 7th Latin-American Symposium on Dependable Computing (LADC’16), Oct 2016, Cali, Colombia. pp.145-150, ⟨10.1109/LADC.2016.31⟩ Communication dans un congrès hal-01419962v1
Bypassing DMA Remapping with DMA Benoît Morgan,Guillaume Averlant,Eric Alata,Vincent Nicomette Symposium sur le Sécurité des Technologies de l'Informatino et des Communications, Jun 2016, Rennes, France. 9p Communication dans un congrès hal-01322881v1
Abyme : un voyage au coeur des hyperviseurs récursifs Benoît Morgan,Eric Alata,Vincent Nicomette,Guillaume Averlant Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC), Jun 2015, Rennes, France. 29p Communication dans un congrès hal-01322880v1
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 The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015), Nov 2015, Zhangjiajie, China. 10p., ⟨10.1109/PRDC.2015.46⟩ Communication dans un congrès hal-01322882v1
Tests d’intégrité d’hyperviseurs de machines virtuelles à distance et assisté par le matériel Benoît Morgan,Eric Alata,Vincent Nicomette Symposium sur la sécurité des technologies de l'information et des communications, Jun 2014, Rennes, France Communication dans un congrès hal-01493450v1

Thèse (1)

Protection des systèmes informatiques vis-à-vis des malveillances : un hyperviseur de sécurité assisté par le matériel Benoît Morgan Système d'exploitation [cs.OS]. INSA de Toulouse, 2016. Français. ⟨NNT : 2016ISAT0026⟩ Thèse tel-01542490v1

Poster de conférence (1)

Détection de défaillance de gestionnaires de machines virtuelles Benoît Morgan,Eric Alata SARSSI 2013 : Sécurité des architectures réseaux et des systèmes d'information, Sep 2013, Mont-de-Marsan, France. , 2013 Poster de conférence hal-01493469v1

Chapitre d'ouvrage (1)

Remote attestation of bare-metal microprocessor software: a formally verified security monitor Jonathan Certes,Benoît Morgan Database and Expert Systems Applications - DEXA 2021 Workshops: BIOKDD, IWCFS, MLKgraphs, AI-CARES, ProTime, AISys 2021, Virtual Event, September 27–30, 2021, Proceedings, 1479, Springer International Publishing, pp.42-51, 2021, Communications in Computer and Information Science book series (CCIS), 978-3-030-87100-0. ⟨10.1007/978-3-030-87101-7_5⟩ Chapitre d'ouvrage hal-03576711v1