Olga Ohrimenko

Yuval Yarom

CoRR, 2024

2023

Replication Robust Payoff Allocation in Submodular Cooperative Games.

[BibT_eX]

[DOI]

Dongge Han

Michael J. Wooldridge

Alex Rogers

Sebastian Tschiatschek

IEEE Trans. Artif. Intell., October, 2023

DDoD: Dual Denial of Decision Attacks on Human-AI Teams.

[BibT_eX]

[DOI]

IEEE Pervasive Comput., 2023

Challenges towards the Next Frontier in Privacy.

[BibT_eX]

[DOI]

CoRR, 2023

Certified Robustness of Learning-based Static Malware Detectors.

[BibT_eX]

[DOI]

CoRR, 2023

UN Handbook on Privacy-Preserving Computation Techniques.

[BibT_eX]

[DOI]

CoRR, 2023

RS-Del: Edit Distance Robustness Certificates for Sequence Classifiers via Randomized Deletion.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Tight Data Access Bounds for Private Top-k Selection.

[BibT_eX]

[DOI]

Hao Wu

Proceedings of the International Conference on Machine Learning, 2023

Fingerprint Attack: Client De-Anonymization in Federated Learning.

[BibT_eX]

[DOI]

Qiongkai Xu

Trevor Cohn

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Information Leakage from Data Updates in Machine Learning Models.

[BibT_eX]

[DOI]

Tian Hui

Farhad Farokhi

Proceedings of the 16th ACM Workshop on Artificial Intelligence and Security, 2023

Protecting Global Properties of Datasets with Distribution Privacy Mechanisms.

[BibT_eX]

[DOI]

Michelle Chen

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023

2022

Verifiable and Provably Secure Machine Unlearning.

[BibT_eX]

[DOI]

CoRR, 2022

Single Round-trip Hierarchical ORAM via Succinct Indices.

[BibT_eX]

[DOI]

William L. Holland

CoRR, 2022

Walking to Hide: Privacy Amplification via Random Message Exchanges in Network.

[BibT_eX]

[DOI]

Hao Wu

CoRR, 2022

Getting a-Round Guarantees: Floating-Point Attacks on Certified Robustness.

[BibT_eX]

[DOI]

Jiankai Jin

CoRR, 2022

Are We There Yet? Timing and Floating-Point Attacks on Differential Privacy Systems.

[BibT_eX]

[DOI]

Jiankai Jin

Eleanor McMurtry

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Randomize the Future: Asymptotically Optimal Locally Private Frequency Estimation Protocol for Longitudinal Data.

[BibT_eX]

[DOI]

Hao Wu

Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

Attribute Privacy: Framework and Mechanisms.

[BibT_eX]

[DOI]

Wanrong Zhang

Rachel Cummings

Proceedings of the FAccT '22: 2022 ACM Conference on Fairness, Accountability, and Transparency, Seoul, Republic of Korea, June 21, 2022

Efficient Oblivious Permutation via the Waksman Network.

[BibT_eX]

[DOI]

William L. Holland

Proceedings of the ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022, 2022

2021

Leakage of Dataset Properties in Multi-Party Machine Learning.

[BibT_eX]

[DOI]

Wanrong Zhang

Proceedings of the 30th USENIX Security Symposium, 2021

2020

Replication-Robust Payoff-Allocation with Applications in Machine Learning Marketplaces.

[BibT_eX]

[DOI]

Dongge Han

Alex Rogers

Michael J. Wooldridge

Sebastian Tschiatschek

CoRR, 2020

Dataset-Level Attribute Leakage in Collaborative Learning.

[BibT_eX]

[DOI]

Wanrong Zhang

Santiago Zanella Béguelin

CoRR, 2020

Analyzing Information Leakage of Updates to Natural Language Models.

[BibT_eX]

[DOI]

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

Analyzing Privacy Loss in Updates of Natural Language Models.

[BibT_eX]

[DOI]

Santiago Zanella Béguelin

CoRR, 2019

Collaborative Machine Learning Markets with Data-Replication-Robust Payments.

[BibT_eX]

[DOI]

Sebastian Tschiatschek

CoRR, 2019

Custodes: Auditable Hypothesis Testing.

[BibT_eX]

[DOI]

Sacha Servan-Schreiber

Tim Kraska

Emanuel Zgraggen

CoRR, 2019

Oblivious Sampling Algorithms for Private Data Analysis.

[BibT_eX]

[DOI]

Sajin Sasy

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

An Algorithmic Framework For Differentially Private Data Analysis on Trusted Processors.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

PPML '19: Privacy Preserving Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Verifying the consistency of remote untrusted services with conflict-free operations.

[BibT_eX]

[DOI]

Christian Cachin

Inf. Comput., 2018

Structured Encryption and Leakage Suppression.

[BibT_eX]

[DOI]

Seny Kamara

Tarik Moataz

IACR Cryptol. ePrint Arch., 2018

Contamination Attacks and Mitigation in Multi-Party Machine Learning.

[BibT_eX]

[DOI]

Jamie Hayes

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

2017

Forward and Backward Private Searchable Encryption from Constrained Cryptographic Primitives.

[BibT_eX]

[DOI]

Raphael Bost

Brice Minaud

IACR Cryptol. ePrint Arch., 2017

The Pyramid Scheme: Oblivious RAM for Trusted Processors.

[BibT_eX]

[DOI]

CoRR, 2017

Strong and Efficient Cache Side-Channel Protection using Hardware Transactional Memory.

[BibT_eX]

[DOI]

Proceedings of the 26th USENIX Security Symposium, 2017

2016

Efficient Verifiable Range and Closest Point Queries in Zero-Knowledge.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., 2016

Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Oblivious Multi-Party Machine Learning on Trusted Processors.

[BibT_eX]

[DOI]

Proceedings of the 25th USENIX Security Symposium, 2016

Verifiable Zero-Knowledge Order Queries and Updates for Fully Dynamic Lists and Trees.

[BibT_eX]

[DOI]

Proceedings of the Security and Cryptography for Networks - 10th International Conference, 2016

Zero-Knowledge Accumulators and Set Algebra.

[BibT_eX]

[DOI]

Dimitrios Papadopoulos

Proceedings of the Advances in Cryptology - ASIACRYPT 2016, 2016

2015

Authenticated Range \& Closest Point Queries in Zero-Knowledge.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

Zero-Knowledge Accumulators and Set Operations.

[BibT_eX]

[DOI]

Dimitrios Papadopoulos

IACR Cryptol. ePrint Arch., 2015

Fully-Dynamic Verifiable Zero-Knowledge Order Queries for Network Data.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

Sorting and Searching Behind the Curtain.

[BibT_eX]

[DOI]

Foteini Baldimtsi

Proceedings of the Financial Cryptography and Data Security, 2015

Observing and Preventing Leakage in MapReduce.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

Zero-Knowledge Authenticated Order Queries and Order Statistics on a List.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 2015

2014

Data-Oblivious Algorithms for Privacy-Preserving Access to Cloud Storage.

[BibT_eX]

[DOI]

PhD thesis, 2014

Verifiable Member and Order Queries on a List in Zero-Knowledge.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2014

Sorting and Searching Behind the Curtain: Private Outsourced Sort and Frequency-Based Ranking of Search Results Over Encrypted Data.

[BibT_eX]

[DOI]

Foteini Baldimtsi

IACR Cryptol. ePrint Arch., 2014

Verifying the Consistency of Remote Untrusted Services with Commutative Operations.

[BibT_eX]

[DOI]

Christian Cachin

Proceedings of the Principles of Distributed Systems - 18th International Conference, 2014

The Melbourne Shuffle: Improving Oblivious Storage in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2013

Computer Security.

[BibT_eX]

Charalampos Papamanthou

Bernardo Palazzi

Proceedings of the Handbook on Graph Drawing and Visualization., 2013

On Verifying the Consistency of Remote Untrusted Services

[BibT_eX]

[DOI]

Christian Cachin

CoRR, 2013

Haze: privacy-preserving real-time traffic statistics.

[BibT_eX]

[DOI]

Joshua W. S. Brown

Proceedings of the 21st SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2013

2012

Efficient Verification of Web-Content Searching Through Authenticated Web Crawlers.

[BibT_eX]

[DOI]

Duy Nguyen

Charalampos Papamanthou

Cristina Videira Lopes

Proc. VLDB Endow., 2012

Lower bounds for randomized algorithms for online chain partitioning.

[BibT_eX]

[DOI]

Claire Mathieu

Inf. Process. Lett., 2012

Data-Oblivious Graph Drawing Model and Algorithms

[BibT_eX]

[DOI]

CoRR, 2012

Verifying Search Results Over Web Collections

[BibT_eX]

[DOI]

Duy Nguyen

Charalampos Papamanthou

Cristina Videira Lopes

CoRR, 2012

Authenticating Email Search Results.

[BibT_eX]

[DOI]

Hobart Reynolds

Proceedings of the Security and Trust Management - 8th International Workshop, 2012

Privacy-preserving group data access via stateless oblivious RAM simulation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms, 2012

Graph Drawing in the Cloud: Privately Visualizing Relational Data Using Small Working Storage.

[BibT_eX]

[DOI]

Proceedings of the Graph Drawing - 20th International Symposium, 2012

Practical oblivious storage.

[BibT_eX]

[DOI]

Proceedings of the Second ACM Conference on Data and Application Security and Privacy, 2012

2011

Oblivious Storage with Low I/O Overhead

[BibT_eX]

[DOI]

CoRR, 2011

Oblivious RAM simulation with efficient worst-case access overhead.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM Cloud Computing Security Workshop, 2011

2009

Propagation via lazy clause generation.

[BibT_eX]

[DOI]

Peter J. Stuckey

Michael Codish

Constraints An Int. J., 2009

2008

Modelling for Lazy Clause Generation.

[BibT_eX]

[DOI]

Peter J. Stuckey

Proceedings of the Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), 2008

2007

Mean Field Models of Message Throughput in Dynamic Peer-to-Peer Systems

[BibT_eX]

[DOI]

Aaron Harwood

CoRR, 2007

Propagation = Lazy Clause Generation.

[BibT_eX]

[DOI]