Opendata, web and dolomites

ELVER SIGNED

Engineering with Logic and Verification: Mathematically Rigorous Engineering for Safe and Secure Computer Systems

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

 ELVER project word cloud

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

society    computer    huge    basic    service    mathematically    foundations    focussed    prose    security    iso    standard    exposures    usual    specified    longer    specifying    processors    investment    solid    core    subject    simultaneously    reasoning    pervasively    skills    threat    debug    safety    proof    arm    models    mathematical    standards    attackers    committees    architecture    smoothly    tools    hence    rigorous    industry    flaws    mobile    components    usually    collaborations    languages    nation    systems    benefits    software    infrastructure    secure    confidential    boundaries    safer    poorly    critical    mainstream    pan    ibm    modern    complementing    successful    disciplines    architectures    mechanisms    legacy    cheri    elver    programming    hardware    real    processor    explore    hard    trustworthy    rigour    putting    lack    techniques    ransom    phones    gold    engineering    abstractions    data    protects    suffice    conventional    feasibility    trusted    attacks    denial    provably    malicious    enforce   

Project "ELVER" data sheet

The following table provides information about the project.

Coordinator
THE CHANCELLOR MASTERS AND SCHOLARSOF THE UNIVERSITY OF CAMBRIDGE 

Organization address
address: TRINITY LANE THE OLD SCHOOLS
city: CAMBRIDGE
postcode: CB2 1TN
website: www.cam.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]
 Total cost 2˙473˙844 €
 EC max contribution 2˙473˙844 € (100%)
 Programme 1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC))
 Code Call ERC-2017-ADG
 Funding Scheme ERC-ADG
 Starting year 2018
 Duration (year-month-day) from 2018-10-01   to  2023-09-30

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    THE CHANCELLOR MASTERS AND SCHOLARSOF THE UNIVERSITY OF CAMBRIDGE UK (CAMBRIDGE) coordinator 2˙473˙844.00

Map

 Project objective

Computer systems have become critical to modern society, but they are pervasively subject to security flaws and malicious attacks, with large-scale exposures of confidential data, denial-of-service and ransom attacks, and the threat of nation-state attackers: they are trusted, but are far from trustworthy. This is especially important for the major pan-industry components of our information infrastructure: processors, programming languages, operating systems, etc.

The basic problem is that conventional engineering techniques suffice only to make systems that *usually* work. The usual test-and-debug development methods, with poorly specified abstractions described in prose, lack the mathematical rigour of other engineering disciplines - yet the huge investment in legacy systems and skills makes it hard to improve.

ELVER will develop *mathematically rigorous* methods for specifying, testing, and reasoning about *real systems*, focussed on the core mechanisms used by hardware and software to enforce security boundaries. It will establish mathematical models for the industry ARM architecture, used pervasively in mobile phones and embedded devices, and the CHERI research architecture, which protects against many attacks. Using these, ELVER will build tools for analysis of system software, develop techniques for mathematical proof of safety and security properties, and explore improved systems programming languages. ELVER will build on successful collaborations with ARM, IBM, and the C/C\ ISO standards committees. It will directly impact mainstream processor architectures, languages, and development methods, smoothly complementing existing methods while simultaneously enabling longer-term research towards the gold standard of provably secure systems.

ELVER will thus demonstrate the feasibility and benefits of a more rigorous approach to system engineering, putting future systems on more solid foundations, and hence making them safer and more secure

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "ELVER" 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 "ELVER" are provided by the European Opendata Portal: CORDIS opendata.

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

evolSingleCellGRN (2019)

Constraint, Adaptation, and Heterogeneity: Genomic and single-cell approaches to understanding the evolution of developmental gene regulatory networks

Read More  

HEIST (2020)

High-temperature Electrochemical Impedance Spectroscopy Transmission electron microscopy on energy materials

Read More  

IMMUNOTHROMBOSIS (2019)

Cross-talk between platelets and immunity - implications for host homeostasis and defense

Read More