Security by Contract on Smart Cards
Security by Contract for Mobile Phone
Empirical Security Engineering
eRISE Competition
Malware Laboratory