2079 search results - page 61 / 416 » Quantifying Information Flow |
108
Voted
TCS
2010
15 years 27 days ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
141
click to vote
MIDDLEWARE
2007
Springer
15 years 8 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...
102
click to vote
WWW
2005
ACM
16 years 3 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...
105
Voted
IEEEARES
2010
IEEE
15 years 9 months ago
2010
IEEE
98
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM