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.
- 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 partners - business Sirrix Aktiengesellschaft
Project partners - research institutions incl. BFH
Ruhr Universität Bochum
Universidade do Minho
University of Bristol
- Keywords 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