Charalampos Papamanthou

IACR Cryptol. ePrint Arch., 2024

Reckle Trees: Updatable Merkle Batch Proofs with Applications.

[BibT_eX]

[DOI]

Nicolas Gailly

Ismael Hishon-Rezaizadeh

Andrus Salumets

Stjepan Golemac

IACR Cryptol. ePrint Arch., 2024

Robust Double Auctions for Resource Allocation.

[BibT_eX]

[DOI]

Ismael Hishon-Rezaizadeh

IACR Cryptol. ePrint Arch., 2024

Single Pass Client-Preprocessing Private Information Retrieval.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2024

Multi-Server Doubly Efficient PIR.

[BibT_eX]

[DOI]

Zeyu Liu

Ben Fisch

IACR Cryptol. ePrint Arch., 2024

Single Server PIR via Homomorphic Thorp Shuffles.

[BibT_eX]

[DOI]

Ben Fisch

Zeyu Liu

IACR Cryptol. ePrint Arch., 2024

Early Stopping Byzantine Agreement in (1+ε)· f Rounds.

[BibT_eX]

[DOI]

Fatima Elsheimy

IACR Cryptol. ePrint Arch., 2024

Towards Optimal Parallel Broadcast under a Dishonest Majority.

[BibT_eX]

[DOI]

Daniel Collins

Sisi Duan

Haochen Wang

IACR Cryptol. ePrint Arch., 2024

Sublinear-Round Broadcast without Trusted Setup.

[BibT_eX]

[DOI]

Andreea B. Alexandru

Benedikt Wagner

IACR Cryptol. ePrint Arch., 2024

Deterministic Byzantine Agreement with Adaptive O(n · f) Communication.

[BibT_eX]

[DOI]

Fatima Elsheimy

Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms, 2024

2023

Generalized cuckoo hashing with a stash, revisited.

[BibT_eX]

[DOI]

Brice Minaud

Inf. Process. Lett., March, 2023

GraphOS: Towards Oblivious Graph Processing.

[BibT_eX]

[DOI]

Javad Ghareh Chamani

Rasool Jalili

Proc. VLDB Endow., 2023

The Locality of Memory Checking.

[BibT_eX]

[DOI]

Weijie Wang

Yujie Lu

Fan Zhang

IACR Cryptol. ePrint Arch., 2023

TreePIR: Sublinear-Time and Polylog-Bandwidth Private Information Retrieval from DDH.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

Deterministic Byzantine Agreement with Adaptive O(n· f) Communication.

[BibT_eX]

[DOI]

Fatima Elsheimy

IACR Cryptol. ePrint Arch., 2023

Near-Optimal Private Information Retrieval with Preprocessing.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 21st International Conference, 2023

2022

BalanceProofs: Maintainable Vector Commitments with Fast Aggregation.

[BibT_eX]

[DOI]

Weijie Wang

Annie Ulichney

IACR Cryptol. ePrint Arch., 2022

Transparent Batchable Time-lock Puzzles and Applications to Byzantine Consensus.

[BibT_eX]

[DOI]

Sri Aravinda Krishnan Thyagarajan

IACR Cryptol. ePrint Arch., 2022

Batching, Aggregation, and Zero-Knowledge Proofs in Bilinear Accumulators.

[BibT_eX]

[DOI]

Ioanna Karantaidou

Foteini Baldimtsi

IACR Cryptol. ePrint Arch., 2022

Single Server PIR with Sublinear Amortized Time and Polylogarithmic Bandwidth.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

Sublinear-round Broadcast without trusted setup against dishonest majority.

[BibT_eX]

[DOI]

Andreea B. Alexandru

IACR Cryptol. ePrint Arch., 2022

Gossiping for Communication-Efficient Broadcast.

[BibT_eX]

[DOI]

Georgios Tsimos

Proceedings of the Advances in Cryptology - CRYPTO 2022, 2022

Leakage Inversion: Towards Quantifying Privacy in Searchable Encryption.

[BibT_eX]

[DOI]

Nathaniel Moyer

Alexandros Psomas

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

2021

Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments.

[BibT_eX]

[DOI]

Alexander Chepurnoy

Alin Tomescu

IACR Cryptol. ePrint Arch., 2021

Indifferentiable Signatures: High Performance and Fallback Security.

[BibT_eX]

[DOI]

Cong Zhang

Hong-Sheng Zhou

IACR Cryptol. ePrint Arch., 2021

Response-Hiding Encrypted Ranges: Revisiting Security via Parametrized Leakage-Abuse Attacks.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

2020

Nearly Quadratic Broadcast Without Trusted Setup Under Dishonest Majority.

[BibT_eX]

[DOI]

Georgios Tsimos

IACR Cryptol. ePrint Arch., 2020

MIRAGE: Succinct Arguments for Randomized Algorithms with Applications to Universal zk-SNARKs.

[BibT_eX]

[DOI]

Dawn Song

IACR Cryptol. ePrint Arch., 2020

Note on Generalized Cuckoo Hashing with a Stash.

[BibT_eX]

[DOI]

Brice Minaud

CoRR, 2020

2019

Oblivious Network RAM and Leveraging Parallelism to Achieve Obliviousness.

[BibT_eX]

[DOI]

Dana Dachman-Soled

Chang Liu

Uzi Vishkin

J. Cryptol., 2019

Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation.

[BibT_eX]

[DOI]

Tiancheng Xie

Jiaheng Zhang

Dawn Song

IACR Cryptol. ePrint Arch., 2019

The State of the Uniform: Attacks on Encrypted Databases Beyond the Uniform Query Distribution.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

SEAL: Attack Mitigation for Encrypted Databases via Adjustable Leakage.

[BibT_eX]

[DOI]

Saurabh Shintre

IACR Cryptol. ePrint Arch., 2019

Dynamic Searchable Encryption with Small Client Storage.

[BibT_eX]

[DOI]

Javad Ghareh Chamani

IACR Cryptol. ePrint Arch., 2019

CCSW'19 Workshop Summary: 2019 Cloud Computing Security Workshop.

[BibT_eX]

[DOI]

Radu Sion

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

2018

Practical Private Range Search in Depth.

[BibT_eX]

[DOI]

Stavros Papadopoulos

Odysseas Papapetrou

Antonios Deligiannakis

Minos N. Garofalakis

ACM Trans. Database Syst., 2018

Verifiable Graph Processing.

[BibT_eX]

[DOI]

ACM Trans. Priv. Secur., 2018

Efficient Searchable Encryption Through Compression.

[BibT_eX]

[DOI]

Rajdeep Talapatra

Proc. VLDB Endow., 2018

Efficient Dynamic Searchable Encryption with Forward Privacy.

[BibT_eX]

[DOI]

Mohammad Etemad

Alptekin Küpçü

David Evans

Proc. Priv. Enhancing Technol., 2018

Transparency Logs via Append-only Authenticated Dictionaries.

[BibT_eX]

[DOI]

Alin Tomescu

Vivek Bhupatiraju

Srinivas Devadas

IACR Cryptol. ePrint Arch., 2018

Data Recovery on Encrypted Databases With k-Nearest Neighbor Query Leakage.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

Edrax: A Cryptocurrency with Stateless Transaction Validation.

[BibT_eX]

[DOI]

Alexander Chepurnoy

IACR Cryptol. ePrint Arch., 2018

Privacy in decentralized cryptocurrencies.

[BibT_eX]

[DOI]

Commun. ACM, 2018

vRAM: Faster Verifiable RAM with Program-Independent Preprocessing.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

xJsnark: A Framework for Efficient Verifiable Computation.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Understanding User Tradeoffs for Search in Encrypted Communication.

[BibT_eX]

[DOI]

Wei Bai

Ciara Lynton

Michelle L. Mazurek

Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

New Constructions for Forward and Backward Private Symmetric Searchable Encryption.

[BibT_eX]

[DOI]

Javad Ghareh Chamani

Rasool Jalili

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

DATS - Data Containers for Web Applications.

[BibT_eX]

[DOI]

Casen Hunger

Lluís Vilanova

Yoav Etsion

Mohit Tiwari

Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

2017

A Zero-Knowledge Version of vSQL.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

Searchable Encryption with Optimal Locality: Achieving Sublogarithmic Read Efficiency.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

Fast Searchable Encryption With Tunable Locality.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

An Expressive (Zero-Knowledge) Set Accumulator.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE European Symposium on Security and Privacy, 2017

2016

All Your Queries Are Belong to Us: The Power of File-Injection Attacks on Searchable Encryption.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Authenticated Hash Tables Based on Cryptographic Accumulators.

[BibT_eX]

[DOI]

Algorithmica, 2016

TWORAM: Efficient Oblivious RAM in Two Rounds with Applications to Searchable Encryption.

[BibT_eX]

[DOI]

Sanjam Garg

Payman Mohassel

Proceedings of the Advances in Cryptology - CRYPTO 2016, 2016

2015

Dynamic Provable Data Possession.

[BibT_eX]

[DOI]

C. Christopher Erway

Alptekin Küpçü

ACM Trans. Inf. Syst. Secur., 2015

Practical Authenticated Pattern Matching with Optimal Proof Size.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2015

How to Use SNARKs in Universally Composable Protocols.

[BibT_eX]

[DOI]

Rafael Pass

Abhi Shelat

IACR Cryptol. ePrint Arch., 2015

Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

TWORAM: Round-Optimal Oblivious RAM with Applications to Searchable Encryption.

[BibT_eX]

[DOI]

Sanjam Garg

Payman Mohassel

IACR Cryptol. ePrint Arch., 2015

Oblivious Network RAM.

[BibT_eX]

[DOI]

Dana Dachman-Soled

Chang Liu

Uzi Vishkin

IACR Cryptol. ePrint Arch., 2015

On the Complexity of the Minimum Independent Set Partition Problem.

[BibT_eX]

[DOI]

T.-H. Hubert Chan

Zhichao Zhao

Proceedings of the Computing and Combinatorics - 21st International Conference, 2015

IntegriDB: Verifiable SQL for Outsourced Databases.

[BibT_eX]

[DOI]

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

2014

TRUESET: Nearly Practical Verifiable Set Computations.

[BibT_eX]

[DOI]

Mahmoud F. Sayed

IACR Cryptol. ePrint Arch., 2014

Accountable Storage.

[BibT_eX]

[DOI]

Giuseppe Ateniese

Vassilios Lekakis

Evripidis Paraskevas

IACR Cryptol. ePrint Arch., 2014

TRUESET: Faster Verifiable Set Computations.

[BibT_eX]

[DOI]

Mahmoud F. Sayed

Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014., 2014

ALITHEIA: Towards Practical Verifiable Graph Processing.

[BibT_eX]

[DOI]

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

Streaming Authenticated Data Structures: Abstraction and Implementation.

[BibT_eX]

[DOI]

Yi Qian

Xi Chen

Proceedings of the 6th edition of the ACM Workshop on Cloud Computing Security, 2014

2013

Computer Security.

[BibT_eX]

Olga Ohrimenko

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

Practical Dynamic Searchable Encryption with Small Leakage.

[BibT_eX]

[DOI]

Emil Stefanov

IACR Cryptol. ePrint Arch., 2013

Parallel and Dynamic Searchable Symmetric Encryption.

[BibT_eX]

[DOI]

Seny Kamara

IACR Cryptol. ePrint Arch., 2013

Signatures of Correct Computation.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 10th Theory of Cryptography Conference, 2013

Preserving Link Privacy in Social Network Based Systems.

[BibT_eX]

[DOI]

Prateek Mittal

Dawn Xiaodong Song

Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013

Streaming Authenticated Data Structures.

[BibT_eX]

[DOI]

Ke Yi

Proceedings of the Advances in Cryptology, 2013

Practical dynamic proofs of retrievability.

[BibT_eX]

[DOI]

Emil Stefanov

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

2012

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

[BibT_eX]

[DOI]

Duy Nguyen

Olga Ohrimenko

Cristina Videira Lopes

Proc. VLDB Endow., 2012

Dynamic Searchable Symmetric Encryption.

[BibT_eX]

[DOI]

Seny Kamara

Tom Roeder

IACR Cryptol. ePrint Arch., 2012

Verifying Search Results Over Web Collections

[BibT_eX]

[DOI]

Duy Nguyen

Olga Ohrimenko

Cristina Videira Lopes

CoRR, 2012

2011

Cryptography for Efficiency: New Directions in Authenticated Data Structures.

[BibT_eX]

[DOI]

PhD thesis, 2011

Cryptography for Efficiency: Authenticated Data Structures Based on Lattices and Parallel Online Memory Checking.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2011

Publicly Verifiable Delegation of Computation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2011

MOMMIE Knows Best: Systematic Optimizations for Verifiable Distributed Algorithms.

[BibT_eX]

[DOI]

Michael Dietz

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

2010

Applications of Parameterized st-Orientations.

[BibT_eX]

[DOI]

J. Graph Algorithms Appl., 2010

Corrigendum: On the initialization methods of an exterior point algorithm for the assignment problem.

[BibT_eX]

[DOI]

Angelo Sifaleras

Int. J. Comput. Math., 2010

On the initialization methods of an exterior point algorithm for the assignment problem.

[BibT_eX]

[DOI]

Angelo Sifaleras

Int. J. Comput. Math., 2010

Optimal Verification of Operations on Dynamic Sets.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2010

Optimal Authenticated Data Structures with Multilinear Forms.

[BibT_eX]

[DOI]

Proceedings of the Pairing-Based Cryptography - Pairing 2010, 2010

2009

Cryptographic Accumulators for Authenticated Hash Tables.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2009

2008

Algorithms for computing a parameterized st-orientation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Distortion lower bounds for line embeddings.

[BibT_eX]

[DOI]

Claire Mathieu

Inf. Process. Lett., 2008

Worst case examples of an exterior point algorithm for the assignment problem.

[BibT_eX]

[DOI]

Konstantinos Stergiou

Discret. Optim., 2008

Effective Visualization of File System Access-Control.

[BibT_eX]

[DOI]

Alexander Heitzmann

Proceedings of the 5th International Workshop on Visualization for Computer Security, 2008

Efficient integrity checking of untrusted network storage.

[BibT_eX]

[DOI]

Alexander Heitzmann

Proceedings of the 2008 ACM Workshop On Storage Security And Survivability, 2008

Athos: Efficient Authentication of Outsourced File Systems.

[BibT_eX]

[DOI]

Proceedings of the Information Security, 11th International Conference, 2008

Graph Drawing for Security Visualization.

[BibT_eX]

[DOI]

Proceedings of the Graph Drawing, 16th International Symposium, 2008

Authenticated hash tables.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

Algorithms for Location Estimation Based on RSSI Sampling.

[BibT_eX]

[DOI]

Franco P. Preparata

Proceedings of the Algorithmic Aspects of Wireless Sensor Networks, 2008

2007

On the Cost of Persistence and Authentication in Skip Lists.

[BibT_eX]

[DOI]

Proceedings of the Experimental Algorithms, 6th International Workshop, 2007

Time and Space Efficient Algorithms for Two-Party Authenticated Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security, 9th International Conference, 2007

2006

Parameterized st -Orientations of Graphs: Algorithms and Experiments.

[BibT_eX]

[DOI]

Proceedings of the Graph Drawing, 14th International Symposium, 2006

2005

Applications of Parameterized st-Orientations in Graph Drawing Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Graph Drawing, 13th International Symposium, 2005

2004

Computational experience with exterior point algorithms for the transportation problem.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2004

3D Visualization of Semantic Metadata Models and Ontologies.

[BibT_eX]

[DOI]

Martin Doerr

Proceedings of the Graph Drawing, 12th International Symposium, 2004

2003

A visualization of the primal simplex algorithm for the assignment problem.

[BibT_eX]

[DOI]