Security Types Preserving Compilation

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-540-24622-0_2 ◽

2004 ◽

pp. 2-15 ◽

Author(s):

Gilles Barthe ◽

Amitabh Basu ◽

Tamara Rezk

Download Full-text