conftrace_

information flow control

7 papers

Explore in graph

Also known as

IFC

Co-occurring keywords · papers mentioning both

formal verification (2) covert channel (1) smt solver (1) privacy policy (1) data noninterference (1) machine-checked proof (1) file system (1) type system (1) web service (1) dependency tree (1)

Papers

Don’t Stop Early: Scalable Enterprise Deep Research with Controlled Information Flow and Evidence-Aware Termination ACL 2026 Paralegal: Practical Static Analysis for Privacy Bugs OSDI 2025 STORM: Refinement Types for Secure Web Applications OSDI 2021 Improving Cross-Domain Performance for Relation Extraction via Dependency Prediction and Information Flow Control IJCAI 2019 Riverbed: Enforcing User-defined Privacy Constraints in Distributed Web Services NSDI 2019 Nickel: A Framework for Design and Verification of Information Flow Control Systems OSDI 2018 Proving confidentiality in a file system using DiskSec OSDI 2018