This is an old revision of the document!
Security by Contract on Smart Cards
Security by Contract for Mobile Phone
Empirical Security Engineering
eRISE Competition
Malware Laboratory