PPT-Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS

Author : natalia-silvester | Published Date : 2018-02-08

Chad Brubaker 1 Suman Jana 1 Baishakhi Ray 2 Sarfraz Khurshid 1 Vitaly Shmatikov 1 1 University of Texas at Austin 2 University of California at Davis Internet

Presentation Embed Code

Download Presentation

Download Presentation The PPT/PDF document "Using Frankencerts for Automated Adver..." is the property of its rightful owner. Permission is granted to download and print the materials on this website for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.

Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS: Transcript

Chad Brubaker 1 Suman Jana 1 Baishakhi Ray 2 Sarfraz Khurshid 1 Vitaly Shmatikov 1 1 University of Texas at Austin 2 University of California at Davis Internet . Automated testing always results in improved software quality 2 Every application development project or testing team can use automated testing tools 3 Automated testing is an all or nothing proposition brPage 3br Three Realities of Automated Testin Bindu Laxminarayan. bindu@hexbytes.com. Design Patterns in Automated Testing. Test Automation. Design Patterns . Zen Cart Shopping Application. Component Pattern. Template . Design Pattern. Domain Test . Test Automation. Manual testing is laborious and time consuming.. Computer automation has transformed many sectors of our economy. Why not direct the same technology at the laborious aspects of software testing?. Edison CTO Executive Meeting, 2009. Scott Fraser, CTO/Co-Founder. Portico Systems. Automated Builds at Portico – Anthill. Anthill Pro. Automated Build Workflow at Portico. Build FAIL Fun. Build FAIL Spawn. Alex . Groce. , Alan Fern, Jervis Pinto, Tim Bauer, Mohammad Amin . Alipour. , Martin . Erwig. and Camden . Lopez. Oregon State University. Part I: Lightweight Testing. API-Based Testing. Stateful. software system. Donna Moy . dxm06u. Test Planning and Preparation. Presentation Content. Introduction to test planning and preparation. Why is planning and preparation important?. Types of Automated Testing. Choosing what to Automate (Automation Checklist). By Rohen Shah – rxs07u. Introduction. Different methodologies used. Different types of testing tools. Most commonly used testing . tools. Summary. Testing Tools. Humans are prone to make mistakes and so may not be as efficient i.e. missing out code that causes error in program.. REGRESSION . TESTING. - Sriram Angajala. SKILLS MATTER – 11 AUG 2016. https://uk.linkedin.com/in/sriram-angajala-91a77852. Sriram.angajala@gmail.com. Sriram . Angajala . Agenda. Introduction. Why VRT?. and. Due Process:. Transparency in. Expert Software Systems. AAFS 2016. By. Nathan Adams – . Adams@Bioforensics.com. Dan . Krane. – . Dan.Krane@Wright.edu. Financial disclosure. Employees of Forensic . 5. Software . Validation. © Oscar Nierstrasz. ESE — Software Validation. ESE 5.. 2. Roadmap. Reliability, Failures and Faults. Fault Avoidance . Fault Tolerance. Verification and Validation. The Testing process. Transparency in. Expert Software Systems. AAFS 2016. By. Nathan Adams – . Adams@Bioforensics.com. Dan . Krane. – . Dan.Krane@Wright.edu. Financial disclosure. Employees of Forensic . Bioinformatic. Vetting SSL Usage in Applications with SSLINT Boyuan He [1] , Vaibhav Rastogi [2] , Yinzhi Cao [3] , Yan Chen [2][1] , Venkat Venkatakrishnan [4] , Runqing Yang [1] , Zhenrui Zhang [1] draft-huston-rpki-validation-01.txt. Geoff Huston. George . Michaelson. APNIC. Slide . 1. /19. Motivation. The current model of validation, when applied to the RIR model of resource distribution, has lead us to an intricate system of multiple certificates with complex transitional states with a high degree of fragility. Antoine Delignat-Lavaud. Cédric Fournet, Markulf Kohlweiss,. Bryan Parno. X.509. V.C.. with the Magic of Verifiable Computation. The X.509 Public Key Infrastructure (1988). Endpoint certificate. Intermediate Certificate Authority certificate.

Download Document

Here is the link to download the presentation.
"Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS"The content belongs to its owner. You may download and print it for personal use, without modification, and keep all copyright notices. By downloading, you agree to these terms.