Ricardo Medel

A framework for execution of secure mobile code based on static analysis

Gabriel Baum, Martín Nordio, Ricardo Medel, 2004, XXIV International Conference of the Chilean Computer Science Society.

Experimental Analysis of Different Techniques for Bounded Model Checking

Robert P. Kurshan, Kenneth L. McMillan, Nina Amla, 2003, TACAS.

Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks

Eduardo Bonelli, Adriana B. Compagnoni, Ricardo Medel, 2005, CASSIS.

A Typed Assembly Language for Non-interference

Eduardo Bonelli, Adriana B. Compagnoni, Ricardo Medel, 2005, ICTCS.