Ricardo Medel

Ricardo Medel

Universidad Tecnológica Nacional - Buenos Aires / Argentina
Engineering & Technology / Computer Science
AD Scientific Index ID: 4746142
National Technological University
person_outline Ricardo Medel's MOST POPULAR ARTICLES
1-) Experimental analysis of different techniques for bounded model checkingN Amla, R Kurshan, KL McMillan, R MedelInternational Conference on Tools and Algorithms for the Construction and …, 2003892003
2-) A typed assembly language for non-interferenceR Medel, A Compagnoni, E BonelliItalian Conference on Theoretical Computer Science, 360-374, 2005372005
3-) Information flow analysis for a typed assembly language with polymorphic stacksE Bonelli, A Compagnoni, R MedelInternational Workshop on Construction and Analysis of Safe, Secure, and …, 2005142005
4-) Non-interference for a typed assembly languageR Medel, A Compagnoni, E BonelliFoundations of Computer Security, 67, 2005122005
5-) SIFTAL: A typed assembly language for secure information flow analysisE Bonelli, A Compagnoni, R MedelInformal Proceedings of FCS 5, 2004122004