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.

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

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

NEUSEQBOT (2020)

NEUro cerebellar recurrent network for motor SEQuence learning in neuroroBOTics

Read More  

EmbryoPAINT (2020)

PAINTing the architecture of the totipotency gene network during early mammalian development

Read More  

SAInTHz (2020)

Structuration of aqueous interfaces by Terahertz pulses: A study by Second Harmonic and Sum Frequency Generation

Read More