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.

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

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

RAMBEA (2019)

Realistic Assessment of Historical Masonry Bridges under Extreme Environmental Actions

Read More  

PROSPER (2019)

Politics of Rulemaking, Orchestration of Standards, and Private Economic Regulations

Read More  

GENESIS (2020)

unveilinG cEll-cell fusioN mEdiated by fuSexins In chordateS

Read More