Publications tagged "android"

Journal, Conference, and Workshop Papers

2015

Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution
Kristopher Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, and Michael R. Clarkson
In European Symposium on Research in Computer Security (ESORICS), volume 9327 of Lecture Notes in Computer Science, pages 520–538, Vienna, Austria, September 2015.
tags: android, security, symbolic exec
[ bibtex | doi ]

2013

An Empirical Study of Location Truncation on Android
Kristopher Micinski, Philip Phelps, and Jeffrey S. Foster
In Mobile Security Technologies (MoST), San Francisco, CA, May 2013.
tags: android, security
[ bibtex ]

2012

Dr. Android and Mr. Hide: Fine-grained Permissions in Android Applications
Jinseong Jeon, Kristopher K. Micinski, Jeffrey A. Vaughan, Ari Fogel, Nikhilesh Reddy, Jeffrey S. Foster, and Todd Millstein
In ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM), pages 3–14, Raleigh, NC, USA, October 2012.
tags: analysis, android, security
[ bibtex | doi ]

Technical Reports

Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution
Kristopher Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, and Michael R. Clarkson
Technical Report arXiv:1504.03711, CoRR, July 2015.
tags: android, security
[ bibtex ]

Troyd: Integration Testing for Android
Jinseong Jeon and Jeffrey S. Foster
Technical Report CS-TR-5013, Department of Computer Science, University of Maryland, College Park, August 2012.
tags: android
[ bibtex | doi ]

SymDroid: Symbolic Execution for Dalvik Bytecode
Jinseong Jeon, Kristopher K. Micinski, and Jeffrey S. Foster
Technical Report CS-TR-5022, Department of Computer Science, University of Maryland, College Park, July 2012.
tags: android, security, symbolic exec
[ bibtex | doi ]

Dr. Android and Mr. Hide: Fine-grained security policies on unmodified Android
Jinseong Jeon, Kristopher K. Micinski, Jeffrey A. Vaughan, Nikhilesh Reddy, Yixin Zhu, Jeffrey S. Foster, and Todd Millstein
Technical Report CS-TR-5006, Department of Computer Science, University of Maryland, College Park, December 2011.
tags: android, security
[ bibtex | doi ]

Application-centric security policies on unmodified Android
Nikhilesh Reddy, Jinseong Jeon, Jeffrey A. Vaughan, Todd Millstein, and Jeffrey S. Foster
Technical Report UCLA TR 110017, University of California, Los Angeles, Computer Science Department, July 2011.
tags: android, security
[ bibtex ]

SCanDroid: Automated Security Certification of Android Applications
Adam P. Fuchs, Avik Chaudhuri, and Jeffrey S. Foster
Technical Report CS-TR-4991, Department of Computer Science, University of Maryland, College Park, November 2009.
tags: analysis, android, security
[ bibtex | doi ]