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

Showing 1 - 8 of 8 results for the Author - will klieber Secure Coding

Technical Report | November 2013 - Technical Report Mobile SCALe: Rules and Analysis for Secure Java and ... By Lujo Bauer (Carnegie Mellon University - Department of Electrical and Computer Engineering), Lori Flynn, Limin Jia (Carnegie Mellon University - Department of Electrical and Computer Engineering), Will Klieber, Fred Long, Dean F. Sutherland, David Svoboda

In this report, the authors describe Android secure coding rules, guidelines, and static analysis developed as part of the Mobile SCALe project.

Conference Paper | November 2016 - Conference Paper Automated Code Repair Based on Inferred Specifications By 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.

Technical Report | July 2017 - Technical Report DidFail: Coverage and Precision Enhancement By Karan Dwivedi (No Affiliation), Hongli Yin (No Affiliation), Pranav Bagree (No Affiliation), Xiaoxiao Tang (No Affiliation), Lori Flynn, William Klieber, William Snavely

This report describes recent enhancements to Droid Intent Data Flow Analysis for Information Leakage (DidFail), the CERT static taint analyzer for sets of Android apps.

Technical Report | March 2015 - Technical Report Making DidFail Succeed: Enhancing the CERT Static Taint ... By 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.

Article | October 2015 - Article Smartphone Security By Lori Flynn, William Klieber

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

Presentation | June 2015 - Presentation Using DidFail to Analyze Flow of Sensitive Information in Sets ... By William 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)

In this presentation, the authors describe how to use DidFail, a tool that detects potential leaks of sensitive information in Android apps.

Presentation | June 2014 - Presentation Android Taint Flow Analysis for App Sets By 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)

In this presentation at the SOAP 2014 workshop, the authors describe their taint flow analysis for Android applications.

Conference Paper | May 2014 - Conference Paper Android Taint Flow Analysis for App Sets By 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.