42 search results - page 9 / 9 » Policies and Proofs for Code Auditing |
TOCS
2002
13 years 5 months ago
2002
This paper presents secure program partitioning, a language-based technique for protecting confidential data during computation in distributed systems containing mutually untruste...
TCS
2010
13 years 3 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...