Institutional Scholarship

Information Flow Control on the Web with Racets

Show simple item record

dc.contributor.advisor Micinski, Kristopher Soulanille, Matthew 2019-08-21T16:18:34Z 2019-08-21T16:18:34Z 2019
dc.description.abstract 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 beginnings of a web framework built in Racets that links client-side button presses to declassification of faceted values in a way that makes it easy for programmers to understand how private data flows in their applications.
dc.description.sponsorship Haverford College. Department of Computer Science
dc.language.iso eng
dc.subject.lcsh Racket (Computer program language) -- Security measures
dc.subject.lcsh Web site development
dc.subject.lcsh Computer networks -- Security measures
dc.subject.lcsh Electronic information resources -- Access control
dc.title Information Flow Control on the Web with Racets
dc.type Thesis
dc.rights.access Open Access

Files in this item

This item appears in the following Collection(s)

Show simple item record Except where otherwise noted, this item's license is described as



My Account