32032 search results - page 128 / 6407 » Verified programming in Guru |
122
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the
126
click to vote
ASIACRYPT
2003
Springer
15 years 8 months ago
2003
Springer
We describe slightly modified version (that we call the HOT protocol) of the Aiello-Ishai-Reingold oblivious transfer protocol from
121
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
We describe reference implementations for selected configurations of the user authentication protocol defined by the Information Card
103
click to vote
TROB
2008
15 years 4 months ago
2008
In this study, we examine, for a six-link snake robot, how an optimal gait might change as a function of the snake
