10 search results - page 1 / 2 » ac 1997 |
AC
1997
Springer
15 years 2 months ago
1997
Springer
AC
1997
Springer
15 years 2 months ago
1997
Springer
AC
1997
Springer
15 years 2 months ago
1997
Springer
IJCAI
1997
14 years 11 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...
90
Voted
AC
1997
Springer
15 years 2 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...