102291 search results - page 19944 / 20459 » Computing |
114
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Cross-Site Request Forgery (CSRF) is a widely exploited web site vulnerability. In this paper, we present a new variation on CSRF attacks, login CSRF, in which the attacker forges...
142
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
153
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
By functionally decomposing a specific algorithm (the hierarchical secure aggregation algorithm of Chan et al. [3] and Frikken et al. [7]), we uncover a useful general functionali...
151
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Harvard architecture CPU design is common in the embedded world. Examples of Harvard-based architecture devices are the Mica family of wireless sensors. Mica motes have limited me...
144
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...