VAMPIRE - Virtual Applications and Implementations Research Lab
Network of Excellence in Cryptology
ICT-2007-216646
