Verified programming and secure integration of operating system libraries in Coq. (Programmation vérifiée et intégration sécurisée de bibliothèques de systèmes d'exploitation dans Coq).
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 phd/hal/Yuan23a
%A Yuan, Shenghao
%D 2023
%K dblp
%T Verified programming and secure integration of operating system libraries in Coq. (Programmation vérifiée et intégration sécurisée de bibliothèques de systèmes d'exploitation dans Coq).
@phdthesis{phd/hal/Yuan23a,
added-at = {2024-03-23T00:00:00.000+0100},
author = {Yuan, Shenghao},
biburl = {https://www.bibsonomy.org/bibtex/288696880f190fe3f86714ef147ad4f2d/dblp},
ee = {https://tel.archives-ouvertes.fr/tel-04405955},
interhash = {ae95ce70a147bf979d7ef99887654902},
intrahash = {88696880f190fe3f86714ef147ad4f2d},
keywords = {dblp},
school = {University of Rennes 1, France},
timestamp = {2024-04-09T09:06:36.000+0200},
title = {Verified programming and secure integration of operating system libraries in Coq. (Programmation vérifiée et intégration sécurisée de bibliothèques de systèmes d'exploitation dans Coq).},
year = 2023
}