Another day, another cryptographic protocol analysis writeup for Everything2. This time I covered the type flaw attack; a particularly devious vulnerability that is invisible to many formal analytic techniques.
Another day, another cryptographic protocol analysis writeup for Everything2. This time I covered the type flaw attack; a particularly devious vulnerability that is invisible to many formal analytic techniques.

Graeme Taylor
University of Bristol
About this blog