2290 search results - page 96 / 458 » Extensible Protected Types |
107
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. MicroArchitectural Attacks (MA), which can be considered as a special form of SideChannel Analysis, exploit microarchitectural functionalities of processor implementation...
94
Voted
ECIS
2001
15 years 3 months ago
2001
The World Wide Web originally provided no security services because it was not designed to support sensitive applications. As the Web evolved to become a platform for all types of...
115
Voted
IFIP11
2004
15 years 3 months ago
2004
This paper proposes a formal model of the Bellare-Rogaway type [1] that enables one to prove the security of an anonymous credential system in a complexity theoretic framework. Th...
108
Voted
C++
1994
15 years 3 months ago
1994
ne the design and detail the implementation of a language extension for abstracting types and for decoupling subtyping and inheritance in C++. This extension gives the user more of...
115
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...