95 search results - page 12 / 19 » Privacy is Not an Option: Attacking the IPv6 Privacy Extensi... |
135
Voted
ESORICS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
109
Voted
ESORICS
2004
Springer
15 years 7 months ago
2004
Springer
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...
109
click to vote
ESORICS
2008
Springer
15 years 3 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...
123
Voted
ACSAC
2010
IEEE
14 years 12 months ago
2010
IEEE
New security architectures are difficult to prototype and test at the design stage. Fine-grained monitoring of the interactions between hardware, the operating system, and applica...
140
Voted
JSW
2008
15 years 1 months ago
2008
Due to the cost pressure on the health care system an increase in the need for electronic healthcare records (EHR) could be observed in the last decade, because EHRs promise massiv...