McIver, Annabelle
- A New Proof Rule for Almost-Sure Termination
2017/11/09 by Annabelle McIver, Carroll Morgan, McIver, Annabelle +5 · 9 citations
Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL)
- Generalised Differential Privacy for Text Document Processing
2018/11/26 by Natasha Fernandes, Mark Dras, Fernandes, Natasha +3 · 4 citations
Computer Science · #Authorship Attribution and Profiling #Hate Speech and Cyberbullying Detection #Privacy-Preserving Technologies in Data
- Conditioning in Probabilistic Programming
2015/04/01 by Friedrich Gretz, Gretz, Friedrich, Nils Jansen +9 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
- Probabilistic Rely-guarantee Calculus
2014/09/01 by McIver, Annabelle, Rabehaja, Tahiry, Struth, Georg · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- The Laplace Mechanism has optimal utility for differential privacy over continuous queries
2021/05/15 by Fernandes, Natasha, McIver, Annabelle, Morgan, Carroll · 2 citations
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- Author Obfuscation Using Generalised Differential Privacy
2018/05/22 by Fernandes, Natasha, Dras, Mark, McIver, Annabelle · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- Compositional closure for Bayes Risk in probabilistic noninterference
2010/07/07 by Annabelle McIver, Larissa Meinicke, McIver, Annabelle +3 · 1 citation
Computer Science · #Security and Verification in Computing #Advanced Malware Detection Techniques #Information and Cyber Security
- A new rule for almost-certain termination of probabilistic- and demonic\n programs
2016/12/04 by Annabelle McIver, McIver, Annabelle, Carroll Morgan +1 · 2 citations
Computer Science · #Logic, Reasoning, and Knowledge #Bayesian Modeling and Causal Inference #Logic, programming, and type systems
- Universal Optimality and Robust Utility Bounds for Metric Differential Privacy
2022/05/03 by Fernandes, Natasha, McIver, Annabelle, Palamidessi, Catuscia +1 · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- Bayes' capacity as a measure for reconstruction attacks in federated learning
2024/06/19 by Sayan Biswas, Mark Dras, Biswas, Sayan +11 · 2 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Information Theory (cs.IT) #Integrated Circuits and Semiconductor Failure Analysis #Machine Learning (cs.LG)
- An Algebraic Approach for Reasoning About Information Flow
2018/01/24 by Américo, Arthur, Alvim, Mário S., McIver, Annabelle · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV
2013/12/30 by Ansgar Fehnker, Fehnker, Ansgar, Rob van Glabbeek +9 · 2 citations
Computer Science · Engineering · #C.2.2 #Energy Efficient Wireless Sensor Networks #F.3.1 #F.3.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Mobile Ad Hoc Networks #Networking and Internet Architecture (cs.NI) #Vehicular Ad Hoc Networks (VANETs)