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

Informations projet

LV-Pri20

N° de convention de subvention: 661362

DOI

10.3030/661362

Projet clôturé

Date de signature de la CE 14 Avril 2015

Date de début 22 Juin 2015

Date de fin 21 Juin 2017

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 195 454,81

Contribution de l’UE

€ 195 454,80

Coordonné par

UNIVERSITY OF SURREY
United Kingdom

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

Conference proceedings (4)

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

Peer reviewed articles (1)

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.