French CertiKOS Cited by user TV974 on 08 Jan 2019 CertiKOS est un projet développé par Zhong Shao, professeur à l'Université de Yale, dans le Connecticut, avec la participation d'une équipe de 6 autres chercheurs.