860 search results - page 97 / 172 » Completeness in two-party secure computation: a computationa... |
162
click to vote
TYPES
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
155
click to vote
NSPW
2006
ACM
16 years 7 days ago
2006
ACM
What would a PKI look like if it were designed for implementability and deployability rather than strict adherence to a particular theoretical or mathematical model? This paper pr...
172
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Command-oriented functional programs are currently structured in an ad hoc way that makes the development of multiple userinterfaces difficult and error prone, and makes it diffic...
165
click to vote
IROS
2009
IEEE
16 years 27 days ago
2009
IEEE
— The problem of accurate 6-DoF pose estimation of 3D objects based on their shape has so far been solved only for specific object geometries. Edge-based recognition and trackin...
163
click to vote
CW
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a novel solution to problems associated with interactive display of immersive stereographic imagery via Apple’s QuickTime Virtual Reality (QTVR) technology....