Verified Contributive Channel Bindings for Compound Authentication.

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Alfredo Pironti

Browse the full NDSS paper archive.