Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. Micinski, K. K., Fetter-Degges, J., Jeon, J., Foster, J. S., & Clarkson, M. R. CoRR, 2015.
Paper bibtex @article{DBLP:journals/corr/MicinskiFJFC15,
author = {Kristopher K. 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},
journal = {CoRR},
volume = {abs/1504.03711},
year = {2015},
url = {http://arxiv.org/abs/1504.03711},
eprinttype = {arXiv},
eprint = {1504.03711},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MicinskiFJFC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"xrc2iKi5Sm6bQ4Pe4","bibbaseid":"micinski-fetterdegges-jeon-foster-clarkson-checkinginteractionbaseddeclassificationpoliciesforandroidusingsymbolicexecution-2015","downloads":0,"creationDate":"2015-07-05T22:30:01.517Z","title":"Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution","author_short":["Micinski, K. K.","Fetter-Degges, J.","Jeon, J.","Foster, J. S.","Clarkson, M. R."],"year":2015,"bibtype":"article","biburl":"http://dblp.org/pers/tb2/j/Jeon:Jinseong","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Kristopher","K."],"propositions":[],"lastnames":["Micinski"],"suffixes":[]},{"firstnames":["Jonathan"],"propositions":[],"lastnames":["Fetter-Degges"],"suffixes":[]},{"firstnames":["Jinseong"],"propositions":[],"lastnames":["Jeon"],"suffixes":[]},{"firstnames":["Jeffrey","S."],"propositions":[],"lastnames":["Foster"],"suffixes":[]},{"firstnames":["Michael","R."],"propositions":[],"lastnames":["Clarkson"],"suffixes":[]}],"title":"Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution","journal":"CoRR","volume":"abs/1504.03711","year":"2015","url":"http://arxiv.org/abs/1504.03711","eprinttype":"arXiv","eprint":"1504.03711","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/MicinskiFJFC15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/MicinskiFJFC15,\n author = {Kristopher K. Micinski and\n Jonathan Fetter{-}Degges and\n Jinseong Jeon and\n Jeffrey S. Foster and\n Michael R. Clarkson},\n title = {Checking Interaction-Based Declassification Policies for Android Using\n Symbolic Execution},\n journal = {CoRR},\n volume = {abs/1504.03711},\n year = {2015},\n url = {http://arxiv.org/abs/1504.03711},\n eprinttype = {arXiv},\n eprint = {1504.03711},\n timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/MicinskiFJFC15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Micinski, K. K.","Fetter-Degges, J.","Jeon, J.","Foster, J. S.","Clarkson, M. R."],"key":"DBLP:journals/corr/MicinskiFJFC15","id":"DBLP:journals/corr/MicinskiFJFC15","bibbaseid":"micinski-fetterdegges-jeon-foster-clarkson-checkinginteractionbaseddeclassificationpoliciesforandroidusingsymbolicexecution-2015","role":"author","urls":{"Paper":"http://arxiv.org/abs/1504.03711"},"metadata":{"authorlinks":{"jeon, j":"http://www.cs.umd.edu/~jsjeon/dblp.html"}},"downloads":0},"search_terms":["checking","interaction","based","declassification","policies","android","using","symbolic","execution","micinski","fetter-degges","jeon","foster","clarkson"],"keywords":[],"authorIDs":["5599afe9f8b71a5307001b66","5e10ec6f45c12cde010000af","5e20388502c04cde0100016b","5e210e8dc63e88df010000a8","sPLnowbQ4HhFxcszm"],"dataSources":["5gWsbsooR8f5Eey2m"]}