 | 2011 |
|---|
| 5 |       | Olga Gadyatskaya,
Eduardo Lostal,
Fabio Massacci:
Load Time Security Verification.
ICISS 2011: 250-264 |
| 4 | | Nicola Dragoni,
Eduardo Lostal,
Olga Gadyatskaya,
Fabio Massacci,
Federica Paci:
A Load Time Policy Checker for Open Multi-application Smart Cards.
POLICY 2011: 153-156 |
| 2010 |
|---|
| 3 | | Olga Gadyatskaya,
Fabio Massacci,
Federica Paci,
Sergey Stankevich:
Java Card Architecture for Autonomous Yet Secure Evolution of Smart Cards Applications.
NordSec 2010: 187-192 |
| 2 | | Nicola Dragoni,
Olga Gadyatskaya,
Fabio Massacci:
Can We Support Applications' Evolution in Multi-application Smart Cards by Security-by-Contract?
WISTP 2010: 221-228 |
| 2008 |
|---|
| 1 | | Olga Gadyatskaya,
Alexey S. Rodionov,
Olga K. Rodionova:
Using EDP-Polynomials for Network Structure Optimization.
ICCSA (2) 2008: 1061-1076 |
Data released under the ODC-BY 1.0 license — See also our legal information page