conftrace_

information flow control

7 papers

Explore in graph

Also known as

IFC

Co-occurring keywords

formal verification (284) covert channel (2) smt solver (18) privacy policy (25) data noninterference (1) machine-checked proof (3) file system (9) type system (7) web service (9) dependency tree (111)

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
Riverbed: Enforcing User-defined Privacy Constraints in Distributed Web Services NSDI 2019
Improving Cross-Domain Performance for Relation Extraction via Dependency Prediction and Information Flow Control IJCAI 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