Skip to main content
European Commission logo
English English
CORDIS - EU research results
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary
Content archived on 2024-06-18

Computer Aided Cryptography Engineering

Project description


Secure, dependable and trusted Infrastructures

Development of hardware devices and software products is facilitated by a design flow, and a set of tools (e.g. compilers and debuggers), which automate tasks normally performed by experienced, highly skilled developers. However, in both hardware and software examples the tools are generic since they seldom provide specific support for a particular domain. The goal of this project is to design, develop and deploy a toolbox that will support the specific domain of cryptographic software engineering. Ordinarily, development of cryptographic software is a huge challenge: security and trust is mission critical and modern applications processing sensitive data typically require the deployment of sophisticated cryptographic techniques. The proposed toolbox will allow non-experts to develop high-level cryptographic applications and business models by means of cryptography-aware high-level programming languages and compilers. The description of such applications in this way will allow automatic analysis and transformation of cryptographic software to detect security critical implementation failures, e.g. software and hardware based side-channel attacks, when realizing low level cryptographic primitives and protocols. Ultimately, the end result will be better quality, more robust software at much lower cost; this provides both a clear economic benefit to the European industry in the short term, and positions it better in dealing with any future roadblocks to ICT development in the longer term.

Call for proposal

FP7-ICT-2007-1
See other projects for this call

Coordinator

TECHNIKON FORSCHUNGS- UND PLANUNGSGESELLSCHAFT MBH
EU contribution
€ 276 856,00
Address
BURGPLATZ 3A
9500 Villach
Austria

See on map

Region
Südösterreich Kärnten Klagenfurt-Villach
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
Silke Rebernig (Ms.)
Links
Total cost
No data

Participants (12)