TOOKAN - TOOl for cryptoKi ANalysis
Tookan is a tool for analysing the PKCS#11 interfaces of cryptographic devices such as smartcards and HSMs. Tookan tests APIs by reverse engineering the
particular implementation of the PKCS#11 standard employed by the
device, building a formal logical model based on the results of this
process, and then calling a model checker to search for attack
traces. If an attack trace is found, Tookan executes the
trace directly on the device to verify that it works.
Results
Results obtained using Tookan, published at ACM CCS in October 2010.
Availability
Tookan is not on general release yet. To be kept up to date with Tookan news sign up to the mailing list, or follow Tookan on Twitter.
Tookan team
Tookan is the result of a collaboration between
Graham Steel at
INRIA,
SECSI project, and
Riccardo Focardi and his team at the
University of Venice, Ca' Foscari.
The logos were designed by Sam Ross-Gower
