CMU

biblio

Visible to the public Inter-app Communication in Android: Developer Challenges

Submitted by Jamie Presken on Tue, 12/06/2016 - 11:08am
biblio

Visible to the public Practical, Formal Synthesis and Automatic Enforcement of Security Policies for Android

Submitted by Jamie Presken on Tue, 12/06/2016 - 11:00am
biblio

Visible to the public Architecture Modeling and Analysis of Security in Android Systems

Submitted by Jamie Presken on Tue, 12/06/2016 - 10:50am
biblio

Visible to the public Finding Security Vulnerabilities that are Architectural Flaws using Constraints

Submitted by Jamie Presken on Tue, 12/06/2016 - 9:27am
biblio

Visible to the public Architecture-Based Run-Time Fault Diagnosis

Submitted by Jamie Presken on Tue, 12/06/2016 - 9:21am