Community Research and Development Information Service - CORDIS

Horizon 2020 project information and now also report summaries are available on CORDIS. All H2020 projects can be downloaded from the EU Open Data Portal .

My refinements


Download results of this page


Refine by:

Programme

FP7
All
FP7-IDEAS-ERC (3)

Advanced search

Search projects and results

Results 1 - 3 of 3
Order by: Results/page:
1
Cryptography on Non-Trusted Machines
ID: 207908
Start date: 2008-11-01, End date: 2013-10-31
This project is about the design of cryptographic schemes that are secure even if implemented on not-secure devices. The motivation for this problem comes from an observation that most of the real-life attacks on cryptographic devices do not break their mathematical foundatio...
Programme: FP7-IDEAS-ERC
Record Number: 88560
Last updated on: 2017-05-29
Practical Approximation Algorithms
ID: 259515
Start date: 2010-11-01, End date: 2015-10-31
The goal of this proposal is the development and study of practical approximation algorithms. We will base our study on theoretical models that can describe requirements for algorithms that make them practically efficient. We plan to develop an efficient and useful programmin...
Programme: FP7-IDEAS-ERC
Record Number: 96687
Last updated on: 2017-05-26
Expressive Power of Tree Logics
ID: 239850
Start date: 2009-11-01, End date: 2014-10-31
Logics for expressing properties of labeled trees and forests figure importantly in several different areas of Computer Science, including verification (branching temporal logics) and database theory (many XML query languages). The goal of this project is to investigate the e...
Programme: FP7-IDEAS-ERC
Record Number: 92414
Last updated on: 2017-05-25
List retrieved on: 2018-09-23
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top