===== Research Activities ====

=== Technological Activities ===

[[Security by Contract on Smart Cards]]

[[Security by Contract for Mobile Phone]]


=== Empirical Studies ===

[[Empirical Security Engineering]]

[[eRISE Competition]]

[[Malware Laboratory]]