Konstantinos Chatzikokolakis 0001, Natasha Fernandes, Catuscia Palamidessi. Comparing Systems: Max-Case Refinement Orders and Application to Differential Privacy. In 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019. pages 442-457, IEEE, 2019. [doi]