116 search results - page 3 / 24 » CoPS - Checker of Persistent Security |
CCS
2007
ACM
13 years 11 months ago
2007
ACM
This paper presents a new approach to dynamically monitoring operating system kernel integrity, based on a property called state-based control-flow integrity (SBCFI). Violations ...
ESORICS
2009
Springer
14 years 6 months ago
2009
Springer
Authenticated dictionaries allow users to send lookup requests to an untrusted server and get authenticated answers. Persistent authenticated dictionaries (PADs) add queries agains...
PET
2009
Springer
13 years 12 months ago
2009
Springer
We present the Vida family of abstractions of anonymous communication systems, model them probabilistically and apply Bayesian inference to extract patterns of communications and u...
SIGOPSE
1996
ACM
13 years 9 months ago
1996
ACM
The growth and popularity of loosely-coupled distributed systems such as the World Wide Web and the touting of Java-based systems as the solution to the issues of software mainten...
CORR
2002
Springer
13 years 5 months ago
2002
Springer
A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the t...