BRICPT
Basic Research in Cryptographic Protocol Theory
| Coordinatore | AARHUS UNIVERSITET
Spiacenti, non ci sono informazioni su questo coordinatore. Contattare Fabio per maggiori infomrazioni, grazie. |
| Nazionalità Coordinatore | Denmark [DK] |
| Totale costo | 1˙171˙019 € |
| EC contributo | 1˙171˙019 € |
| Programma | FP7-IDEAS-ERC
Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) |
| Code Call | ERC-2011-StG_20101014 |
| Funding Scheme | ERC-SG |
| Anno di inizio | 2011 |
| Periodo (anno-mese-giorno) | 2011-12-01 - 2016-11-30 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
AARHUS UNIVERSITET
Organization address
address: Nordre Ringgade 1 contact info |
DK (AARHUS C) | hostInstitution | 1˙171˙019.00 |
| 2 |
AARHUS UNIVERSITET
Organization address
address: Nordre Ringgade 1 contact info |
DK (AARHUS C) | hostInstitution | 1˙171˙019.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
'In cryptographic protocol theory, we consider a situation where a number of entities want to solve some problem over a computer network. Each entity has some secret data it does not want the other entities to learn, yet, they all want to learn something about the common set of data. In an electronic election, they want to know the number of yes-votes without revealing who voted what. For instance, in an electronic auction, they want to find the winner without leaking the bids of the losers.
A main focus of the project is to develop new techniques for solving such protocol problems. We are in particular interested in techniques which can automatically construct a protocol solving a problem given only a description of what the problem is. My focus will be theoretical basic research, but I believe that advancing the theory of secure protocol compilers will have an immense impact on the practice of developing secure protocols for practice.
When one develops complex protocols, it is important to be able to verify their correctness before they are deployed, in particular so, when the purpose of the protocols is to protect information. If and when an error is found and corrected, the sensitive data will possibly already be compromised. Therefore, cryptographic protocol theory develops models of what it means for a protocol to be secure, and techniques for analyzing whether a given protocol is secure or not.
A main focuses of the project is to develop better security models, as existing security models either suffer from the problem that it is possible to prove some protocols secure which are not secure in practice, or they suffer from the problem that it is impossible to prove security of some protocol which are believed to be secure in practice. My focus will again be on theoretical basic research, but I believe that better security models are important for advancing a practice where protocols are verified as secure before deployed.'