More information for better utility; less information for better privacy

  • McIver, Annabelle (Primary Chief Investigator)
  • Morgan, Charles (Chief Investigator)
  • Teague, Vanessa (Chief Investigator)
  • Schneider, Steven (Partner Investigator)
  • MQRES, MQRES (Student)
  • PhD Contribution (ARC), PhD Contribution (ARC) (Student)

Project: Research

Search results

  • 2019

    An axiomatization of information flow measures

    Alvim, M. S., Chatzikokolakis, K., McIver, A., Morgan, C., Palamidessi, C. & Smith, G., 19 Jul 2019, In: Theoretical Computer Science. 777, p. 32-54 23 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    6 Citations (Scopus)
    19 Downloads (Pure)
  • Experiments in information flow analysis

    McIver, A., 2019, Mathematics of program construction: 13th International Conference, MPC 2019, Proceedings. Hutton, G. (ed.). Cham: Springer, Springer Nature, p. 1-17 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11825 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

  • Proving that programs are differentially private

    McIver, A. & Morgan, C., 1 Jan 2019, Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Proceedings. Lin, A. W. (ed.). Cham: Springer, Springer Nature, p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11893 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

    1 Citation (Scopus)
  • 2018

    A new proof rule for almost-sure termination

    McIver, A., Morgan, C., Kaminski, B. L. & Katoen, J-P., 5 Jan 2018, In: Proceedings of the ACM on Programming Languages. 2, POPL, p. 1-28 28 p., 33.

    Research output: Contribution to journalArticlepeer-review

    40 Citations (Scopus)