Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

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

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

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

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.

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0