Search

• < Previous
• 1
• Next >

---

Relational $\star$-Liftings for Differential Privacy

Gilles Barthe ; Thomas Espitau ; Justin Hsu ; Tetsuya Sato ; Pierre-Yves Strub.

Recent developments in formal verification have identified approximate liftings (also known as approximate couplings) as a clean, compositional abstraction for proving differential privacy. This construction can be defined in two styles. Earlier definitions require the existence of one or more&nbsp;[&hellip;]

---

Formalizing the Face Lattice of Polyhedra

Xavier Allamigeon ; Ricardo D. Katz ; Pierre-Yves Strub.

Faces play a central role in the combinatorial and computational aspects of polyhedra. In this paper, we present the first formalization of faces of polyhedra in the proof assistant Coq. This builds on the formalization of a library providing the basic constructions and operations over polyhedra,&nbsp;[&hellip;]

---