Annabelle McIver

Qiongkai Xu

CoRR, 2024

The Privacy-Utility Trade-off in the Topics API.

[BibT_eX]

[DOI]

CoRR, 2024

Bayes' capacity as a measure for reconstruction attacks in federated learning.

[BibT_eX]

[DOI]

CoRR, 2024

Source-level reasoning for quantitative information flow.

[BibT_eX]

[DOI]

Chris Chen

CoRR, 2024

2023

Universal optimality and robust utility bounds for metric differential privacy.

[BibT_eX]

[DOI]

J. Comput. Secur., 2023

A Quantitative Information Flow Analysis of the Topics API.

[BibT_eX]

[DOI]

Proceedings of the 22nd Workshop on Privacy in the Electronic Society, 2023

A Novel Analysis of Utility in Privacy Pipelines, Using Kronecker Products and Quantitative Information Flow.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., 2022

Directional Privacy for Deep Learning.

[BibT_eX]

[DOI]

CoRR, 2022

Explaining epsilon in differential privacy through the lens of information theory.

[BibT_eX]

[DOI]

Parastoo Sadeghi

CoRR, 2022

How to Develop an Intuition for Risk... and Other Invisible Phenomena (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

Formal methods: practical applications and foundations.

[BibT_eX]

[DOI]

Maurice H. ter Beek

Formal Methods Syst. Des., 2021

Editorial.

[BibT_eX]

[DOI]

Maurice H. ter Beek

Formal Aspects Comput., 2021

The Laplace Mechanism has optimal utility for differential privacy over continuous queries.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

The Science of Quantitative Information Flow.

[BibT_eX]

[DOI]

Information Security and Cryptography, Springer, ISBN: 978-3-319-96131-6, 2020

Introduction to the Special Section on Quantitative Evaluation of Systems (QEST 2018).

[BibT_eX]

[DOI]

András Horváth

ACM Trans. Model. Perform. Evaluation Comput. Syst., 2020

Correctness by Construction for Probabilistic Programs.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Failure Mode Reasoning in Model Based Safety Analysis.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

Reasoning with Failures.

[BibT_eX]

[DOI]

Hamid Jahanian

Proceedings of the Formal Methods and Software Engineering, 2020

On Privacy and Accuracy in Data Releases (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

An axiomatization of information flow measures.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Abstract Hidden Markov Models: a monadic account of quantitative information flow.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2019

Program algebra for quantitative information flow.

[BibT_eX]

[DOI]

T. M. Rabehaja

J. Log. Algebraic Methods Program., 2019

Generalised Differential Privacy for Text Document Processing.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

Experiments in Information Flow Analysis.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

Categorical Information Flow.

[BibT_eX]

[DOI]

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

Proving that Programs Are Differentially Private.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Schedulers and finishers: On generating and filtering the behaviours of an event structure.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2018

A new proof rule for almost-sure termination.

[BibT_eX]

[DOI]

Benjamin Lucien Kaminski

Proc. ACM Program. Lang., 2018

Author Obfuscation Using Generalised Differential Privacy.

[BibT_eX]

[DOI]

CoRR, 2018

Processing Text for Privacy: An Information Flow Perspective.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 22nd International Symposium, 2018

An Algebraic Approach for Reasoning About Information Flow.

[BibT_eX]

[DOI]

Arthur Américo

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Privacy in elections: How small is "small"?

[BibT_eX]

[DOI]

J. Inf. Secur. Appl., 2017

Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols.

[BibT_eX]

[DOI]

Arthur Américo

Artur Vaz

Sérgio Vale Aguiar Campos

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Reasoning About Distributed Secrets.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

Algebra for Quantitative Information Flow.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2016

Probabilistic rely-guarantee calculus.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

A new rule for almost-certain termination of probabilistic and demonic programs.

[BibT_eX]

[DOI]

CoRR, 2016

Compositional security and collateral leakage.

[BibT_eX]

[DOI]

CoRR, 2016

Schedulers and Finishers: On Generating the Behaviours of an Event Structure.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Axioms for Information Leakage.

[BibT_eX]

[DOI]

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

Hidden-Markov program algebra with iteration.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2015

Conditioning in Probabilistic Programming.

[BibT_eX]

[DOI]

Nils Jansen

Benjamin Lucien Kaminski

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2015

Modelling and Analysis of AODV in UPPAAL.

[BibT_eX]

[DOI]

CoRR, 2015

2014

Operational versus weakest pre-expectation semantics for the probabilistic guarded command language.

[BibT_eX]

[DOI]

Friedrich Gretz

Perform. Evaluation, 2014

Hopscotch - reaching the target hop by hop.

[BibT_eX]

[DOI]

Peter Höfner

J. Log. Algebraic Methods Program., 2014

Abstractions of non-interference security: probabilistic versus possibilistic.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2014

Program Refinement, Perfect Secrecy and Information Flow.

[BibT_eX]

[DOI]

Proceedings of the Engineering Trustworthy Software Systems - First International School, 2014

Abstract Channels and Their Robust Information-Leakage Ordering.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Towards a Formal Analysis of Information Leakage for Signature Attacks in Preferential Elections.

[BibT_eX]

[DOI]

Roland Wen

Proceedings of the FM 2014: Formal Methods, 2014

Additive and Multiplicative Notions of Leakage, and Their Capacities.

[BibT_eX]

[DOI]

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Weak Concurrent Kleene Algebra with Application to Algebraic Verification

[BibT_eX]

[DOI]

CoRR, 2013

Probabilistic Concurrent Kleene Algebra.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2013

A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV.

[BibT_eX]

[DOI]

CoRR, 2013

Prinsys - On a Quest for Probabilistic Loop Invariants.

[BibT_eX]

[DOI]

Friedrich Gretz

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Statistical Model Checking of Wireless Mesh Routing Protocols.

[BibT_eX]

[DOI]

Peter Höfner

Proceedings of the NASA Formal Methods, 2013

An Event Structure Model for Probabilistic Concurrent Kleene Algebra.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012

Quantitative methods in security and safety critical applications (NII Shonan Meeting 2012-10).

[BibT_eX]

[DOI]

Jin Song Dong

NII Shonan Meet. Rep., 2012

Preface: Special Issue QFM 2009.

[BibT_eX]

[DOI]

Suzana Andover

Manuel Núñez

J. Log. Algebraic Methods Program., 2012

Automated Analysis of AODV Using UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language.

[BibT_eX]

[DOI]

Friedrich Gretz

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

A rigorous analysis of AODV and its variants.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM International Conference on Modeling, 2012

A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

A Process Algebra for Wireless Mesh Networks.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2012

2011

Compositional refinement in agent-based security protocols.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2011

Model exploration and analysis for quantitative safety refinement in probabilistic B

[BibT_eX]

[DOI]

Ukachukwu Ndukwu

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Continual and explicit comparison to promote proactive facilitation during second computer language learning.

[BibT_eX]

[DOI]

Matt Bower

Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

On Probabilistic Kleene Algebras, Automata and Simulations.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

Towards an Algebra of Routing Tables.

[BibT_eX]

[DOI]

Peter Höfner

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010

An expectation transformer approach to predicate abstraction and data independence for probabilistic programs

[BibT_eX]

[DOI]

Ukachukwu Ndukwu

Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 17th International Symposium, 2010

Compositional Closure for Bayes Risk in Probabilistic Noninterference.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B.

[BibT_eX]

[DOI]

Ukachukwu Ndukwu

Proceedings of the Automated Technology for Verification and Analysis, 2010

The Thousand-and-One Cryptographers.

[BibT_eX]

[DOI]

Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009

Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols.

[BibT_eX]

[DOI]

Ansgar Fehnker

Matthias Fruth

Proceedings of the Methods, 2009

The Secret Art of Computer Programming.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2009

Security, Probability and Nearly Fair Coins in the Cryptographers' Café.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

Sums and Lovers: Case Studies in Security, Compositionality and Refinement.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

2008

Using probabilistic Kleene algebra pKA for protocol verification.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2008

CaVi -- Simulation and Model Checking for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Proofs and Refutations for Probabilistic Refinement.

[BibT_eX]

[DOI]

Carlos Gonzalía

Proceedings of the FM 2008: Formal Methods, 2008

2007

Results on the quantitative µ-calculus qMµ.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2007

Automating Refinement Checking in Probabilistic System Design.

[BibT_eX]

[DOI]

Carlos Gonzalía

Proceedings of the Formal Methods and Software Engineering, 2007

2006

Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Formal Techniques for the Analysis of Wireless Networks.

[BibT_eX]

[DOI]

Ansgar Fehnker

Proceedings of the Leveraging Applications of Formal Methods, 2006

Quantitative µ-Calculus Analysis of Power Management in Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2006

Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the FM 2006: Formal Methods, 2006

Using Probabilistic Kleene Algebra for Protocol Verification.

[BibT_eX]

[DOI]

Ernie Cohen

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005

Abstraction, Refinement and Proof for Probabilistic Systems

[BibT_eX]

[DOI]

Monographs in Computer Science, Springer, ISBN: 978-0-387-27006-7, 2005

Probabilistic guarded commands mechanized in HOL.

[BibT_eX]

[DOI]

Joe Hurd

Theor. Comput. Sci., 2005

Abstraction and refinement in probabilistic systems.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2005

An elementary proof that Herman's Ring is Theta (N2).

[BibT_eX]

[DOI]

Inf. Process. Lett., 2005

A Novel Stochastic Game Via the Quantitative mu-calculus.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

Development via Refinement in Probabilistic B - Foundation and Case Study.

[BibT_eX]

[DOI]

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Towards Automated Proof Support for Probabilistic Distributed Systems.

[BibT_eX]

[DOI]

Tjark Weber

Proceedings of the Logic for Programming, 2005

Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs.

[BibT_eX]

[DOI]

Orieta Celiku

Proceedings of the FM 2005: Formal Methods, 2005

2004

Cost-Based Analysis of Probabilistic Programs Mechanised in HOL.

[BibT_eX]

Orieta Celiku

Nord. J. Comput., 2004

Memoryless Strategies for Stochastic Games via Domain Theory.

[BibT_eX]

[DOI]

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

Developing and Reasoning About Probabilistic Programs in pGCL.

[BibT_eX]

[DOI]

Proceedings of the Refinement Techniques in Software Engineering, 2004

Deriving Probabilistic Semantics Via the 'Weakest Completion'.

[BibT_eX]

[DOI]

Jifeng He

Proceedings of the Formal Methods and Software Engineering, 2004

2003

Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Results on the quantitative mu-calculus qMu

[BibT_eX]

[DOI]

CoRR, 2003

Probabilistic Termination in B.

[BibT_eX]

[DOI]

Thai Son Hoang

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Probabilistic Invariants for Probabilistic Machines.

[BibT_eX]

[DOI]

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

2002

Quantitative program logic and expected time bounds in probabilistic distributed algorithms.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Games, Probability and the Quantitative µ-Calculus qMµ.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2002

2001

Partial correctness for probabilistic demonic programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

Almost-Certain Eventualities and Abstract Probabilities in the Temporal Logic PTL.

[BibT_eX]

[DOI]

Proceedings of the Computing: The Australasian Theory Symposium, 2001

A Generalisation of Stationary Distributions, and Probabilistic Program Algebra.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

Demonic, angelic and unbounded probabilistic choices in sequential programs.

[BibT_eX]

[DOI]

Acta Informatica, 2001

Cost Analysis of Games, Using Program Logic.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

1999

An Expectation-Transformer Model for Probabilistic Temporal Logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 1999

Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1998

Reasoning about efficiency within a probabilistic µ-calculus.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998

1997

Probabilistic Models for the Guarded Command Language.

[BibT_eX]

[DOI]

Jifeng He

Karen Seidel

Sci. Comput. Program., 1997

1996

Probabilistic Predicate Transformers.

[BibT_eX]

[DOI]

Karen Seidel

ACM Trans. Program. Lang. Syst., 1996

Unifying wp and wlp.

[BibT_eX]

[DOI]