Annabelle McIver
Macquarie University
H-index: 35
Oceania-Australia
Top articles of Annabelle McIver
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A Quantitative Information Flow Analysis of the Topics API | Mário S Alvim Natasha Fernandes Annabelle McIver Gabriel H Nunes | 2023/11/26 | |
A novel analysis of utility in privacy pipelines, using Kronecker products and quantitative information flow | Mário S Alvim Natasha Fernandes Annabelle McIver Carroll Morgan Gabriel H Nunes | 2023/11/15 | |
Universal optimality and robust utility bounds for metric differential privacy | Natasha Fernandes Annabelle McIver Catuscia Palamidessi Ming Ding | 2022/8/7 | |
Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata | arXiv preprint arXiv:2204.13734 | Mário S Alvim Natasha Fernandes Annabelle McIver Carroll Morgan Gabriel H Nunes | 2022/4/28 |
How to develop an intuition for risk... and other invisible phenomena | Natasha Fernandes Annabelle McIver Carroll Morgan | 2022/2 | |
Directional Privacy for Deep Learning | arXiv preprint arXiv:2211.04686 | Pedro Faustini Natasha Fernandes Shakila Tonni Annabelle McIver Mark Dras | 2022/11/9 |
Explaining epsilon in local differential privacy through the lens of quantitative information flow | arXiv preprint arXiv:2210.12916 | Natasha Fernandes Annabelle McIver Parastoo Sadeghi | 2022/10/24 |
Formal methods: practical applications and foundations | Formal methods in system design | Maurice H Ter Beek Annabelle McIver | 2021/10 |
The laplace mechanism has optimal utility for differential privacy over continuous queries | Natasha Fernandes Annabelle McIver Carroll Morgan | 2021/6/29 | |
Timing attacks on blinded and bucketed cryptography | The Science of Quantitative Information Flow | Mário S Alvim Konstantinos Chatzikokolakis Annabelle McIver Carroll Morgan Catuscia Palamidessi | 2020 |
Axiomatics | The Science of Quantitative Information Flow | Mário S Alvim Konstantinos Chatzikokolakis Annabelle McIver Carroll Morgan Catuscia Palamidessi | 2020 |
Hidden-Markov modeling of QIF in sequential programs | The Science of Quantitative Information Flow | Mário S Alvim Konstantinos Chatzikokolakis Annabelle McIver Carroll Morgan Catuscia Palamidessi | 2020 |
The Crowds protocol | The Science of Quantitative Information Flow | Mário S Alvim Konstantinos Chatzikokolakis Annabelle McIver Carroll Morgan Catuscia Palamidessi | 2020 |
Reasoning with failures | Hamid Jahanian Annabelle McIver | 2020 | |
Correctness by construction for probabilistic programs | Annabelle McIver Carroll Morgan | 2020/10/20 | |
Composition of channels | The Science of Quantitative Information Flow | Mário S Alvim Konstantinos Chatzikokolakis Annabelle McIver Carroll Morgan Catuscia Palamidessi | 2020 |
Channels | The International Encyclopedia of Organizational Communication | Amanda J Porter | 2017/2/21 |
Iteration and nontermination | The Science of Quantitative Information Flow | Mário S Alvim Konstantinos Chatzikokolakis Annabelle McIver Carroll Morgan Catuscia Palamidessi | 2020 |
The geometry of hypers, gains and losses | The Science of Quantitative Information Flow | Mário S Alvim Konstantinos Chatzikokolakis Annabelle McIver Carroll Morgan Catuscia Palamidessi | 2020 |
Failure mode reasoning in model based safety analysis | Hamid Jahanian David Parker Marc Zeller Annabelle McIver Yiannis Papadopoulos | 2020 |