default search action
Annabelle McIver
A. K. McIver
Person information
- affiliation: Macquarie University, Sydney, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c71]Natasha Fernandes, Annabelle McIver, Parastoo Sadeghi:
Explaining ∊ in Local Differential Privacy Through the Lens of Quantitative Information Flow. CSF 2024: 419-432 - [i35]Chris Chen, Annabelle McIver, Carroll Morgan:
Source-level reasoning for quantitative information flow. CoRR abs/2405.13416 (2024) - [i34]Sayan Biswas, Mark Dras, Pedro Faustini, Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Parastoo Sadeghi:
Bayes' capacity as a measure for reconstruction attacks in federated learning. CoRR abs/2406.13569 (2024) - [i33]Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel H. Nunes:
The Privacy-Utility Trade-off in the Topics API. CoRR abs/2406.15309 (2024) - [i32]Pedro Faustini, Shakila Mahjabin Tonni, Annabelle McIver, Qiongkai Xu, Mark Dras:
IDT: Dual-Task Adversarial Attacks for Privacy Protection. CoRR abs/2406.19642 (2024) - 2023
- [j34]Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Ming Ding:
Universal optimality and robust utility bounds for metric differential privacy. J. Comput. Secur. 31(5): 539-580 (2023) - [c70]Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes:
A Novel Analysis of Utility in Privacy Pipelines, Using Kronecker Products and Quantitative Information Flow. CCS 2023: 1718-1731 - [c69]Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes:
A Quantitative Information Flow Analysis of the Topics API. WPES@CCS 2023: 123-127 - [i31]Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes:
A novel analysis of utility in privacy pipelines, using Kronecker products and quantitative information flow. CoRR abs/2308.11110 (2023) - [i30]Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes:
A Quantitative Information Flow Analysis of the Topics API. CoRR abs/2309.14746 (2023) - 2022
- [j33]Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes:
Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata. Proc. Priv. Enhancing Technol. 2022(4): 378-399 (2022) - [c68]Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Ming Ding:
Universal Optimality and Robust Utility Bounds for Metric Differential Privacy. CSF 2022: 348-363 - [c67]Natasha Fernandes, Annabelle McIver, Carroll Morgan:
How to Develop an Intuition for Risk... and Other Invisible Phenomena (Invited Talk). CSL 2022: 2:1-2:14 - [i29]Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes:
Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata. CoRR abs/2204.13734 (2022) - [i28]Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Ming Ding:
Universal Optimality and Robust Utility Bounds for Metric Differential Privacy. CoRR abs/2205.01258 (2022) - [i27]Natasha Fernandes, Annabelle McIver, Parastoo Sadeghi:
Explaining epsilon in differential privacy through the lens of information theory. CoRR abs/2210.12916 (2022) - [i26]Pedro Faustini, Natasha Fernandes, Annabelle McIver, Mark Dras:
Directional Privacy for Deep Learning. CoRR abs/2211.04686 (2022) - 2021
- [j32]Annabelle McIver, Maurice H. ter Beek:
Editorial. Formal Aspects Comput. 33(4-5): 459-460 (2021) - [j31]Maurice H. ter Beek, Annabelle McIver:
Formal methods: practical applications and foundations. Formal Methods Syst. Des. 58(1-2): 1-4 (2021) - [c66]Natasha Fernandes, Annabelle McIver, Carroll Morgan:
The Laplace Mechanism has optimal utility for differential privacy over continuous queries. LICS 2021: 1-12 - [i25]Natasha Fernandes, Annabelle McIver, Carroll Morgan:
The Laplace Mechanism has optimal utility for differential privacy over continuous queries. CoRR abs/2105.07176 (2021) - 2020
- [b2]Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith:
The Science of Quantitative Information Flow. Information Security and Cryptography, Springer 2020, ISBN 978-3-319-96129-3, pp. I-XXVIII, 1-478 - [j30]Annabelle McIver, András Horváth:
Introduction to the Special Section on Quantitative Evaluation of Systems (QEST 2018). ACM Trans. Model. Perform. Evaluation Comput. Syst. 5(1): 1:1 (2020) - [c65]Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes:
On Privacy and Accuracy in Data Releases (Invited Paper). CONCUR 2020: 1:1-1:18 - [c64]Hamid Jahanian, Annabelle McIver:
Reasoning with Failures. ICFEM 2020: 36-52 - [c63]Hamid Jahanian, David Parker, Marc Zeller, Annabelle McIver, Yiannis Papadopoulos:
Failure Mode Reasoning in Model Based Safety Analysis. IMBSA 2020: 130-145 - [c62]Annabelle McIver, Carroll Morgan:
Correctness by Construction for Probabilistic Programs. ISoLA (1) 2020: 216-239 - [i24]Hamid Jahanian, David Parker, Marc Zeller, Annabelle McIver, Yiannis Papadopoulos:
Failure Mode Reasoning in Model Based Safety Analysis. CoRR abs/2005.06279 (2020) - [i23]Hamid Jahanian, Annabelle McIver:
Reasoning with failures. CoRR abs/2007.10841 (2020) - [i22]Annabelle McIver, Carroll Morgan:
Correctness by construction for probabilistic programs. CoRR abs/2007.15246 (2020)
2010 – 2019
- 2019
- [j29]A. K. McIver, Carroll C. Morgan, T. M. Rabehaja:
Program algebra for quantitative information flow. J. Log. Algebraic Methods Program. 106: 55-77 (2019) - [j28]Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja:
Abstract Hidden Markov Models: a monadic account of quantitative information flow. Log. Methods Comput. Sci. 15(1) (2019) - [j27]Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith:
An axiomatization of information flow measures. Theor. Comput. Sci. 777: 32-54 (2019) - [c61]Annabelle McIver, Carroll Morgan:
Proving that Programs Are Differentially Private. APLAS 2019: 3-18 - [c60]Tahiry M. Rabehaja, Annabelle McIver, Carroll Morgan, Georg Struth:
Categorical Information Flow. The Art of Modelling Computational Systems 2019: 329-343 - [c59]Annabelle McIver:
Experiments in Information Flow Analysis. MPC 2019: 1-17 - [c58]Natasha Fernandes, Mark Dras, Annabelle McIver:
Generalised Differential Privacy for Text Document Processing. POST 2019: 123-148 - [e7]Maurice H. ter Beek, Annabelle McIver, José N. Oliveira:
Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Lecture Notes in Computer Science 11800, Springer 2019, ISBN 978-3-030-30941-1 [contents] - 2018
- [j26]Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen:
A new proof rule for almost-sure termination. Proc. ACM Program. Lang. 2(POPL): 33:1-33:28 (2018) - [j25]Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Schedulers and finishers: On generating and filtering the behaviours of an event structure. Theor. Comput. Sci. 744: 97-112 (2018) - [j24]Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver:
Conditioning in Probabilistic Programming. ACM Trans. Program. Lang. Syst. 40(1): 4:1-4:50 (2018) - [c57]Natasha Fernandes, Mark Dras, Annabelle McIver:
Processing Text for Privacy: An Information Flow Perspective. FM 2018: 3-21 - [c56]Arthur Américo, Mário S. Alvim, Annabelle McIver:
An Algebraic Approach for Reasoning About Information Flow. FM 2018: 55-72 - [e6]Annabelle McIver, András Horváth:
Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. Lecture Notes in Computer Science 11024, Springer 2018, ISBN 978-3-319-99153-5 [contents] - [i21]Arthur Américo, Mário S. Alvim, Annabelle McIver:
An Algebraic Approach for Reasoning About Information Flow. CoRR abs/1801.08090 (2018) - [i20]Natasha Fernandes, Mark Dras, Annabelle McIver:
Author Obfuscation Using Generalised Differential Privacy. CoRR abs/1805.08866 (2018) - [i19]Natasha Fernandes, Mark Dras, Annabelle McIver:
Generalised Differential Privacy for Text Document Processing. CoRR abs/1811.10256 (2018) - 2017
- [j23]Annabelle McIver, Tahiry M. Rabehaja, Roland Wen, Carroll Morgan:
Privacy in elections: How small is "small"? J. Inf. Secur. Appl. 36: 112-126 (2017) - [c55]Annabelle McIver, Carroll C. Morgan, Tahiry M. Rabehaja:
Algebra for Quantitative Information Flow. RAMiCS 2017: 3-23 - [c54]Nicolás E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja:
Reasoning About Distributed Secrets. FORTE 2017: 156-170 - [c53]Arthur Américo, Artur Vaz, Mário S. Alvim, Sérgio Vale Aguiar Campos, Annabelle McIver:
Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols. SBMF 2017: 142-158 - [i18]Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja:
Abstract Hidden Markov Models: a monadic account of quantitative information flow. CoRR abs/1708.01688 (2017) - [i17]Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen:
A New Proof Rule for Almost-Sure Termination. CoRR abs/1711.03588 (2017) - 2016
- [j22]Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Probabilistic rely-guarantee calculus. Theor. Comput. Sci. 655: 120-134 (2016) - [c52]Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith:
Axioms for Information Leakage. CSF 2016: 77-92 - [c51]Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Schedulers and Finishers: On Generating the Behaviours of an Event Structure. ICTAC 2016: 121-138 - [i16]Nicolás E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja:
Compositional security and collateral leakage. CoRR abs/1604.04983 (2016) - [i15]Annabelle McIver, Carroll Morgan:
A new rule for almost-certain termination of probabilistic and demonic programs. CoRR abs/1612.01091 (2016) - 2015
- [j21]Annabelle McIver, Larissa Meinicke, Carroll Morgan:
Hidden-Markov program algebra with iteration. Math. Struct. Comput. Sci. 25(2): 320-360 (2015) - [c50]Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja:
Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow. LICS 2015: 597-608 - [c49]Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver:
Conditioning in Probabilistic Programming. MFPS 2015: 199-216 - [e5]Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe, Andrei Voronkov:
20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015. EPiC Series in Computing 35, EasyChair 2015 [contents] - [e4]Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. Lecture Notes in Computer Science 9450, Springer 2015, ISBN 978-3-662-48898-0 [contents] - [i14]Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver, Federico Olmedo:
Conditioning in Probabilistic Programming. CoRR abs/1504.00198 (2015) - [i13]Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan:
Modelling and Analysis of AODV in UPPAAL. CoRR abs/1512.07312 (2015) - [i12]Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan:
A Process Algebra for Wireless Mesh Networks. CoRR abs/1512.07319 (2015) - [i11]Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan:
Automated Analysis of AODV using UPPAAL. CoRR abs/1512.07352 (2015) - [i10]Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker:
A Rigorous Analysis of AODV and its Variants. CoRR abs/1512.08873 (2015) - [i9]Gilles Barthe, Andrew D. Gordon, Joost-Pieter Katoen, Annabelle McIver:
Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181). Dagstuhl Reports 5(4): 123-141 (2015) - 2014
- [j20]Thai Son Hoang, A. K. McIver, Larissa Meinicke, Carroll C. Morgan, Anthony Sloane, E. Susatyo:
Abstractions of non-interference security: probabilistic versus possibilistic. Formal Aspects Comput. 26(1): 169-194 (2014) - [j19]Peter Höfner, Annabelle McIver:
Hopscotch - reaching the target hop by hop. J. Log. Algebraic Methods Program. 83(2): 212-224 (2014) - [j18]Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver:
Operational versus weakest pre-expectation semantics for the probabilistic guarded command language. Perform. Evaluation 73: 110-132 (2014) - [c48]Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith:
Additive and Multiplicative Notions of Leakage, and Their Capacities. CSF 2014: 308-322 - [c47]Roland Wen, Annabelle McIver, Carroll Morgan:
Towards a Formal Analysis of Information Leakage for Signature Attacks in Preferential Elections. FM 2014: 595-610 - [c46]Annabelle McIver, Carroll Morgan, Geoffrey Smith, Barbara Espinoza, Larissa Meinicke:
Abstract Channels and Their Robust Information-Leakage Ordering. POST 2014: 83-102 - [c45]Annabelle McIver:
Program Refinement, Perfect Secrecy and Information Flow. SETSS 2014: 80-102 - [i8]Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Probabilistic Rely-guarantee Calculus. CoRR abs/1409.0582 (2014) - 2013
- [c44]Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
An Event Structure Model for Probabilistic Concurrent Kleene Algebra. LPAR 2013: 653-667 - [c43]Peter Höfner, Annabelle McIver:
Statistical Model Checking of Wireless Mesh Routing Protocols. NASA Formal Methods 2013: 322-336 - [c42]Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver:
Prinsys - On a Quest for Probabilistic Loop Invariants. QEST 2013: 193-208 - [c41]Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Probabilistic Concurrent Kleene Algebra. QAPL 2013: 97-115 - [e3]Jacques D. Fleuriot, Peter Höfner, Annabelle McIver, Alan Smaill:
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012. EPiC Series in Computing 17, EasyChair 2013 [contents] - [i7]Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Weak Concurrent Kleene Algebra with Application to Algebraic Verification. CoRR abs/1301.7153 (2013) - [i6]Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
An Event Structure Model for Probabilistic Concurrent Kleene Algebra. CoRR abs/1310.2320 (2013) - [i5]Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan:
A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV. CoRR abs/1312.7645 (2013) - 2012
- [j17]Suzana Andover, Annabelle McIver, Manuel Núñez:
Preface: Special Issue QFM 2009. J. Log. Algebraic Methods Program. 81(1): 1 (2012) - [c40]Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan:
A Process Algebra for Wireless Mesh Networks. ESOP 2012: 295-315 - [c39]Annabelle McIver, Larissa Meinicke, Carroll Morgan:
A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism. LICS 2012: 461-470 - [c38]Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker:
A rigorous analysis of AODV and its variants. MSWiM 2012: 203-212 - [c37]Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver:
Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language. QEST 2012: 168-177 - [c36]Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan:
Automated Analysis of AODV Using UPPAAL. TACAS 2012: 173-187 - [i4]Jin Song Dong, Annabelle McIver, Carroll Morgan:
Quantitative methods in security and safety critical applications (NII Shonan Meeting 2012-10). NII Shonan Meet. Rep. 2012 (2012) - 2011
- [j16]A. K. McIver, Carroll C. Morgan:
Compositional refinement in agent-based security protocols. Formal Aspects Comput. 23(6): 711-737 (2011) - [c35]Peter Höfner, Annabelle McIver:
Towards an Algebra of Routing Tables. RAMiCS 2011: 212-229 - [c34]Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
On Probabilistic Kleene Algebras, Automata and Simulations. RAMiCS 2011: 264-279 - [c33]Matt Bower, Annabelle McIver:
Continual and explicit comparison to promote proactive facilitation during second computer language learning. ITiCSE 2011: 218-222 - [c32]Ukachukwu Ndukwu, Annabelle McIver:
Model exploration and analysis for quantitative safety refinement in probabilistic B. Refine@FM 2011: 101-120 - [e2]Peter Höfner, Annabelle McIver, Georg Struth:
Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011. CEUR Workshop Proceedings 760, CEUR-WS.org 2011 [contents] - [i3]Annabelle McIver, Larissa Meinicke, Carroll Morgan:
Hidden-Markov Program Algebra with iteration. CoRR abs/1102.0333 (2011) - 2010
- [c31]Ukachukwu Ndukwu, A. K. McIver:
YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B. ATVA 2010: 378-386 - [c30]Annabelle McIver, Larissa Meinicke, Carroll Morgan:
Compositional Closure for Bayes Risk in Probabilistic Noninterference. ICALP (2) 2010: 223-235 - [c29]Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll C. Morgan:
Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods. SAS 2010: 390-406 - [c28]Ukachukwu Ndukwu, Annabelle McIver:
An expectation transformer approach to predicate abstraction and data independence for probabilistic programs. QAPL 2010: 129-143 - [p2]A. K. McIver, Carroll C. Morgan:
The Thousand-and-One Cryptographers. Reflections on the Work of C. A. R. Hoare 2010: 255-282 - [i2]Annabelle McIver, Larissa Meinicke, Carroll Morgan:
Compositional closure for Bayes Risk in probabilistic noninterference. CoRR abs/1007.1054 (2010)
2000 – 2009
- 2009
- [c27]Annabelle McIver, Larissa Meinicke, Carroll Morgan:
Security, Probability and Nearly Fair Coins in the Cryptographers' Café. FM 2009: 41-71 - [c26]Annabelle McIver, Carroll C. Morgan:
Sums and Lovers: Case Studies in Security, Compositionality and Refinement. FM 2009: 289-304 - [c25]Annabelle McIver:
The Secret Art of Computer Programming. ICTAC 2009: 61-78 - [p1]Ansgar Fehnker, Matthias Fruth, Annabelle McIver:
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols. Methods, Models and Tools for Fault Tolerance 2009: 1-24 - [e1]Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez:
Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, QFM 2009, Eindhoven, The Netherlands, 3rd November 2009. EPTCS 13, 2009 [contents] - 2008
- [j15]A. K. McIver, Carlos Gonzalía, Ernie Cohen, Carroll C. Morgan:
Using probabilistic Kleene algebra pKA for protocol verification. J. Log. Algebraic Methods Program. 76(1): 90-111 (2008) - [c24]A. K. McIver, Carroll C. Morgan, Carlos Gonzalía:
Proofs and Refutations for Probabilistic Refinement. FM 2008: 100-115 - [c23]Athanassios Boulis, Ansgar Fehnker, Matthias Fruth, Annabelle McIver:
CaVi -- Simulation and Model Checking for Wireless Sensor Networks. QEST 2008: 37-38 - 2007
- [j14]Annabelle McIver, Carroll Morgan:
Results on the quantitative µ-calculus qMµ. ACM Trans. Comput. Log. 8(1): 3 (2007) - [c22]Carlos Gonzalía, Annabelle McIver:
Automating Refinement Checking in Probabilistic System Design. ICFEM 2007: 212-231 - 2006
- [c21]Annabelle McIver, Ernie Cohen, Carroll Morgan:
Using Probabilistic Kleene Algebra for Protocol Verification. RelMiCS 2006: 296-310 - [c20]