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

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

SoftHandler (2019)

Commercial feasibility of an integrated soft robotic system for industrial handling

Read More  

Resonances (2019)

Resonances and Zeta Functions in Smooth Ergodic Theory and Geometry

Read More  

TRUST (2018)

Truth and Semantics

Read More