Computer Aided Cryptography Engineering

Reliable crypto software can often be implemented by experienced professionals only. To facilitate this implementation, a toolbox has to be designed which aids non-experts to obtain verifiable secure and efficient crypto protocols.

Factsheet

  • Department BUAS | Engineering and Information Technology
  • Research focus Mobile Information Society
  • Research field Security in the Information Society
  • Funding body EU 7th Framework Programme
  • Duration 01.01.2008 - 30.06.2011
  • Head of project Endre Bangerter
  • Project staff Endre Bangerter
    Lorenz Müller
    Stephan Krenn
  • Project partners - business Sirrix Aktiengesellschaft
  • Project partners - research institutions incl. BFH Ruhr Universität Bochum
    Technikon, Graz
    Universidade do Minho
    University of Bristol
  • Keywords Zero knowledge proofs, cryptographic engineering, automatic security proofs

Starting point

* Development of a compiler that can be used by non-experts to translate high-level descriptions of zeroknowledge proofs into sound cryptographic protocols. * Automatic analysis of the produced protocols to detect security flaws. * As efficient computation and communication are crucial for cryptography, high-performance implementations are automated. * Provide tools which are praticable for, e.g., electronic passport, e-voting, etc.

Objective

The goal is to design a toolbox which will facilitate development of high-performance and verifiable secure cryptographic software by non-experts.

Core competencies

* Expertise in the field of zero-knowledge proofs of knowledge * Implementation of security sensitive applications/compilers * Development of fully automatical tools for formal verification