Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Alfredo Pironti. Verified Contributive Channel Bindings for Compound Authentication. In 22nd Annual Network and Distributed System Security Symposium, NDSS 2015, San Diego, California, USA, February 8-11, 2014. The Internet Society, 2015. [doi]
Abstract is missing.