Opendata, web and dolomites

LV-Pri20

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

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

 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.

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

Project "LV-Pri20" data sheet

The following table provides information about the project.

Coordinator
UNIVERSITY OF SURREY 

Organization address
address: Stag Hill
city: GUILDFORD
postcode: GU2 7XH
website: www.surrey.ac.uk

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 http://people.itcarlson.com/ioana/mc.html
 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

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    UNIVERSITY OF SURREY UK (GUILDFORD) coordinator 95˙284.00
2    IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE UK (LONDON) participant 100˙170.00

Map

 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.

 Publications

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 (fabio@fabiodisconzi.com) 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.)

Widow Spider Mating (2020)

Immature mating as a novel tactic of an invasive widow spider

Read More  

TARGET SLEEP (2020)

Boosting motor learning through sleep and targeted memory reactivation in ageing and Parkinson’s disease

Read More  

ASIQS (2019)

Antiferromagnetic spintronics investigated by quantum sensing techniques

Read More