29 citations · 43 across the 14 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020
Refinement Types: A Tutorial
Ranjit Jhala, Niki Vazou
Refinement types enrich a language's type system with logical predicates that circumscribe the set of values described by the type, thereby providing software developers a tunable…
cs.CR2020
LIO*: Low Level Information Flow Control in F*
Jean-Joseph Marty, Lucas Franceschino, Jean-Pierre Talpin +1
We present Labeled Input Output in F* (LIO*), a verified framework that enforces information flow control (IFC) policies developed in F* and automatically extracted to C. Inspired…