Radboud University Nijmegen


Software Security


Computing Science, Information Security Technology

dr. ir. E. Poll, ing. R. Verdult, drs. F.M.J. van den Broek, dr. B.I. De Sousa Vieria

Common security vulnerabilities, Security measures in the software development life cycle, Language-based security, (Tool-supported) Static Analysis, Advanced type systems, Program Verification and Proof-Carrying Code (PCC)


We use cookies to ensure we give you the best browsing experience on our website. Find out more on how we use cookies and how you can change your settings.

Ok, I understand No, tell me more