Showing 1 - 10 of 12 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.
In this presentation, the authors describe their work to develop and test API design principles.
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 how to use DidFail, a tool that detects potential leaks of sensitive information in Android apps.
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.
This ISSRE 2010 paper describes the AIR Integer model for eliminating vulnerabilities resulting from integer overflow, truncation, and unanticipated wrapping.
In this poster, the authors analyze the usability of application programming interface design.
In this paper, the authors compare Cilk Plus and OpenMP to evaluate the design tradeoffs in the usability and security of these two approaches.