Eduardo Lostal

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Nicola Dragoni, Eduardo Lostal, Olga Gadyatskaya, Fabio Massacci, Federica Paci
A Load Time Policy Checker for Open Multi-application Smart Cards. POLICY (2011)
Olga Gadyatskaya, Eduardo Lostal, Fabio Massacci
Load Time Security Verification. ICISS (2011)
Nicola Dragoni, Eduardo Lostal, Davide Papini
(SC)²: A System to Secure Off-Card Contract-Policy Matching in Security-by-Contract for Open Multi-application Smart Cards. POLICY (2011)
Nicola Dragoni, Eduardo Lostal, Davide Papini, Javier Fabra
SC 2: Secure Communication over Smart Cards - How to Secure Off-Card Matching in Security-by-Contract for Open Multi-application Smart Cards. FPS (2011)