91 results on '"Stubblebine, Stuart"'
Search Results
2. Reducing the Dependence of SPKI/SDSI on PKI
3. A Formal Privacy System and Its Application to Location Based Services
4. Secure Distributed Human Computation
5. Certifying Data from Multiple Sources
6. Secure Distributed Computing in a Commercial Environment
7. Authentic Third-Party Data Publication
8. Authentic Attributes with Fine-Grained Anonymity Protection
9. Fair On-Line Auctions without Special Trusted Parties
10. Group Principals and the Formalization of Anonymity
11. Publicly verifiable lotteries: Applications of delaying functions
12. Unlinkable serial transactions
13. Cryptographic verification of test coverage claims
14. Reasoning about Message Integrity
15. Temporarily hidden bit commitment and lottery applications
16. A General Model for Authenticated Data Structures
17. Secure Distributed Human Computation
18. An authentication logic with formal semantics supporting synchronization, revocation, and regency
19. Stack and queue integrity on hostile platforms
20. Reducing the Dependence of SPKI/SDSI on PKI
21. Secure Distributed Human Computation
22. A Formal Privacy System and Its Application to Location Based Services
23. A Chat at the Old Phishin’ Hole
24. A Chat at the Old Phishin’ Hole
25. Secure Distributed Computing in a Commercial Environment
26. Authentic Third-Party Data Publication
27. Authentic Attributes with Fine-Grained Anonymity Protection
28. Fair On-Line Auctions without Special Trusted Parties
29. Group Principals and the Formalization of Anonymity
30. Publicly verifiable lotteries: Applications of delaying functions
31. Unlinkable serial transactions
32. Authentic Attributes with Fine-Grained Anonymity Protection
33. Reducing the Dependence of Trust-Management Systems on PKI
34. Temporarily hidden bit commitment and lottery applications
35. On countering online dictionary attacks with login histories and humans-in-the-loop
36. Flexible authentication of XML documents
37. Session details: Privacy/anonymity
38. Authentic data publication over the Internet1
39. Certifying data from multiple sources [Extended Abstract]
40. Reducing the Dependence of SPKI/SDSI on PKI.
41. Secure Distributed Human Computation.
42. A Formal Privacy System and Its Application to Location Based Services.
43. Software engineering for security.
44. Cryptographic verification of test coverage claims
45. Unlinkable serial transactions
46. Authentication metric analysis and design
47. Resilient authentication using path independence
48. Cryptographic verification of test coverage claims
49. Path independence for authentication in large-scale systems
50. An authentication logic supporting synchronization, revocation, and recency
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.