28 citations · 123 across the 13 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2022★ 1 cited
Divergences on Monads for Relational Program Logics
Tetsuya Sato, Shin-ya Katsumata
Several relational program logics have been introduced for integrating reasoning about relational properties of programs and measurement of quantitative difference between computat…
cs.PL2017★ 25 cited
Approximate Span Liftings
Tetsuya Sato, Gilles Barthe, Marco Gaboardi +2
We develop new abstractions for reasoning about relaxations of differential privacy: Rényi differential privacy, zero-concentrated differential privacy, and truncated concentrated…