Annabelle McIver
- A New Proof Rule for Almost-Sure Termination
2017/11/09 by Annabelle McIver, Carroll Morgan, McIver, Annabelle +5 · 11 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 · 3 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
- Conditioning in Probabilistic Programming
2018/01/03 by Federico Olmedo, Friedrich Gretz, Nils Jansen +4 · 4 citations
Computer Science · #Formal Methods in Verification #Software Testing and Debugging Techniques #Logic, programming, and type systems
- The Laplace Mechanism has optimal utility for differential privacy over\n continuous queries
2021/05/15 by Natasha Fernandes, Annabelle McIver, Fernandes, Natasha +3 · 4 citations
Computer Science · Mathematics · #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Privacy-Preserving Technologies in Data #Random Matrices and Applications
- A new rule for almost-certain termination of probabilistic- and demonic\n programs
2016/12/04 by Annabelle McIver, McIver, Annabelle, Carroll Morgan +1 · 3 citations
Computer Science · #Logic, Reasoning, and Knowledge #Bayesian Modeling and Causal Inference #Logic, programming, and type systems
- Compositional closure for Bayes Risk in probabilistic noninterference
2010/07/07 by Annabelle McIver, McIver, Annabelle, Larissa Meinicke +3 · 1 citation
Computer Science · #Security and Verification in Computing #Advanced Malware Detection Techniques #Information and Cyber Security
- Universal Optimality and Robust Utility Bounds for Metric Differential Privacy
2022/05/03 by Natasha Fernandes, Fernandes, Natasha, Annabelle McIver +5 · 1 citation
Computer Science · #Age of Information Optimization #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Privacy-Preserving Technologies in Data
- Bayes' capacity as a measure for reconstruction attacks in federated learning
2024/06/19 by Sayan Biswas, Biswas, Sayan, Mark Dras +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)
- 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)