Opendata, web and dolomites


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

Total Cost €


EC-Contrib. €






 LV-Pri20 project word cloud

Explore the words cloud of the LV-Pri20 project. It provides you a very rough idea of what is the project "LV-Pri20" about.

preserving    inherent    efficient    agenda    ict    flagship    herein    industrial    multiple    inline    standalone    things    concretely    verification    respectively    logics    digital    checking    proved    lives    scrutiny    protocol    initial    executions    formal    leakage    model    proofs    media    connection    unlinkability    2020    incorporated    grid    security    iot    wireless    communication    core    remote    automatic    smart    codes    lv    expression    systematically    cloud    specify    algorithms    environments    setting    identification    right    refine    analysing    classes    line    software    mathematical    rfid    wearables    unlocking    computing    safeguarding    analysed    thereof    patched    collaborative    devise    nature    logic    techniques    neglect    car    languages    society    internet    pri20    semantics    distributed    session    preservation    taxonomically    cybersecurity    data    rf    privacy    wired    upcoming    prevalent    automatically    sensitive    disciplinary    designed    vs    human    concurrent    machine    strategy    ubiquitous    protocols    electronic    aid    academic    run    envisaged    re   

Project "LV-Pri20" data sheet

The following table provides information about the project.


Organization address
address: Stag Hill
postcode: GU2 7XH

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country United Kingdom [UK]
 Project website
 Total cost 195˙454 €
 EC max contribution 195˙454 € (100%)
 Programme 1. H2020-EU.1.3.2. (Nurturing excellence by means of cross-border and cross-sector mobility)
 Code Call H2020-MSCA-IF-2014
 Funding Scheme MSCA-IF-EF-CAR
 Starting year 2015
 Duration (year-month-day) from 2015-06-22   to  2017-06-21


Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    UNIVERSITY OF SURREY UK (GUILDFORD) coordinator 95˙284.00


 Project objective

In line with the EU 2020 Flagship Initiative on a Digital Agenda for Europe and the upcoming EU Cybersecurity Strategy, the goal of the LV-Pri20 project is to aid our ICT-driven lives, by “safeguarding the human right of privacy in the digital society”. Concretely, the main focus of LV-Pri20 is the formal and automatic analysis of privacy-preservation in today’s ICT. LV-Pri20 will focus on the prevalent wireless media, e.g., RF-identification protocols, remote car-unlocking, wearables, machine-to-machine communication in the Internet of Things (IoT)/ubiquitous computing, but it will not neglect wired environments (given their common cloud-connection). LV-Pri20 will assess and automatically analyse privacy-sensitive applications, in their standalone execution, as well as in the more involved setting of multiple, concurrent executions thereof. This will be done systematically and taxonomically: distinct classes of applications (e.g., identification protocols using Electronic Product Codes vs. the Open Smart Grid Protocol) and different privacy properties (e.g., data non-leakage vs. data-user unlinkability) will be respectively analysed via tailored, well-defined techniques. To specify privacy, LV-Pri20 will design/refine different non-classical logic languages which have inherent semantics for privacy-like expression (e.g., strategy logics). For these, we will then develop new model checking algorithms. All will be incorporated in automatic verification software, which already proved efficient in analysing highly distributed systems, inline with, e.g., the IoT applications envisaged herein. LV-Pri20 will have a multi-disciplinary, collaborative nature, an academic core and industrial side. After an initial privacy scrutiny, new/patched RFID-based, privacy-preserving, communication protocols will be (re-)designed and implemented. For these, we will devise mathematical proofs for one-session security, and run automatic analysis of their multi-session executions.


year authors and title journal last update
List of publications.
2017 I. Boureanu, D. Gerault, P. Lafourcade
Breaking and Fixing the HB+DB protocol
published pages: , ISSN: , DOI:
Proceeding of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec 2017) 2019-06-18
2017 Nikos Gorogiannis, Franco Raimondi, Ioane Boureanu
A Novel Symbolic Approach to Verifying Epistemic Properties of Programs
published pages: , ISSN: , DOI:
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017) 2019-06-18
2017 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,
Security of Distance-Bounding: A Survey
published pages: , ISSN: 0360-0300, DOI:
ACM Computing Surveys 2019-06-18
2017 Karthikeyan Bhargavan, Ioana Boureanu, Pierre-Alain Fouque, Cristina Onete, Benjamin Richard
Content Delivery over TLS: A Cryptographic Analysis of Keyless SSL
published pages: , ISSN: , DOI:
Proceedings of the 2nd IEEE European Symposium on Security and Privacy (Euro S&P 2017) 2019-06-18

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "LV-PRI20" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email ( and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "LV-PRI20" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.3.2.)

ELOTEQ (2019)

Interfacing Levitated Optomechanics with Superconducting Qubits

Read More  

MBL-Fermions (2020)

Probing many-body localization dynamics using ultracold fermions in an optical lattice

Read More  

GlycoMabs (2019)

Chemoenzymatic glyco-engineering of therapeutic monoclonal antibodies

Read More