1183 search results - page 32 / 237 » On flow-sensitive security types |
151
click to vote
IACR
2011
14 years 4 months ago
2011
In this paper, we study the complexity of secure multiparty computation using only the secure arithmetic black-box of a finite field, counting the cost by the number of secure m...
144
click to vote
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
136
click to vote
CCS
2003
ACM
15 years 8 months ago
2003
ACM
We describe LEAP (Localized Encryption and Authentication Protocol), a key management protocol for sensor networks that is designed to support in-network processing, while at the ...
169
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
While a large body of research on image-based authentication has focused on memorability, comparatively less attention has been paid to the new security challenges these schemes m...
154
click to vote
POPL
2012
ACM
13 years 12 months ago
2012
ACM
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...