187 search results - page 11 / 38 » Secure information flow and program logics |
TCS
2010
14 years 7 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...
ISMVL
2010
IEEE
15 years 2 months ago
2010
IEEE
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
63
Voted
CSFW
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
102
Voted
MSCS
2006
14 years 9 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
177
Voted
POPL
2004
ACM
15 years 9 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...