Benoît Morgan
12
Documents
Publications
- 8
- 7
- 4
- 4
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
|
IOMMU protection against I/O attacks: A vulnerability and a proof-of-conceptJournal of the Brazilian Computer Society, 2018, 24, pp.Article number: 2. ⟨10.1186/s13173-017-0066-7⟩
Article dans une revue
hal-02877143v1
|
|
Setting the Record Straighter on Shadow BanningINFOCOM 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 BanningALGOTEL 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 mechanismsThe 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 Attacks7th 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 DMASymposium 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écursifsSymposium 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 MonitoringThe 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érielSymposium sur la sécurité des technologies de l'information et des communications, Jun 2014, Rennes, France
Communication dans un congrès
hal-01493450v1
|
|
Protection des systèmes informatiques vis-à-vis des malveillances : un hyperviseur de sécurité assisté par le matérielSystème d'exploitation [cs.OS]. INSA de Toulouse, 2016. Français. ⟨NNT : 2016ISAT0026⟩
Thèse
tel-01542490v1
|
|
Détection de défaillance de gestionnaires de machines virtuellesSARSSI 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
|
|
Remote attestation of bare-metal microprocessor software: a formally verified security monitorDatabase 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
|