Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

Logic-based Verification of Privacy-Preservation in Europe's 2020 ICT

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Content Delivery over TLS: A Cryptographic Analysis of Keyless SSL

Auteurs: Karthikeyan Bhargavan, Ioana Boureanu, Pierre-Alain Fouque, Cristina Onete, Benjamin Richard
Publié dans: Proceedings of the 2nd IEEE European Symposium on Security and Privacy (Euro S&P 2017), 2017
Éditeur: IEEE

Verifying Security Properties in Unbounded Multiagent Systems

Auteurs: Ioana Boureanu, Panagiotis Kouvaros, Alessio Lomuscio
Publié dans: Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems, 2016, ISBN 978-1-4503-4239-1
Éditeur: The International Foundation for Autonomous Agents and Multiagent Systems

Breaking and Fixing the HB+DB protocol

Auteurs: I. Boureanu, D. Gerault, P. Lafourcade
Publié dans: Proceeding of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec 2017), 2017
Éditeur: ACM

A Novel Symbolic Approach to Verifying Epistemic Properties of Programs

Auteurs: Nikos Gorogiannis, Franco Raimondi, Ioane Boureanu
Publié dans: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017
Éditeur: IJCAI Organization

Security of Distance-Bounding: A Survey

Auteurs: G. Avoine, M. A. Bingoel, I. Boureanu, S. Capkun, G. Hancke, S. Kardas, C. Kim, C. Lauradoux, B. Martin, J. Munilla, A. Peinado-Dominguez, K. Bonne Rasmussen, D. Singelee, A. Tchamkerten, R. Trujillo-Rasua, S.Vaudenay,
Publié dans: ACM Computing Surveys, 2017, ISSN 0360-0300
Éditeur: Association for Computing Machinary, Inc.

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0