10 search results - page 1 / 2 » ac 1997 |
102
Voted
AC
1997
Springer
15 years 7 months ago
1997
Springer
104
Voted
AC
1997
Springer
15 years 7 months ago
1997
Springer
108
Voted
AC
1997
Springer
15 years 7 months ago
1997
Springer
124
Voted
IJCAI
1997
15 years 4 months ago
1997
Unfailing completion is a commonly used technique for equational reasoning. For equational problems with associative and commutative functions, unfailing completion often generate...
143
Voted
AC
1997
Springer
15 years 7 months ago
1997
Springer
This paper describes the state of the art for cryptographic primitives that are used for protecting the authenticity of information: cryptographic hash functions and digital signat...