1599 search results - page 89 / 320 » Program Analysis for Security and Privacy |
157
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Technology aimed at making life easier for game developers is an issue of controversy among security experts. Objections arise out of concerns of stability of a gamefriendly platf...
177
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
Garbled circuits play a key role in secure computation. Unlike previous work, which focused mainly on efficiency and automation aspects of secure computation, in this paper we foc...
161
click to vote
CCS
2007
ACM
16 years 11 days ago
2007
ACM
Despite the recent advances in the theory underlying obfuscation, there still is a need to evaluate the quality of practical obfuscating transformations more quickly and easily. T...
161
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
152
click to vote
WS
2005
ACM
15 years 11 months ago
2005
ACM
Vehicular networks are likely to become the most relevant form of ad hoc networks. In this paper, we address the security of these networks. We provide a detailed threat analysis ...