I agree that this site is using cookies. You can find further informations here.
X
McIver, Annabelle
149  results:
Search for persons X
?
1

A Quantitative Information Flow Analysis of the Topics API:

, In: Proceedings of the 22nd Workshop on Privacy in the Electronic Society,
Alvim, Mário S. ; Fernandes, Natasha ; McIver, Annabelle. - p. 123-127 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

A Novel Analysis of Utility in Privacy Pipelines, Using Kro..:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,
Alvim, Mário S. ; Fernandes, Natasha ; McIver, Annabelle.. - p. 1718-1731 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

Formal methods: practical applications and foundations: Edi..:

ter Beek, Maurice H. ; McIver, Annabelle
Formal Methods in System Design.  , 2022
Link: https://doi.org/10.1007/..
 
?
4

Universal Optimality and Robust Utility Bounds for Metric D..:

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),
Fernandes, Natasha ; McIver, Annabelle ; Palamidessi, Catuscia. - p. 348-363 , 2022
Link: https://doi.org/10.1109/..
 
?
5

Flexible and scalable privacy assessment for very large dat..:

Alvim, Mário S. ; Fernandes, Natasha ; McIver, Annabelle..
Proceedings on Privacy Enhancing Technologies.  2022 (2022)  4 - p. 378-399 , 2022
Link: https://doi.org/10.56553..
 
?
6

Editorial:

McIver, Annabelle ; ter Beek, Maurice H
Formal Aspects of Computing.  33 (2021)  4-5 - p. 459-460 , 2021
Link: https://doi.org/10.1007/..
 
?
7

The Laplace Mechanism has optimal utility for differential ..:

, In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Fernandes, Natasha ; McIver, Annabelle ; Morgan, Carroll - p. 1-12 , 2021
Link: https://doi.org/10.1109/..
 
?
8

The laplace mechanism has optimal utility for differential ..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
Fernandes, Natasha ; McIver, Annabelle ; Morgan, Carroll - p. 1-12 , 2021
Link: https://dl.acm.org/doi/1..
 
?
9

Formal methods: practical applications and foundations: Edi..:

ter Beek, Maurice H. ; McIver, Annabelle
Formal Methods in System Design.  58 (2021)  1-2 - p. 1-4 , 2021
Link: https://doi.org/10.1007/..
 
?
10

Voting systems:

, In: The Science of Quantitative Information Flow; Information Security and Cryptography,
Alvim, Mário S. ; Chatzikokolakis, Konstantinos ; McIver, Annabelle... - p. 413-431 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Introduction to the Special Section on Quantitative Evaluat..:

Mciver, Annabelle ; Horváth, András
ACM Transactions on Modeling and Performance Evaluation of Computing Systems (TOMPECS).  5 (2020)  1 - p. 1 ff. , 2020
Link: https://dl.acm.org/doi/1..
 
?
12

Composition of channels:

, In: The Science of Quantitative Information Flow; Information Security and Cryptography,
Alvim, Mário S. ; Chatzikokolakis, Konstantinos ; McIver, Annabelle... - p. 131-145 , 2020
Link: https://doi.org/10.1007/..
 
?
13

Differential privacy:

, In: The Science of Quantitative Information Flow; Information Security and Cryptography,
Alvim, Mário S. ; Chatzikokolakis, Konstantinos ; McIver, Annabelle... - p. 433-444 , 2020
Link: https://doi.org/10.1007/..
 
?
14

On $$ \mathit {g} $$ -vulnerability:

, In: The Science of Quantitative Information Flow; Information Security and Cryptography,
Alvim, Mário S. ; Chatzikokolakis, Konstantinos ; McIver, Annabelle... - p. 25-46 , 2020
Link: https://doi.org/10.1007/..
 
?
15

Quantitative information flow in sequential computer progra..:

, In: The Science of Quantitative Information Flow; Information Security and Cryptography,
Alvim, Mário S. ; Chatzikokolakis, Konstantinos ; McIver, Annabelle... - p. 225-253 , 2020
Link: https://doi.org/10.1007/..
 
1-15