conftrace_

secure information flow

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

confidential virtual machine (1) rust programming language (1) memory safety (1) demographic parity (1) information flow (1) counterfactual fairness (1) causal model (1) formal verification (1) algorithmic fairness (1) causal inference (1)

Papers

An Information-Flow Perspective on Algorithmic Fairness AAAI 2024 VeriSMo: A Verified Security Module for Confidential VMs OSDI 2024