This group focuses on secure and performance optimized software implementations of cryptographic algorithms and protocols. The research area covers several aspects of data and communicat...

The Design and Verification Group started work on 1 February 2008. Lead by Roderick Bloem, they study the use of formal methods for the design of correct systems. This includes verification, automati...