Showing 1 - 10 of 14 results for the Author - carnegie mellon university) Secure Coding
In this report, the authors describe Android secure coding rules, guidelines, and static analysis developed as part of the Mobile SCALe project.
In this paper, the authors describe the development of a secure coding module that shows how to capture content, ensure learning, and scale to meet demand.
Presentation on research by CMU and SEI to develop a novel programming language for secure blockchain software development
In this presentation at the SOAP 2014 workshop, the authors describe their taint flow analysis for Android applications.
In this report, the authors present the as-if infinitely ranged (AIR) integer model, a mechanism for eliminating integral exceptional conditions.
In this presentation, the authors describe their work to develop and test API design principles.
In this presentation, the authors describe how to use DidFail, a tool that detects potential leaks of sensitive information in Android apps.
This ISSRE 2010 paper describes the AIR Integer model for eliminating vulnerabilities resulting from integer overflow, truncation, and unanticipated wrapping.
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.
In this poster, the authors analyze the usability of application programming interface design.