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.

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

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.)

EPIC (2019)

Evolution of Planktonic Gastropod Calcification

Read More  

BirthControlEnvirons (2019)

Contraception meets the environment: everyday contraceptive practices, politics, and futures in a toxic age

Read More  

PNAIC (2018)

Positive and Negative Asymmetry in Intergroup Contact: Its Impact on Linguistic Forms of Communication and Physiological Responses

Read More