Verified implementations of the information card federated identity-management protocol.

Karthikeyan Bhargavan, Cdric Fournet, Andrew D. Gordon, Nikhil Swamy

Browse the full CCS paper archive.