2108 search results - page 316 / 422 » Encrypted |
108
click to vote
CCS
2009
ACM
15 years 9 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
121
click to vote
CCS
2009
ACM
15 years 9 months ago
2009
ACM
Secure identity tokens such as Electronic Identity (eID) cards are emerging everywhere. At the same time usercentric identity management gains acceptance. Anonymous credential sch...
123
click to vote
CTRSA
2009
Springer
15 years 9 months ago
2009
Springer
CTC is a toy cipher designed in order to assess the strength of algebraic attacks. While the structure of CTC is deliberately weak with respect to algebraic attacks, it was claimed...
109
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Social networking sites, such as MySpace, Facebook and Flickr, are gaining more and more popularity among Internet users. As users are enjoying this new style of networking, pri...
133
Voted
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—With the abundance of location-aware portable devices such as cellphones and PDAs, a new emerging application is to use this pervasive computing platform to learn about the wher...