Ricardo Medel

A typed assembly language for secure information flow analysis

Ricardo Medel, Adriana Compagnoni, Eduardo Bonelli, 2004 .

Hacia la AplicaciÛn de la ComputaciÛn de Alt o DesempeÒo al Entorno Productivo Local

Ricardo Medel, Julio J. Castillo, 2012 .

Security and integrity checker for JavaScript dependencies

Ricardo Medel, Néstor Navarro, Emanuel Ravera, 2017 .

Non-Interference for a Typed Assembly Language

Ricardo Medel, Adriana Compagnoni, Eduardo Bonelli, 2005 .