conftrace_

refinement type

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

web application security (1) security policy (1) type system (1) information flow control (1)

Papers

STORM: Refinement Types for Secure Web Applications OSDI 2021