Prof Olya Ohrimenko
Professor
School of Computing and Information Systems
61 Scholarly works
8 Projects
HIGHLIGHTS
2026
Journal article
Lazy clause generation in retrospect
DOI: 10.1007/s10601-026-09390-92026
Research grants (ARC, NHMRC, MRFF)
ARC Training Centre for Transformative Health Sensing Technologies
2025
Conference Proceedings
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms
DOI: 10.1007/978-3-031-71162-6_102025
Journal article
RS-Reg: Probabilistic and Robust Certified Regression through Randomized Smoothing
2022
Research Grant
Combining Differential Privacy and Federated Learning to Protect Against Privacy Leaks in Deep Learning NLP
2022
Conference Proceedings
Are We There Yet? Timing and Floating-Point Attacks on Differential Privacy Systems
DOI: 10.1109/SP46214.2022.98336722021
Research Grant
AUSMURI Cohesive and Robust Human-Bot Cybersecurity Teams
RECENT SCHOLARLY WORKS
2025
Reference Work
Melbourne Shuffle, The
DOI: 10.1007/978-3-030-71522-9_17912025
Book Chapter
Data Privacy in Enterprise AI
DOI: 10.1007/978-3-032-01940-0_52025
Conference Proceedings
AdaptDel: Adaptable Deletion Rate Randomized Smoothing for Certified Robustness
DOI: 10.52202/085713-17512025
Conference Proceedings
Verifiable and Provably Secure Machine Unlearning
DOI: 10.1109/SaTML64287.2025.000332024
Conference Proceedings
Elephants Do Not Forget: Differential Privacy with State Continuity for Privacy Budget
DOI: 10.1145/3658644.36702812024
Conference Proceedings
Getting a-Round Guarantees: Floating-Point Attacks on Certified Robustness
DOI: 10.1145/3689932.36947612024
Conference Proceedings
Single Round-trip Hierarchical ORAM via Succinct Indices
DOI: 10.1145/3634737.3656290
RECENT PROJECTS
2026
Research grants (other domestic)
Secure Flow of Confidential and Classified Data in AI Systems