35 citations · 36 across the 2 of their papers we have counts for
2 papers
cs.CR2025★ 1 cited
Data Traceability for Privacy Alignment
Kevin Liao, Shreya Thipireddy, Daniel Weitzner
This paper offers a new privacy approach for the growing ecosystem of services -- ranging from open banking to healthcare -- dependent on sensitive personal data sharing between in…
cs.PL2019★ 35 cited
A Probabilistic Separation Logic
Gilles Barthe, Justin Hsu, Kevin Liao
Probabilistic independence is a useful concept for describing the result of random sampling---a basic operation in all probabilistic languages---and for reasoning about groups of r…