Institutional Scholarship

Browsing by Author "Micinski, Kristopher"

Browsing by Author "Micinski, Kristopher"

Sort by: Order: Results:

  • Abstract Interpretation of Algorithmic Fairness 
    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 ...
  • Analyzing Android App Permissions using ReRedexer 
    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 ...
  • Analyzing the Flow of Sensitive Data and Facebook Permissions in Android Applications 
    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 ...
  • Android Social Media Permissions: User interfaces to bridge expectation and reality 
    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 ...
  • Information Flow Control on the Web with Racets 
    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 ...
  • Scaling Faceted Execution in Racket using Languages as Libraries Approach 
    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 ...
  • Scaling Up Abstract Interpretation by Abstracting Abstract Machines 
    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 ...
  • The Ergonomics of Faceted Execution 
    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