In the CrACo Tool we implement all the cryptographic primitives, algorithms and schemes from scratch. This approach was required because we also use our libraries as a basis for the implementation on smart cards and the analysis of side-channels attacks in pairing-based cryptography. Hence, we have own implementation of several pairing algorithms with different properties and further necessary cryptographic primitives and algorithms.

Based on the cryptographic primitives we realized our own CCA-secure attribute-based and predicate-based schemes as well as some known CPA-secure attribute-based schemes. Furthermore, we also consider some additional functionality such as distributed realization of central authorities and their realization.

Modeling of access policies is one of the most important steps on the way to realization of large scale systems from attribute-based techniques. Whereas theoretical schemes usually use mathematical constructions like Monotone Span Programs in order to describe the access rights, these are not intuitive and hence not suitable for those, who wants to define the access right. In CrACo Tool the access rights can be defined in form of threshold trees, which are then transformed into Monotone Span Programs.