A Formal Approach for Automated Reasoning about Off-Line and Undetectable On-Line Guessing.

Bogdan Groza, Marius Minea

Browse the full FC paper archive.