Tal Herman

13 papers A* 5A 1Journal 7
YearRankTypeTitle / Venue / Authors
2025 A* conf
How to Verify Any (Reasonable) Distribution Property: Computationally Sound Argument Systems for Distributions.
ICLR
Tal Herman, Guy N. Rothblum
2025 J jnl
Interactive proof systems for FARNESS.
Electron. Colloquium Comput. Complex.
Oded Goldreich, Tal Herman, Guy N. Rothblum
2025 A* conf
Proving Natural Distribution Properties is Harder than Testing Them.
FOCS
Tal Herman, Guy N. Rothblum
2025 J jnl
Proving Natural Distribution Properties is Harder than Testing Them.
Electron. Colloquium Comput. Complex.
Tal Herman, Guy N. Rothblum
2024 J jnl
How to Verify Any (Reasonable) Distribution Property: Computationally Sound Argument Systems for Distributions.
CoRR
Tal Herman, Guy N. Rothblum
2024 A* conf
Interactive Proofs for General Distribution Properties.
FOCS
Tal Herman, Guy N. Rothblum
2024 J jnl
Interactive Proofs for General Distribution Properties.
Electron. Colloquium Comput. Complex.
Tal Herman, Guy N. Rothblum
2024 A conf
Public Coin Interactive Proofs for Label-Invariant Distribution Properties.
APPROX/RANDOM
Tal Herman
2024 J jnl
Public Coin Interactive Proofs for Label-Invariant Distribution Properties.
Electron. Colloquium Comput. Complex.
Tal Herman
2023 A* conf
Doubley-Efficient Interactive Proofs for Distribution Properties.
FOCS
Tal Herman, Guy N. Rothblum
2023 J jnl
Doubly-Efficient Interactive Proofs for Distribution Properties.
Electron. Colloquium Comput. Complex.
Tal Herman, Guy N. Rothblum
2022 J jnl
Verifying The Unseen: Interactive Proofs for Label-Invariant Distribution Properties.
Electron. Colloquium Comput. Complex.
Tal Herman, Guy N. Rothblum
2022 A* conf
Verifying the unseen: interactive proofs for label-invariant distribution properties.
STOC
Tal Herman, Guy N. Rothblum
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling