POSTER: Towards Precise and Automated Verification of Security Protocols in Coq.

Hernan M. Palombo, Hao Zheng, Jay Ligatti

Browse the full CCS paper archive.