Bevisbart säker och praktisk kryptografi
- Diarienummer
- I06-0234
- Start- och slutdatum
- 070901-121231
- Beviljat belopp
- 3 000 000 kr
- Förvaltande organisation
- KTH - Royal Institute of Technology
- Forskningsområde
- Informations-, kommunikations- och systemteknik
Summary
The motivation behind the proposed research is that the gap between the theory of cryptography and more practically oriented security research is unnecessarily large and that there are new real world problems that could be, or could potentially be, solved using cryptographic techniques. The goal of the programme is to bridge some of this gap. We plan to bridge the gap from both ends by: performing an example driven systematic study of cryptographic definitions and notions of practical value, identifying interesting problems in industry and government by visiting them and discussing, and performing a handful comprehensive case studies. In our case studies we expect to find design flaws in the theory of modeling and analyzing cryptographic protocols. We also expect to identify new useful primitives of both practical and theoretical interest, and we expect to further the general understanding of security of cryptographic protocols by presenting clear and comprehensive examples for how to construct and analyze such protocols.