| 2005 |
|---|
| 4 | EE | Eduardo Bonelli,
Adriana B. Compagnoni,
Ricardo Medel:
Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks.
CASSIS 2005: 37-56 |
| 3 | EE | Ricardo Medel,
Adriana B. Compagnoni,
Eduardo Bonelli:
A Typed Assembly Language for Non-interference.
ICTCS 2005: 360-374 |
| 2004 |
|---|
| 2 | EE | Martín Nordio,
Ricardo Medel,
Francisco Bavera,
Jorge Aguirre,
Gabriel Baum:
A Framework for Execution of Secure Mobile Code based on Static Analysis.
SCCC 2004: 59-66 |
| 2003 |
|---|
| 1 | EE | Nina Amla,
Robert P. Kurshan,
Kenneth L. McMillan,
Ricardo Medel:
Experimental Analysis of Different Techniques for Bounded Model Checking.
TACAS 2003: 34-48 |
