Jonathan Certes

Orcid: 0000-0001-8773-3749

According to our database¹, Jonathan Certes authored at least 2 papers between 2021 and 2023.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Méthodes et modèles pour la vérification formelle de l'attestation à distance sur microprocesseur. (Method and models for formal verification of remote attestation on microprocessors).

[BibT_eX]

[DOI]

Jonathan Certes

PhD thesis, 2023

2021

Remote Attestation of Bare-Metal Microprocessor Software: A Formally Verified Security Monitor.

[BibT_eX]

[DOI]

Jonathan Certes

Benoît Morgan

Proceedings of the Database and Expert Systems Applications - DEXA 2021 Workshops, 2021

Jonathan Certes

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...