Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

William Klieber
April 2017 - Video SEI Cyber Minute: Automated Code Repair

Authors: William Klieber

Watch Will Klieber in this SEI Cyber Minute as he discusses "Automated Code Repair".

November 2016 - Conference Paper Automated Code Repair Based on Inferred Specifications

Topics: Secure Coding

Authors: William Klieber, William Snavely

In this paper, the authors describe automated repairs for three types of bugs: integer overflows, missing array bounds checks, and missing authorization checks.

November 2016 - Presentation Automated Code Repair

Authors: William Klieber

Work aims to develop technique to eliminate security vulnerabilities at a lower cost than manual repair

October 2016 - Poster Automated Code Repair

Authors: William Klieber

Integer overflow in calculations related to array bounds or indices is almost always a bug

November 2015 - Webinar Using DidFail to Analyze Flow of Sensitive Information in Sets of Android Apps

Topics: Cyber Risk and Resilience Management, Cybersecurity Engineering, Network Situational Awareness

Authors: Lori Flynn, William Klieber

Will Klieber and Lori Flynn discuss undesired flows of sensitive information within and between Android apps.

October 2015 - Article Smartphone Security

Topics: Secure Coding

Authors: Lori Flynn, William Klieber

In this article, the authors discuss various smartphone security issues and present tools and strategies to address them.

March 2015 - Technical Report Making DidFail Succeed: Enhancing the CERT Static Taint Analyzer for Android App Sets

Topics: Secure Coding

Authors: Jonathan Burket, Lori Flynn, Will Klieber, Jonathan Lim, Wei Shen, William Snavely

In this report, the authors describe how the DidFail tool was enhanced to improve its effectiveness.

May 2014 - Conference Paper Android Taint Flow Analysis for App Sets

Topics: Secure Coding

Authors: Will Klieber, Lori Flynn, Amar S. Bhosale (Carnegie Mellon Heinz School), Limin Jia (Carnegie Mellon University, Department of Electrical and Computer Engineering), Lujo Bauer (Carnegie Mellon University, Department of Electrical and Computer Engineering)

This paper describes a new static taint flow analysis that precisely tracks both inter-component and intra-component data flow in a set of Android applications.