Sciweavers

22018 search results - page 177 / 4404
» or 2004
Sort
View
ASIACRYPT
2004
Springer
16 years 15 days ago
k-Times Anonymous Authentication (Extended Abstract)
Isamu Teranishi, Jun Furukawa, Kazue Sako
ASIAN
2004
Springer
112views Algorithms» more  ASIAN 2004»
16 years 15 days ago
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...