1656 search results - page 187 / 332 » Secure Computation Without Authentication |
SIGUCCS
2003
ACM
14 years 3 months ago
2003
ACM
Customers of public computing sites and faculty who use the public computer classrooms to teach want diversity in computing. Inevitably, there’s a group that does not want to te...
OOPSLA
2007
Springer
14 years 4 months ago
2007
Springer
Adaptive Programming allows developers to write structureshy programs. However, in Adaptive Programming, recursive computations are known to require a good deal of boiler plate co...
DSN
2007
IEEE
14 years 4 months ago
2007
IEEE
HTTP cookies have been widely used for maintaining session states, personalizing, authenticating, and tracking user behaviors. Despite their importance and usefulness, cookies hav...
SOUPS
2010
ACM
14 years 2 months ago
2010
ACM
Text-based passwords are still the most commonly used authentication mechanism in information systems. We took advantage of a unique opportunity presented by a significant change...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...