Ron Rothblum

Orcid: 0000-0001-5481-7276

According to our database1, Ron Rothblum authored at least 72 papers between 2005 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Note on Efficient Computation of the Multilinear Extension.
IACR Cryptol. ePrint Arch., 2024

Blaze: Fast SNARKs from Interleaved RAA Codes.
IACR Cryptol. ePrint Arch., 2024

Strong Batching for Non-Interactive Statistical Zero-Knowledge.
Electron. Colloquium Comput. Complex., 2024

Locally Testable Tree Codes.
Electron. Colloquium Comput. Complex., 2024

Doubly-Efficient Batch Verification in Statistical Zero-Knowledge.
Electron. Colloquium Comput. Complex., 2024

Dot-Product Proofs and Their Applications.
Electron. Colloquium Comput. Complex., 2024

Rate-1 Zero-Knowledge Proofs from One-Way Functions.
Electron. Colloquium Comput. Complex., 2024

Fiat-Shamir in the Plain Model from Derandomization (Or: Do Efficient Algorithms Believe that NP = PSPACE?).
Electron. Colloquium Comput. Complex., 2024

2023
Combinatorially Homomorphic Encryption.
IACR Cryptol. ePrint Arch., 2023

Linear-Size Boolean Circuits for Multiselection.
Electron. Colloquium Comput. Complex., 2023

Efficient Interactive Proofs for Non-Deterministic Bounded Space.
Electron. Colloquium Comput. Complex., 2023

Batch Proofs are Statistically Hiding.
Electron. Colloquium Comput. Complex., 2023

Distribution-Free Proofs of Proximity.
Electron. Colloquium Comput. Complex., 2023

2022
Succinct Interactive Oracle Proofs: Applications and Limitations.
IACR Cryptol. ePrint Arch., 2022

Faster Sounder Succinct Arguments and IOPs.
IACR Cryptol. ePrint Arch., 2022

PPAD is as Hard as LWE and Iterated Squaring.
IACR Cryptol. ePrint Arch., 2022

Collision-Resistance from Multi-Collision-Resistance.
Electron. Colloquium Comput. Complex., 2022

Unstructured Hardness to Average-Case Randomness.
Electron. Colloquium Comput. Complex., 2022

Delegation for Search Problems.
Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

Faster Sounder Succinct Arguments and sfIOPs.
Proceedings of the Advances in Cryptology - CRYPTO 2022, 2022

2021
Constant-Round Interactive Proofs for Delegating Computation.
SIAM J. Comput., 2021

Toward Non-interactive Zero-Knowledge Proofs for NP from LWE.
J. Cryptol., 2021

Time- and Space-Efficient Arguments from Groups of Unknown Order.
IACR Cryptol. ePrint Arch., 2021

Small Circuits Imply Efficient Arthur-Merlin Protocols.
Electron. Colloquium Comput. Complex., 2021

Proving as Fast as Computing: Succinct Arguments with Constant Prover Overhead.
Electron. Colloquium Comput. Complex., 2021

Public-Coin Statistical Zero-Knowledge Batch Verification against Malicious Verifiers.
Electron. Colloquium Comput. Complex., 2021

Fiat-Shamir via List-Recoverable Codes (or: Parallel Repetition of GMW is not Zero-Knowledge).
Electron. Colloquium Comput. Complex., 2021

PCPs and Instance Compression from a Cryptographic Lens.
Electron. Colloquium Comput. Complex., 2021

An Exponential Separation Between MA and AM Proofs of Proximity.
Comput. Complex., 2021

2020
Public-Coin Zero-Knowledge Arguments with (almost) Minimal Time and Space Overheads.
IACR Cryptol. ePrint Arch., 2020

Batch Verification and Proofs of Proximity with Polylog Overhead.
Electron. Colloquium Comput. Complex., 2020

Batch Verification for Statistical Zero Knowledge Proofs.
Electron. Colloquium Comput. Complex., 2020

Hard Properties with (Very) Short PCPPs and Their Applications.
Proceedings of the 11th Innovations in Theoretical Computer Science Conference, 2020

Local Proofs Approaching the Witness Length [Extended Abstract].
Proceedings of the 61st IEEE Annual Symposium on Foundations of Computer Science, 2020

On Exponential-Time Hypotheses, Derandomization, and Circuit Lower Bounds: Extended Abstract.
Proceedings of the 61st IEEE Annual Symposium on Foundations of Computer Science, 2020

2019
Reusable Designated-Verifier NIZKs for all NP from CDH.
IACR Cryptol. ePrint Arch., 2019

New Constructions of Reusable Designated-Verifier NIZKs.
IACR Cryptol. ePrint Arch., 2019

On the (In)security of Kilian-Based SNARGs.
IACR Cryptol. ePrint Arch., 2019

Local Proofs Approaching the Witness Length.
Electron. Colloquium Comput. Complex., 2019

On Exponential-Time Hypotheses, Derandomization, and Circuit Lower Bounds.
Electron. Colloquium Comput. Complex., 2019

Statistical Difference Beyond the Polarizing Regime.
Electron. Colloquium Comput. Complex., 2019

Fiat-Shamir: from practice to theory.
Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, 2019

2018
Towards Non-Interactive Zero-Knowledge for NP from LWE.
IACR Cryptol. ePrint Arch., 2018

Fiat-Shamir and Correlation Intractability from Strong KDM-Secure Encryption.
IACR Cryptol. ePrint Arch., 2018

Fiat-Shamir From Simpler Assumptions.
IACR Cryptol. ePrint Arch., 2018

Efficient Batch Verification for UP.
Electron. Colloquium Comput. Complex., 2018

Delegating Computations with (almost) Minimal Time and Space Overhead.
Electron. Colloquium Comput. Complex., 2018

Non-interactive proofs of proximity.
Comput. Complex., 2018

From Laconic Zero-Knowledge to Public-Key Cryptography - Extended Abstract.
Proceedings of the Advances in Cryptology - CRYPTO 2018, 2018

2017
Distinguisher-Dependent Simulation in Two Rounds and its Applications.
IACR Cryptol. ePrint Arch., 2017

Zero-Knowledge Proofs of Proximity.
IACR Cryptol. ePrint Arch., 2017

Relaxed Locally Correctable Codes.
Electron. Colloquium Comput. Complex., 2017

From Laconic Zero-Knowledge to Public-Key Cryptography.
Electron. Colloquium Comput. Complex., 2017

Multi Collision Resistant Hash Functions and their Applications.
Electron. Colloquium Comput. Complex., 2017

A Hierarchy Theorem for Interactive Proofs of Proximity.
Proceedings of the 8th Innovations in Theoretical Computer Science Conference, 2017

2016
From Obfuscation to the Security of Fiat-Shamir for Proofs.
IACR Cryptol. ePrint Arch., 2016

Spooky Encryption and its Applications.
IACR Cryptol. ePrint Arch., 2016

2015
Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs.
Electron. Colloquium Comput. Complex., 2015

Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs - (Extended Abstract).
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

Arguments of Proximity - [Extended Abstract].
Proceedings of the Advances in Cryptology - CRYPTO 2015, 2015

2014
Pseudorandom Graphs in Data Structures.
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Fast Pseudorandomness for Independence and Load Balancing - (Extended Abstract).
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2013
How to Delegate Computations: The Power of No-Signaling Proofs.
Electron. Colloquium Comput. Complex., 2013

Efficient Multiparty Protocols via Log-Depth Threshold Formulae.
Electron. Colloquium Comput. Complex., 2013

Delegation for bounded space.
Proceedings of the Symposium on Theory of Computing Conference, 2013

Efficient Multiparty Protocols via Log-Depth Threshold Formulae - (Extended Abstract).
Proceedings of the Advances in Cryptology - CRYPTO 2013, 2013

2012
On the Circular Security of Bit-Encryption.
IACR Cryptol. ePrint Arch., 2012

2011
Enhancements of Trapdoor Permutations.
Electron. Colloquium Comput. Complex., 2011

2010
Homomorphic Encryption: from Private-Key to Public-Key.
Electron. Colloquium Comput. Complex., 2010

A Taxonomy of Enhanced Trapdoor Permutations.
Electron. Colloquium Comput. Complex., 2010

2005
Reactive Rules-Based Dependency Resolution for Monitoring Dynamic Environments.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

Modeling and Monitoring Dynamic Dependency Environments.
Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005


  Loading...