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