Research topics
Research topics
- probabilistic process algebra
and applications to performance analysis
(conducted within the ProMACS
and AMPATS projects)
- formats for transition systems
and the automatic generation of sound and complete axiomatizations
(joint work with Jos Baeten)
- tools for poweranalysis vulnerability testing of smart cards
(conducted within the PINPAS project)
- design and verification of security protocols for multi-applet smart cards
(conducted within the SAMASC project)
- protection of mobile agents
(joint work with Lou Feijs and Sjouke Mauw)
- coordination in Paradigm
(joint work with Luuk Groenewegen)
- business transactions and software architecture
(joint work with Andries Stam)
- epistemic actions and the analysis of security protocols
(joint work with Wiebe van der Hoek)
- metric semantics for random assignment
(joint work with Jerry den Hartog)