Institutional Scholarship

Browsing by Subject "Racket (Computer program language) -- Security measures"

Browsing by Subject "Racket (Computer program language) -- Security measures"

Sort by: Order: Results:

  • 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 ...
  • 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