Now showing items 1-2 of 2

    • JRIF: Reactive Information Flow Control for Java 

      Kozyri, Elisavet; Arden, Owen; Myers, Andrew C.; Schneider, Fred B. (2015-10-24)
      Classic information flow systems conservatively define the security label associated with a derived value to be at least as restrictive as the security label on any input to that derivation. Because restrictions on information ...
    • Monadic and Substructural Type Systems for Region-Based Memory Management 

      Fluet, Matthew (2006-11-09)
      Region-based memory management is a scheme for managing dynamically allocated data. A defining characteristic of region-based memory management is the bulk deallocation of data, which avoids both the tedium of malloc/free ...