conftrace_

machine-checked proof

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal verification (3) data noninterference (1) file system (1) neural network (1) expected error (1) logical atomicity (1) transaction library (1) mechanized proof (1) information flow control (1) multi-version concurrency control (1)

Papers

Verifying vMVCC, a high-performance transaction library using multi-version concurrency control OSDI 2023 Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees AAAI 2019 Proving confidentiality in a file system using DiskSec OSDI 2018