Benoît Morgan

14
Documents

Publications

8
7
4
4
3
2
2
2
2
1
1
1
3
2
1
1

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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