Our recent work on integrity verification for provenance-based causality analysis has been accepted by USENIX Security 2026!