Secure Refinement of Cryptographic Algorithms (E03)

• Subject Area: Software Engineering and Programming Languages
• Term: since 2014
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 236615297

The project aims to provide a framework for the static side-channel analysis of cryptographic implementations that offers reliable quantitative guarantees on solid theoretical foundations. The project increases the precision and the scalability of its analyses by addressing bottlenecks observed in case studies. It further broadens the scope of the quantitative analyses to assess side-channel vulnerability and develops tool support that provides automation. It guides developers where to apply mitigation and which techniques to choose given the security-performance trade-off.

• DFG Programme: Collaborative Research Centres
• Subproject of: SFB 1119: CROSSING - Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments
• Applicant Institution: Technische Universität Darmstadt
• Project Heads: Professor Dr. Marc Fischlin; Professor Dr.-Ing. Heiko Mantel