40 search results - page 1 / 8 » Encoding information flow in Aura |
PLDI
2009
ACM
14 years 2 days ago
2009
ACM
IJCNN
2006
IEEE
13 years 11 months ago
2006
IEEE
—The AURA k-Nearest Neighbour classifier associates binary input and output vectors, forming a compact binary Correlation Matrix Memory (CMM). For a new input vector, matching ve...
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...
CSFW
2012
IEEE
11 years 7 months ago
2012
IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...
CSFW
2007
IEEE
13 years 9 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...