conftrace_

web application security

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

refinement type (1) data access policy (1) security policy (1) type system (1) information flow control (1) smt solver (1) policy enforcement (1)

Papers

Blockaid: Data Access Policy Enforcement for Web Applications OSDI 2022 STORM: Refinement Types for Secure Web Applications OSDI 2021