| 2008 |
|---|
| 5 | EE | Nataliia Bielova,
Marco Dalla Torre,
Nicola Dragoni,
Ida Siahaan:
Matching Policies with Security Claims of Mobile Applications.
ARES 2008: 128-135 |
| 4 | EE | Fabio Massacci,
Frank Piessens,
Ida Siahaan:
Security-By-Contract for the Future Internet.
FIS 2008: 29-43 |
| 3 | EE | Randy Smith,
Cristian Estan,
Somesh Jha,
Ida Siahaan:
Fast Signature Matching Using Extended Finite Automaton (XFA).
ICISS 2008: 158-172 |
| 2 | EE | Fabio Massacci,
Ida Siahaan:
Simulating midlet's security claims with automata modulo theory.
PLAS 2008: 1-9 |
| 2007 |
|---|
| 1 | EE | Nicola Dragoni,
Fabio Massacci,
Katsiaryna Naliuka,
Ida Siahaan:
Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code.
EuroPKI 2007: 297-312 |
