miTLS: Verifying Protocol Implementations against Real-World Attacks

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Karthikeyan Bhargavan, Cedric Fournet, Markulf Kohlweiss

Journal title: IEEE Security & Privacy

Journal number: 14/6

Journal publisher: IEEE Computer Society

Published year: 2016

Published pages: 18-25

DOI identifier: 10.1109/MSP.2016.123

ISSN: 1540-7993