CACE (Computer Aided Cryptography Engineering)

CACE is an FP 7 project founded by the European Union. It aims to target the lack of support currently offered to cryptographic software engineers. The central objective is the development of a toolbox that supports the production of high quality cryptographic software. The aim is that specific components within the toolbox will address specific software development problems and processes; combined use of the constituent tools is enabled by designed integration between their interfaces. A representative example use of the toolbox might be to develop an online voting system by a natural, high-level description of the system properties. The CACE toolbox would take this description and produce an efficient, executable implementation, which has verifiable security properties both at the semantic and physical levels.

Within this framework we are concerned with advanced tools that do not only bring data securely from A to B, but can even handle situations where the involved parties have conflicting interests, and have no reason to trust each other. One type of tool we will provide will make Zero-Knowledge Proofs of Knowledge (ZKPOK) available to crypto engineers and practitioners. Efficient ZK-POKs play an important role in applied cryptography. In fact, many practically oriented applications use such proofs as a basic building block. Examples of such applications are: e-voting, auctions, watermark detection, group signatures, and multiparty computations - just to name a few. Yet, many of these applications typically only exist on a specification level. At the forefront of the state of the art, a direction of applied research has produced first applications using ZK-POKs being deployed in the real world. One prominent example is direct anonymous attestation, which was adopted by the Trusted Computing Group (TCG) an industry consortium of many IT enterprises, as a privacy enhancing mechanism for remote authentication of computing platforms. CACE will move beyond state-of-the-art by providing advanced tools and compilers that, given a high-level specification of the goals of a ZK-POK, automatically find and generate a protocol that meets the specification along with executable code that implements the protocol. The compiler is available online.

Project members:

Project Advisory Board:

  • IBM Zurich Research
  • Philips Eindhoven
  • Intel Corp. UK
  • HP Bristol

For more information about CACE visit the CACE project homepage,

A A A | Drucken Drucken | Impressum Impressum | Sitemap Sitemap | Kontakt Kontakt | Webseitenanalyse: Mehr Informationen
zum Seitenanfangzum Seitenanfang