Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Software and Platforms


Participants : Gilles Barthe [IMDEA Software Institute] , François Dupressoir [IMDEA Software Institute] , Benjamin Grégoire [correspondant] , César Kunz [IMDEA Software Institute] , Benedikt Schmid [IMDEA Software Institute] , Pierre-Yves Strub [IMDEA Software Institute] .

ZooCrypt (see ) 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 years we extended the tool to be able to deal with schemes based on cyclic groups and bilinear maps.