Provably Secure and Practical Cryptography
- Reference number
- I06-0234
- Start and end dates
- 070901-121231
- Amount granted
- 3 000 000 SEK
- Administrative organization
- KTH - Royal Institute of Technology
- Research area
- Information, Communication and Systems Technology
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.