LocalPKI: A user-centric, interoperable and IoT friendly, formally proven PKI

	LocalPKI: An Interoperable and IoT Friendly PKI. Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel. Communications in Computer and Information Science. Volume 990, Fév. 2019.
	LocalPKI: A User-Centric Formally Proven Alternative to PKIX (Tamarin source file, Makefile). Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel. SECRYPT 2017 : 14th International Conference on Security and Cryptography, Madrid, Spain, July 24--26 2017.

LocalPKI Certificate Creation