Institutional Scholarship

Browsing by Author "Micinski, Kristopher"

Browsing by Author "Micinski, Kristopher"

Sort by: Order: Results:

  • Lytle, Becky (2018)
    Currently, many societally impactful decisions are made by machine learning algorithms. As these algorithms are given more power, we want to ensure that they are not making discriminatory or biased decisions. The past ...
  • Todd, Chandler (2018)
    For my thesis, I will be researching ways to analyze Android Apps and the permissions that they have in order to look at how apps are using and miss using the permissions that they are given. I will be doing this by building ...
  • Ellenburg, Skyler (2018)
    When Android applications request permission to use certain data, the extent to which they use that data and where it goes is often vague, deceptive, or completely ignored by the user. Researchers in this field examine the ...
  • Alliyu, Oluwatosin (2018)
    Androids phones were first introduced late 2008 and has become increasingly popular today. While android phones became increasingly popular so did the Android applications market; not only are more and more people downloading ...
  • Soulanille, Matthew (2019)
    Faceted execution is a technique for dynamic information flow control that allows programmers to program in a policy-agnostic manner. Racets uses macros to extend Racket with support for faceted execution. We present the ...
  • Parker, David (2019)
    Reasoning about information flow is essential when creating a secure system, and faceted execution is one way to ensure that data is only being accessed and modified by processes that have permission to do so. Faceted ...
  • Wan, Austin (2018)
    This paper examines the ideas presented in Van Horn and Might’s 2010 paper, Abstracting Abstract Machines as a recent development of static analysis of programs. The paper consolidates background information on the lambda ...
  • Fisher, Ian (2019)
    This thesis reviews several challenges in the use and implementation of faceted execution, a programming-language mechanism for enforcing privacy policies. I present a proof-of-concept of a module-rewriting technique for ...

Search

Browse

My Account