conftrace_

machine-checked proof

3 papers

Explore in graph

Co-occurring keywords

formal verification (284) data noninterference (1) file system (9) neural network (6616) expected error (2) logical atomicity (1) transaction library (1) mechanized proof (1) information flow control (7) multi-version concurrency control (5)

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