Toggle navigation
Ralph Holz
Home
News
Bio
Publications
Advising
Teaching
Contact
Automated Analysis of Secure Internet of Things Protocols
Jun Young Kim, Ralph Holz, Wen Hu, Sanjay Jha
Twitter
Email
Abstract
Publication
Proc. Annual Computer Security Applications Conference (ACSAC)
Date
December 2017
Links
PDF
←
In Log We Trust: Revealing Poor Security Practices with Certificate Transparency Logs and Internet Measurements
Mission accomplished? HTTPS security after DigiNotar
→