Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Daubignard, Marion"'
Autor:
Daubignard, Marion
Cette thèse se propose de remédier à l'absence de formalisme dédié aux preuves de sécurité concrète à travers 3 contributions. Nous présentons d'abord la logique CIL (Computational Indistinguishability Logic), qui permet de raisonner sur le
Externí odkaz:
http://www.theses.fr/2012GRENM011/document
Publikováno v:
[Research Report] RR-8274, INRIA. 2013
Cryptographic devices such as Hardware Security Modules are only as secure as their application programme interfaces (APIs) that offer cryptographic functionality to the outside world. Design flaws and implementation errors in security APIs have been
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3ee1e1402683ea9f446ece17b4d55521
https://hal.inria.fr/hal-00805987v2/document
https://hal.inria.fr/hal-00805987v2/document
Publikováno v:
Smart Card Research & Advanced Applications 13th International Conference, CARDIS 2014, Paris, France, November 5-7, 2014. Revised Selected Papers; 2015, p173-192, 20p
Publikováno v:
Principles of Security & Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory & Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings; 2014, p63-82, 20p
Publikováno v:
2012 IEEE 25th Computer Security Foundations Symposium; 1/ 1/2012, p340-353, 14p
Publikováno v:
Proceedings of the 17th ACM Conference: Computer & Communications Security; 10/ 4/2010, p375-386, 12p
Publikováno v:
Concurrency, Compositionality & Correctness; 2010, p300-321, 22p
Publikováno v:
Logic for Programming, Artificial Intelligence & Reasoning (9783642175107); 2010, p46-63, 18p
Publikováno v:
Proceedings of the 15th ACM Conference: Computer & Communications Security; 10/27/2008, p371-380, 10p