Propagation = Lazy Clause Generation. - Olga Ohrimenko; Peter J. Stuckey; Michael Codish (CP, 2007)

Mean Field Models of Message Throughput in Dynamic Peer-to-Peer Systems - Aaron Harwood; Olga Ohrimenko (CoRR, 2007)

Modelling for Lazy Clause Generation. - Olga Ohrimenko; Peter J. Stuckey (CATS, 2008)

Propagation via lazy clause generation. - Olga Ohrimenko; Peter J. Stuckey; Michael Codish (Constraints An Int. J., 2009)

Oblivious RAM simulation with efficient worst-case access overhead. - Michael T. Goodrich; Michael Mitzenmacher; Olga Ohrimenko; Roberto Tamassia (CCSW, 2011)

Oblivious Storage with Low I/O Overhead - Michael T. Goodrich; Michael Mitzenmacher; Olga Ohrimenko; Roberto Tamassia (CoRR, 2011)

Practical oblivious storage. - Michael T. Goodrich; Michael Mitzenmacher; Olga Ohrimenko; Roberto Tamassia (CODASPY, 2012)

Graph Drawing in the Cloud: Privately Visualizing Relational Data Using Small Working Storage. - Michael T. Goodrich; Olga Ohrimenko; Roberto Tamassia (GD, 2012)

Privacy-preserving group data access via stateless oblivious RAM simulation. - Michael T. Goodrich; Michael Mitzenmacher; Olga Ohrimenko; Roberto Tamassia (SODA, 2012)

Authenticating Email Search Results. - Olga Ohrimenko; Hobart Reynolds; Roberto Tamassia (STM, 2012)

Verifying Search Results Over Web Collections - Michael T. Goodrich; Duy Nguyen; Olga Ohrimenko; Charalampos Papamanthou; Roberto Tamassia; Nikos Triandopoulos; Cristina Videira Lopes (CoRR, 2012)

Data-Oblivious Graph Drawing Model and Algorithms - Michael T. Goodrich; Olga Ohrimenko; Roberto Tamassia (CoRR, 2012)

Lower bounds for randomized algorithms for online chain partitioning. - Claire Mathieu; Olga Ohrimenko (Inf. Process. Lett., 2012)

Efficient Verification of Web-Content Searching Through Authenticated Web Crawlers. - Michael T. Goodrich; Duy Nguyen; Olga Ohrimenko; Charalampos Papamanthou; Roberto Tamassia; Nikos Triandopoulos; Cristina Videira Lopes (Proc. VLDB Endow., 2012)

Haze: privacy-preserving real-time traffic statistics. - Joshua W. S. Brown; Olga Ohrimenko; Roberto Tamassia (SIGSPATIAL/GIS, 2013)

On Verifying the Consistency of Remote Untrusted Services - Christian Cachin; Olga Ohrimenko (CoRR, 2013)

Computer Security. - Olga Ohrimenko; Charalampos Papamanthou; Bernardo Palazzi (Handbook of Graph Drawing and Visualization, 2013)

The Melbourne Shuffle: Improving Oblivious Storage in the Cloud. - Olga Ohrimenko; Michael T. Goodrich; Roberto Tamassia; Eli Upfal (ICALP (2), 2014)

Verifying the Consistency of Remote Untrusted Services with Commutative Operations. - Christian Cachin; Olga Ohrimenko (OPODIS, 2014)

Sorting and Searching Behind the Curtain: Private Outsourced Sort and Frequency-Based Ranking of Search Results Over Encrypted Data. - Foteini Baldimtsi; Olga Ohrimenko (IACR Cryptol. ePrint Arch., 2014)

Verifiable Member and Order Queries on a List in Zero-Knowledge. - Esha Ghosh; Olga Ohrimenko; Roberto Tamassia (IACR Cryptol. ePrint Arch., 2014)

Data-Oblivious Algorithms for Privacy-Preserving Access to Cloud Storage. - Olga Ohrimenko (2014)

Zero-Knowledge Authenticated Order Queries and Order Statistics on a List. - Esha Ghosh; Olga Ohrimenko; Roberto Tamassia (ACNS, 2015)

Observing and Preventing Leakage in MapReduce. - Olga Ohrimenko; Manuel Costa; Cédric Fournet; Christos Gkantsidis; Markulf Kohlweiss; Divya Sharma (CCS, 2015)

Sorting and Searching Behind the Curtain. - Foteini Baldimtsi; Olga Ohrimenko (Financial Cryptography, 2015)

Fully-Dynamic Verifiable Zero-Knowledge Order Queries for Network Data. - Esha Ghosh; Michael T. Goodrich; Olga Ohrimenko; Roberto Tamassia (IACR Cryptol. ePrint Arch., 2015)

Zero-Knowledge Accumulators and Set Operations. - Esha Ghosh; Olga Ohrimenko; Dimitrios Papadopoulos 001; Roberto Tamassia; Nikos Triandopoulos (IACR Cryptol. ePrint Arch., 2015)

Authenticated Range & Closest Point Queries in Zero-Knowledge. - Esha Ghosh; Olga Ohrimenko; Roberto Tamassia (IACR Cryptol. ePrint Arch., 2015)

Zero-Knowledge Accumulators and Set Algebra. - Esha Ghosh; Olga Ohrimenko; Dimitrios Papadopoulos 001; Roberto Tamassia; Nikos Triandopoulos (ASIACRYPT (2), 2016)

Verifiable Zero-Knowledge Order Queries and Updates for Fully Dynamic Lists and Trees. - Esha Ghosh; Michael T. Goodrich; Olga Ohrimenko; Roberto Tamassia (SCN, 2016)

Oblivious Multi-Party Machine Learning on Trusted Processors. - Olga Ohrimenko; Felix Schuster; Cédric Fournet; Aastha Mehta; Sebastian Nowozin; Kapil Vaswani; Manuel Costa (USENIX Security Symposium, 2016)

Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data. - Dario Fiore 001; Cédric Fournet; Esha Ghosh; Markulf Kohlweiss; Olga Ohrimenko; Bryan Parno (IACR Cryptol. ePrint Arch., 2016)

Efficient Verifiable Range and Closest Point Queries in Zero-Knowledge. - Esha Ghosh; Olga Ohrimenko; Roberto Tamassia (Proc. Priv. Enhancing Technol., 2016)

Strong and Efficient Cache Side-Channel Protection using Hardware Transactional Memory. - Daniel Gruss; Julian Lettner; Felix Schuster; Olga Ohrimenko; István Haller; Manuel Costa (USENIX Security Symposium, 2017)

The Pyramid Scheme: Oblivious RAM for Trusted Processors. - Manuel Costa; Lawrence Esswood; Olga Ohrimenko; Felix Schuster; Sameer Wagh (CoRR, 2017)

Forward and Backward Private Searchable Encryption from Constrained Cryptographic Primitives. - Raphael Bost; Brice Minaud; Olga Ohrimenko (IACR Cryptol. ePrint Arch., 2017)

Contamination Attacks and Mitigation in Multi-Party Machine Learning. - Jamie Hayes; Olga Ohrimenko (NeurIPS, 2018)

Structured Encryption and Leakage Suppression. - Seny Kamara; Tarik Moataz; Olga Ohrimenko (IACR Cryptol. ePrint Arch., 2018)

Verifying the consistency of remote untrusted services with conflict-free operations. - Christian Cachin; Olga Ohrimenko (Inf. Comput., 2018)

PPML '19: Privacy Preserving Machine Learning. - Borja Balle; Adrià Gascón; Olya Ohrimenko; Mariana Raykova 001; Phillipp Schoppmann; Carmela Troncoso (CCS, 2019)

An Algorithmic Framework For Differentially Private Data Analysis on Trusted Processors. - Joshua Allen; Bolin Ding; Janardhan Kulkarni; Harsha Nori; Olga Ohrimenko; Sergey Yekhanin (NeurIPS, 2019)

Oblivious Sampling Algorithms for Private Data Analysis. - Sajin Sasy; Olga Ohrimenko (NeurIPS, 2019)

Custodes: Auditable Hypothesis Testing. - Sacha Servan-Schreiber; Olga Ohrimenko; Tim Kraska; Emanuel Zgraggen (CoRR, 2019)

Collaborative Machine Learning Markets with Data-Replication-Robust Payments. - Olga Ohrimenko; Shruti Tople; Sebastian Tschiatschek (CoRR, 2019)

Analyzing Privacy Loss in Updates of Natural Language Models. - Shruti Tople; Marc Brockschmidt; Boris Köpf; Olga Ohrimenko; Santiago Zanella-Béguelin (CoRR, 2019)

Analyzing Information Leakage of Updates to Natural Language Models. - Santiago Zanella-Béguelin; Lukas Wutschitz; Shruti Tople; Victor Rühle; Andrew Paverd; Olga Ohrimenko; Boris Köpf; Marc Brockschmidt (CCS, 2020)

Dataset-Level Attribute Leakage in Collaborative Learning. - Wanrong Zhang 001; Shruti Tople; Olga Ohrimenko (CoRR, 2020)

Replication-Robust Payoff-Allocation with Applications in Machine Learning Marketplaces. - Dongge Han; Shruti Tople; Alex Rogers; Michael J. Wooldridge; Olga Ohrimenko; Sebastian Tschiatschek (CoRR, 2020)

Leakage of Dataset Properties in Multi-Party Machine Learning. - Wanrong Zhang 001; Shruti Tople; Olga Ohrimenko (USENIX Security Symposium, 2021)

Efficient Oblivious Permutation via the Waksman Network. - William L. Holland; Olga Ohrimenko; Anthony Wirth (AsiaCCS, 2022)

Attribute Privacy: Framework and Mechanisms. - Wanrong Zhang 001; Olga Ohrimenko; Rachel Cummings (FAccT, 2022)

Randomize the Future: Asymptotically Optimal Locally Private Frequency Estimation Protocol for Longitudinal Data. - Olga Ohrimenko; Anthony Wirth; Hao Wu 057 (PODS, 2022)

Are We There Yet? Timing and Floating-Point Attacks on Differential Privacy Systems. - Jiankai Jin; Eleanor McMurtry; Benjamin I. P. Rubinstein; Olga Ohrimenko (SP, 2022)

Walking to Hide: Privacy Amplification via Random Message Exchanges in Network. - Hao Wu 057; Olga Ohrimenko; Anthony Wirth (CoRR, 2022)

Protecting Global Properties of Datasets with Distribution Privacy Mechanisms. - Michelle Chen; Olga Ohrimenko (AISTATS, 2023)

Information Leakage from Data Updates in Machine Learning Models. - Tian Hui; Farhad Farokhi; Olga Ohrimenko (AISec@CCS, 2023)

Fingerprint Attack: Client De-Anonymization in Federated Learning. - Qiongkai Xu; Trevor Cohn; Olga Ohrimenko (ECAI, 2023)

Tight Data Access Bounds for Private Top-k Selection. - Hao Wu 057; Olga Ohrimenko; Anthony Wirth (ICML, 2023)

RS-Del: Edit Distance Robustness Certificates for Sequence Classifiers via Randomized Deletion. - Zhuoqun Huang; Neil G. Marchant; Keane Lucas; Lujo Bauer; Olga Ohrimenko; Benjamin I. P. Rubinstein (NeurIPS, 2023)

UN Handbook on Privacy-Preserving Computation Techniques. - David W. Archer; Borja de Balle Pigem; Dan Bogdanov; Mark Craddock; Adrià Gascón; Ronald Jansen; Matjaz Jug; Kim Laine; Robert McLellan; Olga Ohrimenko; Mariana Raykova 001; Andrew Trask; et al. (CoRR, 2023)

Certified Robustness of Learning-based Static Malware Detectors. - Zhuoqun Huang; Neil G. Marchant; Keane Lucas; Lujo Bauer; Olga Ohrimenko; Benjamin I. P. Rubinstein (CoRR, 2023)

Challenges towards the Next Frontier in Privacy. - Rachel Cummings; Damien Desfontaines; David Evans 001; Roxana Geambasu; Matthew Jagielski; Yangsibo Huang; Peter Kairouz; Gautam Kamath 001; Sewoong Oh; Olga Ohrimenko; Nicolas Papernot; Ryan Rogers 002; et al. (CoRR, 2023)

DDoD: Dual Denial of Decision Attacks on Human-AI Teams. - Benjamin Tag; Niels van Berkel; Sunny Verma; Benjamin Zi Hao Zhao; Shlomo Berkovsky; Dali Kaafar; Vassilis Kostakos; Olga Ohrimenko (IEEE Pervasive Comput., 2023)

Replication Robust Payoff Allocation in Submodular Cooperative Games. - Dongge Han; Michael J. Wooldridge; Alex Rogers; Olga Ohrimenko; Sebastian Tschiatschek (IEEE Trans. Artif. Intell., 2023)

Getting a-Round Guarantees: Floating-Point Attacks on Certified Robustness. - Jiankai Jin; Olga Ohrimenko; Benjamin I. P. Rubinstein (AISec@CCS, 2024)

Single Round-trip Hierarchical ORAM via Succinct Indices. - William L. Holland; Olga Ohrimenko; Anthony Wirth (AsiaCCS, 2024)

Elephants Do Not Forget: Differential Privacy with State Continuity for Privacy Budget. - Jiankai Jin; Chitchanok Chuengsatiansup; Toby Murray; Benjamin I. P. Rubinstein; Yuval Yarom; Olga Ohrimenko (CCS, 2024)

CERT-ED: Certifiably Robust Text Classification for Edit Distance. - Zhuoqun Huang; Neil G. Marchant; Olga Ohrimenko; Benjamin I. P. Rubinstein (EMNLP (Findings), 2024)

Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms. - Pengbo Yan; Toby Murray; Olga Ohrimenko; Van-Thuan Pham; Robert Sison (FM (1), 2024)

Data Privacy: The Land Where Average Cases Don't Exist and Assumptions Quickly Perish (Invited Talk). - Olga Ohrimenko (ISAAC, 2024)

Certified Adversarial Robustness via Randomized α-Smoothing for Regression Models. - Aref Miri Rekavandi; Farhad Farokhi; Olga Ohrimenko; Benjamin I. P. Rubinstein (NeurIPS, 2024)

Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version). - Pengbo Yan; Toby Murray; Olga Ohrimenko; Van-Thuan Pham; Robert Sison (CoRR, 2024)

Verifiable and Provably Secure Machine Unlearning. - Thorsten Eisenhofer; Doreen Riepel; Varun Chandrasekaran; Esha Ghosh; Olga Ohrimenko; Nicolas Papernot (SaTML, 2025)

RS-Reg: Probabilistic and Robust Certified Regression through Randomized Smoothing. - Aref Miri Rekavandi; Olga Ohrimenko; Benjamin I. P. Rubinstein (Trans. Mach. Learn. Res., 2025)