output
20062026
most citedPolaritons in layered 2D materials

1.3k citations

researchers with a paper here
collaborating institutions
Showing 2017 · cs.LOShow all

1 paper · 2 filters

cs.LO2017

Relational -Liftings for Differential Privacy

Gilles Barthe, Thomas Espitau, Justin Hsu +2

Recent developments in formal verification have identified approximate liftings (also known as approximate couplings) as a clean, compositional abstraction for proving differential…