Prati
Benoit Morgan
Benoit Morgan
Intel Corporation / IRIT-ENSEEIHT, University of Toulouse
Potvrđena adresa e-pošte na intel.com - Početna stranica
Naslov
Citirano
Citirano
Godina
Setting the record straighter on shadow banning
E Le Merrer, B Morgan, G Trédan
IEEE INFOCOM 2021-IEEE conference on computer communications, 1-10, 2021
352021
Bypassing IOMMU protection against I/O attacks
B Morgan, E Alata, V Nicomette, M Kaâniche
2016 Seventh Latin-American Symposium on Dependable Computing (LADC), 145-150, 2016
302016
IOMMU protection against I/O attacks: a vulnerability and a proof of concept
B Morgan, E Alata, V Nicomette, M Kaâniche
Journal of the Brazilian Computer Society 24, 1-11, 2018
212018
Design and implementation of a hardware assisted security architecture for software integrity monitoring
B Morgan, E Alata, V Nicomette, M Kaâniche, G Averlant
2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing …, 2015
122015
Remote attestation of bare-metal microprocessor software: A formally verified security monitor
J Certes, B Morgan
International Conference on Database and Expert Systems Applications, 42-51, 2021
52021
An abstraction model and a comparative analysis of Intel and ARM hardware isolation mechanisms
G Averlant, B Morgan, E Alata, V Nicomette, M Kaâniche
2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing …, 2017
52017
Protection des systèmes informatiques vis-à-vis des malveillances: un hyperviseur de sécurité assisté par le matériel
B Morgan
Toulouse, INSA, 2016
22016
Bypassing DMA remapping with DMA
B Morgan, G Averlant, E Alata, V Nicomette
Symposium sur le Sécurité des Technologies de l'Informatino et des …, 2016
22016
Abyme: un voyage au cœur des hyperviseurs récursifs
B Morgan, E Alata, V Nicomette, G Averlant
Symposium sur la Sécurité des Technologies de l'Information et des …, 2015
22015
Tests d’intégrité d’hyperviseurs de machines virtuelles à distance et assisté par le matériel
B Morgan, É Alata, V Nicomette
Symposium sur la sécurité des technologies de l'information et des …, 2014
22014
Attaque et sécurisation d’un schéma d’attestation à distance vérifié formellement
J Certes, B Morgan
Symposium sur la sécurité des technologies de l’information et des …, 2022
12022
Bug ou ban? une perspective topologique sur le shadow banning
E Le Merrer, B Morgan, G Trédan
ALGOTEL 2020–22èmes Rencontres Francophones sur les Aspects Algorithmiques …, 2020
12020
ERTS 2022 proceedings
P Cuenot, M de Roquemaurel, K Delmas, JM Gabriel, A Gauffriau, ...
2022
Détection de défaillance de gestionnaires de machines virtuelles
B Morgan, E Alata
SARSSI 2013: Sécurité des architectures réseaux et des systèmes d'information, 2013
2013
External Reviewers DSN 2021
LJS Adalid, N Almakhdhub, F Aires, E Alata, EG Amparore, D Andrade, ...
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–15