Partial Order Reductions for Security Protocol Verification.

Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero

Browse the full TACAS paper archive.