890 search results - page 127 / 178 » Programming language methods in computer security |
CC
2007
Springer
14 years 4 months ago
2007
Springer
Reference counting is a classical garbage collection method. Recently, a series of papers have extended the basic method to drastically reduce its notorious overhead and extend the...
COMSWARE
2006
IEEE
14 years 3 months ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
CCS
2005
ACM
14 years 3 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
NSDI
2004
13 years 11 months ago
2004
Over the past few years, a relatively new computing phenomenon has gained momentum: the spread of "spyware." Though most people are aware of spyware, the research commun...
ICALP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract An encryption scheme is non-malleable if the adversary cannot transform a ciphertext into one of a related message under the given public key. Although providing a very st...