Section: Other Grants and Activities

National actions

• HEFBOOM project, Dutch National Research Institute (NWO) project for the dissemination of research results.

• VEMPS, VeriÞcation and Epistemics of Multi-Party Protocol Security, Funding “Open Competitie” NWO (NWO project funding) Partners are Technische Universiteit Eindhoven, Vrije Universiteit, Universiteit Leiden and Universiteit Utrecht.