2079 search results - page 61 / 416 » Quantifying Information Flow |
TCS
2010
13 years 6 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...
MIDDLEWARE
2007
Springer
14 years 1 months ago
2007
Springer
Although there is a large body of research on detection and prevention of such memory corruption attacks as buffer overflow, integer overflow, and format string attacks, the web...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
This paper shows how a corpus of instant messages can be employed to detect de facto communities of practice automatically. A novel algorithm based on the concept of Edge Stress F...
IEEEARES
2010
IEEE
14 years 2 months ago
2010
IEEE
PLDI
2009
ACM
14 years 2 months ago
2009
ACM