Section: New Software and Platforms

Zoocrypt

Functional Description

ZooCrypt is an automated tool for analyzing the security of padding-based public-key encryption schemes (i.e. schemes built from trapdoor permutations and hash functions). This year, we extended the tool to be able to deal with schemes based on cyclic groups and bilinear maps.

• Participants: Benjamin Gregoire, Gilles Barthe and Pierre-Yves Strub

• Contact: Benjamin Grégoire

• URL: https://www.easycrypt.info/zoocrypt/