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.

Fiche signalétique

  • Département HESB | Technique et informatique
  • Pôle de recherche Mobilité de la société d'information
  • Champ de recherche Security in the Information Society
  • Organisme de financement UE 7e programme-cadre
  • Durée 01.01.2008 - 30.06.2011
  • Direction du projet Endre Bangerter
  • Équipe du projet Endre Bangerter
    Lorenz Müller
    Stephan Krenn
  • Partenaires - secteur privé Sirrix Aktiengesellschaft
  • Partenaires - établissements de recherche, y c. BFH Ruhr Universität Bochum
    Technikon, Graz
    Universidade do Minho
    University of Bristol
  • Mots-clés Zero knowledge proofs, cryptographic engineering, automatic security proofs

Contexte initial

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

But

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

Compétences clés

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