Author of the publication

A Typed Assembly Language for Non-interference.

, , and . ICTCS, volume 3701 of Lecture Notes in Computer Science, page 360-374. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks., , and . CASSIS, volume 3956 of Lecture Notes in Computer Science, page 37-56. Springer, (2005)A Typed Assembly Language for Non-interference., , and . ICTCS, volume 3701 of Lecture Notes in Computer Science, page 360-374. Springer, (2005)A Framework for Execution of Secure Mobile Code based on Static Analysis., , , , and . SCCC, page 59-66. IEEE Computer Society, (2004)Our experiences teaching functional programming at University of Rio Cuarto (Argentina)., , and . ACM SIGCSE Bull., 30 (2): 28-30 (1998)Experimental Analysis of Different Techniques for Bounded Model Checking., , , and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 34-48. Springer, (2003)