Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1907.05244
Cited By
The Next 700 Relational Program Logics
11 July 2019
K. Maillard
Cătălin Hriţcu
Exequiel Rivas
Antoine Van Muylder
Re-assign community
ArXiv
PDF
HTML
Papers citing
"The Next 700 Relational Program Logics"
2 / 2 papers shown
Title
LightDP: Towards Automating Differential Privacy Proofs
Danfeng Zhang
Daniel Kifer
43
72
0
27 Jul 2016
The Foundational Cryptography Framework
Adam Petcher
Greg Morrisett
LRM
22
101
0
14 Oct 2014
1
