Handling Algebraic Properties in Automatic Analysis of Security Protocols.

Yohan Boichut, Pierre-Cyrille Ham, Olga Kouchnarenko

Browse the full ICTAC paper archive.