On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols.

Yongyuth Permpoontanalarp

Browse the full FORTE paper archive.