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.


  • Departement BFH | Technik und Informatik
  • Forschungsschwerpunkt Mobile Informationsgesellschaft
  • Forschungsfeld Security in the Information Society
  • Förderorganisation EU 7. Rahmenprogramm
  • Laufzeit 01.01.2008 - 30.06.2011
  • Projektleitung Endre Bangerter
  • Projektmitarbeitende Endre Bangerter
    Lorenz Müller
    Stephan Krenn
  • Mitwirkende Projektpartner Wirtschaft Sirrix Aktiengesellschaft
  • Mitwirkende Projektpartner Forschungsinstitutionen inkl. BFH Ruhr Universität Bochum
    Technikon, Graz
    Universidade do Minho
    University of Bristol
  • Schlüsselwörter Zero knowledge proofs, cryptographic engineering, automatic security proofs


* 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.


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


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