ESORICS
2008
Springer
14 years 1 months ago
2008
Springer
ESORICS
2008
Springer
14 years 1 months ago
2008
Springer
ESORICS
2008
Springer
14 years 1 months ago
2008
Springer
In this paper, we present the security implications of x86 processor bugs or backdoors on operating systems and virtual machine monitors. We will not try to determine whether the b...
ESORICS
2008
Springer
14 years 1 months ago
2008
Springer
Gathering and processing sensitive data is a difficult task. In fact, there is no common recipe for building the necessary information systems. In this paper, we present a provably...
ESORICS
2008
Springer
14 years 1 months ago
2008
Springer
ESORICS
2008
Springer
14 years 1 months ago
2008
Springer
Current tools for analysing information flow in programs build upon ideas going back to Denning's work from the 70's. These systems enforce an imperfect notion of informa...
ESORICS
2008
Springer
14 years 1 months ago
2008
Springer
The mifare Classic is a contactless smart card that is used extensively in access control for office buildings, payment systems for public transport, and other applications. We rev...
ESORICS
2008
Springer
14 years 1 months ago
2008
Springer
The Border Gateway Protocol (BGP) is the de facto inter-domain routing protocol that connects autonomous systems (ASes). Despite its importance for the Internet infrastructure, BGP...
ESORICS
2008
Springer
14 years 1 months ago
2008
Springer
ESORICS
2008
Springer
14 years 1 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...