Picture for Bernhard Beckert

Bernhard Beckert

Revisiting Differential Verification: Equivalence Verification with Confidence

Add code
Oct 26, 2024
Viaarxiv icon

An Information-Flow Perspective on Algorithmic Fairness

Add code
Dec 15, 2023
Viaarxiv icon