Benoît Morgan
Orcid: 0000-0003-3223-3995
According to our database1,
Benoît Morgan
authored at least 7 papers
between 2015 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Proceedings of the 40th IEEE Conference on Computer Communications, 2021
Remote Attestation of Bare-Metal Microprocessor Software: A Formally Verified Security Monitor.
Proceedings of the Database and Expert Systems Applications - DEXA 2021 Workshops, 2021
2018
J. Braz. Comput. Soc., 2018
2017
An Abstraction Model and a Comparative Analysis of Intel and ARM Hardware Isolation Mechanisms.
Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017
2016
Protection des systèmes informatiques vis à vis des malveillances : un hyperviseur de sécurité assisté par le matériel. (Protection of the computer systems face to face hostilities: a hypersight of safety(security) assisted by the material(equipment)).
PhD thesis, 2016
Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016
2015
Design and Implementation of a Hardware Assisted Security Architecture for Software Integrity Monitoring.
Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015