SC 2: Secure Communication over Smart Cards - How to Secure Off-Card Matching in Security-by-Contract for Open Multi-application Smart Cards. - Nicola Dragoni; Eduardo Lostal; Davide Papini; Javier Fabra (FPS, 2011)

Load Time Security Verification. - Olga Gadyatskaya; Eduardo Lostal; Fabio Massacci (ICISS, 2011)

A Load Time Policy Checker for Open Multi-application Smart Cards. - Nicola Dragoni; Eduardo Lostal; Olga Gadyatskaya; Fabio Massacci; Federica Paci (POLICY, 2011)

(SC)²: A System to Secure Off-Card Contract-Policy Matching in Security-by-Contract for Open Multi-application Smart Cards. - Nicola Dragoni; Eduardo Lostal; Davide Papini (POLICY, 2011)