Benoît Morgan
14
Documents
Publications
8
7
4
4
3
2
2
2
2
1
1
1
3
2
1
1
Publications
|
|
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-02877143
v1
|
|
|
Attaque et sécurisation d'un schéma d'attestation à distance vérifié formellementSymposium sur la sécurité des technologies de l'information et des communications (SSTIC 2022), Jun 2022, Rennes, France
Communication dans un congrès
hal-04683685
v1
|
|
|
An Automated Framework Towards Widespread Formal Verification of Complex Hardware DesignsConférence Embedded Real Time Software and Systems (ERTS 2022), Jun 2022, Toulouse, France. pp.1--11
Communication dans un congrès
hal-04683674
v1
|
|
|
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-03234771
v1
|
|
|
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-02875595
v1
|
|
|
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-01493597
v1
|
|
|
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-01419962
v1
|
|
|
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-01322881
v1
|
|
|
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-01322880
v1
|
|
|
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-01322882
v1
|
|
|
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-01493450
v1
|
|
|
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-01542490
v1
|
|
|
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-01493469
v1
|
|
|
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-03576711
v1
|
Chargement...
Chargement...