45 search results - page 1 / 9 » Encoding Information Flow in Haskell |
CSFW
2006
IEEE
13 years 11 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...
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...
ICFP
2012
ACM
11 years 7 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
PLDI
2009
ACM
13 years 11 months ago
2009
ACM
ENTCS
2008
13 years 5 months ago
2008
We argue that a realistic model for quantum computations should be general with respect to measurements, and complete with respect to the information flow between the quantum and ...