Racets: Faceted Execution in Racket

Kristopher Micinski, Zhanpeng Wang, Thomas Gilray

Faceted Execution is a linguistic paradigm for dynamic information-flow control. Under faceted execution, secure program data is represented by faceted values: decision trees that…