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

Project Information

LV-Pri20

Grant agreement ID: 661362

DOI

10.3030/661362

Project closed

EC signature date 14 April 2015

Start date 22 June 2015

End date 21 June 2017

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost

€ 195 454,81

EU contribution

€ 195 454,80

Coordinated by

UNIVERSITY OF SURREY
United Kingdom

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (4)

Content Delivery over TLS: A Cryptographic Analysis of Keyless SSL

Author(s): Karthikeyan Bhargavan, Ioana Boureanu, Pierre-Alain Fouque, Cristina Onete, Benjamin Richard
Published in: Proceedings of the 2nd IEEE European Symposium on Security and Privacy (Euro S&P 2017), 2017
Publisher: IEEE

Verifying Security Properties in Unbounded Multiagent Systems

Author(s): Ioana Boureanu, Panagiotis Kouvaros, Alessio Lomuscio
Published in: Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems, 2016, ISBN 978-1-4503-4239-1
Publisher: The International Foundation for Autonomous Agents and Multiagent Systems

Breaking and Fixing the HB+DB protocol

Author(s): I. Boureanu, D. Gerault, P. Lafourcade
Published in: Proceeding of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec 2017), 2017
Publisher: ACM

A Novel Symbolic Approach to Verifying Epistemic Properties of Programs

Author(s): Nikos Gorogiannis, Franco Raimondi, Ioane Boureanu
Published in: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017
Publisher: IJCAI Organization

Peer reviewed articles (1)

Security of Distance-Bounding: A Survey

Author(s): 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,
Published in: ACM Computing Surveys, 2017, ISSN 0360-0300
Publisher: Association for Computing Machinary, Inc.