micinski.bib

@inproceedings{micinski:apptracer,
  author = {Kristopher Micinski and Daniel Votipka and Rock Stevens and Nikolaos Kofinas and Jeffrey S. Foster and Michelle L. Mazurek},
  title = {User Interactions and Permission Use on Android},
  booktitle = {ACM CHI Conference on Human Factors in Computing Systems (CHI '17)},
  url = {http://cs.umd.edu/~micinski/apptracer-2017.pdf},
  year = {2017},
  address = {Denver, CO}
}
@inproceedings{micinski:esorics15,
  author = {Kristopher Micinski and Jonathan Fetter-Degges and Jinseong Jeon and Jeffrey S. Foster and Michael R. Clarkson},
  title = {{Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution}},
  booktitle = {European Symposium on Research in Computer Security (ESORICS)},
  pages = {520--538},
  year = {2015},
  url = {http://www.cs.cornell.edu/~clarkson/papers/clarkson_clickrelease.pdf},
  volume = {9327},
  series = {Lecture Notes in Computer Science},
  address = {Vienna, Austria},
  month = {September}
}
@inproceedings{micinski:most13,
  author = {Kristopher Micinski and Philip Phelps and Jeffrey S. Foster},
  title = {{An Empirical Study of Location Truncation on Android}},
  booktitle = {Mobile Security Technologies (MoST)},
  year = {2013},
  url = {http://www.cs.umd.edu/~jfoster/papers/most13.pdf},
  address = {San Francisco, CA},
  month = {May}
}
@inproceedings{jeon:spsm12,
  author = {Jinseong Jeon and Kristopher K. Micinski and Jeffrey A. Vaughan and Ari Fogel and Nikhilesh Reddy and Jeffrey S. Foster and Todd Millstein},
  title = {{Dr. Android and Mr. Hide: Fine-grained Permissions in Android Applications}},
  booktitle = {ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM)},
  pages = {3--14},
  year = {2012},
  url = {http://cs.umd.edu/~jfoster/papers/spsm12.pdf},
  address = {Raleigh, NC, USA},
  month = {October}
}
@incollection{clarkson:post14,
  year = {2014},
  isbn = {978-3-642-54791-1},
  booktitle = {Principles of Security and Trust},
  volume = {8414},
  series = {Lecture Notes in Computer Science},
  editor = {Abadi, Martín and Kremer, Steve},
  doi = {10.1007/978-3-642-54792-8_15},
  title = {Temporal Logics for Hyperproperties},
  url = {http://cs.umd.edu/~micinski/post14.pdf},
  publisher = {Springer Berlin Heidelberg},
  author = {Clarkson, Michael R. and Finkbeiner, Bernd and Koleini, Masoud and Micinski, KristopherK. and Rabe, Markus N. and Sánchez, César},
  pages = {265-284},
  language = {English}
}
@techreport{jeon:cs-tr-5022,
  author = {Jinseong Jeon and Kristopher K. Micinski and Jeffrey S. Foster},
  title = {{SymDroid: Symbolic Execution for Dalvik Bytecode}},
  institution = {Department of Computer Science, University of Maryland, College Park},
  year = {2012},
  url = {http://www.cs.umd.edu/~jfoster/papers/cs-tr-5022.pdf},
  number = {CS-TR-5022},
  month = {July}
}