5476 search results - page 311 / 1096 » Resettably Secure Computation |
184
click to vote
NSPW
2006
ACM
16 years 22 days ago
2006
ACM
Over the last several years, there has been an emerging interest in the development of widearea data collection and analysis centers to help identify, track, and formulate respons...
173
Voted
ASM
2005
ASM
16 years 9 days ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
157
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract We present a computational analysis of basic Kerberos with and without its public-key extension PKINIT in which we consider authentication and key secrecy properties. Our ...
197
Voted
CRYPTO
2001
Springer
15 years 11 months ago
2001
Springer
Consider a network of processors among which elements in a finite field K can be verifiably shared in a constant number of rounds. Assume furthermore constant-round protocols ar...
177
click to vote
MOBISYS
2011
ACM
14 years 9 months ago
2011
ACM
The rapid growth of mobile malware necessitates the presence of robust malware detectors on mobile devices. However, running malware detectors on mobile devices may drain their ba...