SSL/TLS Analysis
Model Checking for Security
SSL/TLS Analysis Anupam Datta CMU Fall 2009 18739A: Foundations of Security and Privacy.