A Symbolic Intruder Model for Hash-Collision Attacks

Details A Symbolic Intruder Model for Hash-Collision Attacks A Symbolic Intruder Model for Hash-Collision Attacks

2006-11-28

arxiv.org/abs/cs/0611142v1

CSTVA'06, France (25/09/2006)

Computer Science

Cryptography and Security

Scientific paper

In the recent years, several practical methods have been published to compute collisions on some commonly used hash functions. In this paper we present a method to take into account, at the symbolic level, that an intruder actively attacking a protocol execution may use these collision algorithms in reasonable time during the attack. Our decision procedure relies on the reduction of constraint solving for an intruder exploiting the collision properties of hush functions to constraint solving for an intruder operating on words.

Affiliated with

Also associated with

No associations

Rating

A Symbolic Intruder Model for Hash-Collision Attacks does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Symbolic Intruder Model for Hash-Collision Attacks, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Symbolic Intruder Model for Hash-Collision Attacks will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-350549