.:. Consultation > Liste par discipline > Cryptographie et sécurité .:.

3 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

Analyses sécuritaires de code de carte à puce sous attaques physiques simulées Kauffmann-Tourkestansky X. Université d'Orléans (28/11/2012), Pascal Berthomé (Dir.) [tel-00771273 - version 4]

PIGA-OS : retour sur le système d'exploitation vainqueur du défi sécurité Briffaut J., Peres M., Rouzaud-Cornabas J., Solanki J., Toinard C., Venelle B. Dans CFSE 8 Proceedings - RenPar'20 / SympA'14 / CFSE 8, 8ème Conférence Francaise en Systèmes d'Exploitation, France (2011) [hal-00804275 - version 1]

Approximation based tree regular model checking Boichut Y., Heam P.-C., Kouchnarenko O. Nordic Journal of Computing 14 (2008) 216-241 [inria-00429345 - version 1]