Ricardo Medel

Publication Activity (10 Years)

Years Active: 2003-2005
Publications (10 Years): 0

Publications

Ricardo Medel, Adriana B. Compagnoni, Eduardo Bonelli
A Typed Assembly Language for Non-interference. ICTCS (2005)
Eduardo Bonelli, Adriana B. Compagnoni, Ricardo Medel
Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks. CASSIS (2005)
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)
Nina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo Medel
Experimental Analysis of Different Techniques for Bounded Model Checking. TACAS (2003)