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

Projektinformationen

LV-Pri20

ID Finanzhilfevereinbarung: 661362

DOI

10.3030/661362

Projekt abgeschlossen

EK-Unterschriftsdatum 14 April 2015

Startdatum 22 Juni 2015

Enddatum 21 Juni 2017

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten

€ 195 454,81

EU-Beitrag

€ 195 454,80

Koordiniert durch

UNIVERSITY OF SURREY
United Kingdom

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (4)

Content Delivery over TLS: A Cryptographic Analysis of Keyless SSL

Autoren: Karthikeyan Bhargavan, Ioana Boureanu, Pierre-Alain Fouque, Cristina Onete, Benjamin Richard
Veröffentlicht in: Proceedings of the 2nd IEEE European Symposium on Security and Privacy (Euro S&P 2017), 2017
Herausgeber: IEEE

Verifying Security Properties in Unbounded Multiagent Systems

Autoren: Ioana Boureanu, Panagiotis Kouvaros, Alessio Lomuscio
Veröffentlicht in: Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems, 2016, ISBN 978-1-4503-4239-1
Herausgeber: The International Foundation for Autonomous Agents and Multiagent Systems

Breaking and Fixing the HB+DB protocol

Autoren: I. Boureanu, D. Gerault, P. Lafourcade
Veröffentlicht in: Proceeding of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec 2017), 2017
Herausgeber: ACM

A Novel Symbolic Approach to Verifying Epistemic Properties of Programs

Autoren: Nikos Gorogiannis, Franco Raimondi, Ioane Boureanu
Veröffentlicht in: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017
Herausgeber: IJCAI Organization

Peer reviewed articles (1)

Security of Distance-Bounding: A Survey

Autoren: 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,
Veröffentlicht in: ACM Computing Surveys, 2017, ISSN 0360-0300
Herausgeber: Association for Computing Machinary, Inc.