1949 search results - page 192 / 390 » Protective Interface Specifications |
127
click to vote
CCS
2009
ACM
15 years 7 months ago
2009
ACM
Device attestation is an essential feature in many security protocols and applications. The lack of dedicated hardware and the impossibility to physically access devices to be att...
141
click to vote
CCS
2007
ACM
15 years 7 months ago
2007
ACM
We describe the formalization of a correctness proof for a conflict detection algorithm for firewalls in the Coq Proof Assistant. First, we give formal definitions in Coq of a fir...
118
click to vote
COMPSAC
2004
IEEE
15 years 6 months ago
2004
IEEE
The influence of architecture in assurance of system safety is being increasingly recognised in mission-critical software applications. Nevertheless, most architectural strategies...
123
click to vote
CCS
2006
ACM
15 years 6 months ago
2006
ACM
Most of the recent work on Web security focuses on preventing attacks that directly harm the browser's host machine and user. In this paper we attempt to quantify the threat ...
129
click to vote
CTRSA
2006
Springer
15 years 6 months ago
2006
Springer
We describe several software side-channel attacks based on inter-process leakage through the state of the CPU's memory cache. This leakage reveals memory access patterns, whic...