33 search results - page 4 / 7 » sp 2003 |
SP
2003
IEEE
13 years 11 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
SP
2003
IEEE
13 years 11 months ago
2003
IEEE
A challenging unsolved security problem is how to specify and enforce system-wide security policies; this problem is even more acute in distributed systems with mutual distrust. T...
COCO
2003
Springer
13 years 11 months ago
2003
Springer
We show that if SAT does not have small circuits, then there must exist a small number of satisfiable formulas such that every small circuit fails to compute satisfiability corr...
SP
2007
IEEE
14 years 1 days ago
2007
IEEE
In this paper, we present ShieldGen, a system for automatically generating a data patch or a vulnerability signature for an unknown vulnerability, given a zero-day attack instance...
PGLDB
2003
13 years 7 months ago
2003
This paper describes the project, the development and deployment of a Metro Ethernet Network in the city of Morungaba, SP, Brazil. The Ethernet is a widely deployed technology tha...