VAMPIRE - Virtual Applications and Implementations Research Lab
Network of Excellence in Cryptology
IST-2002-507932
