Proposals for Student Projects

• Verification of Security Protocol Implementations
• There may be project opportunities on domain-specific static analysis of web applications, jointly supervised with the company Topicus in Deventer. Please contact me if interested.

Last modified: Apr 11, 2009
Christian Haack