Walter Dean

12 papers B 1C 1Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
From Real Analysis to the Sorites Paradox via Reverse Mathematics.
Rev. Symb. Log.
Walter Dean, Sam Sanders
2024 J jnl
Artifical intelligence and inherent mathematical difficulty.
CoRR
Walter Dean, Alberto Naibo
2020 J jnl
Incompleteness via Paradox and Completeness.
Rev. Symb. Log.
Walter Dean
2018 J jnl
Strict finitism, Feasibility, and the Sorites.
Rev. Symb. Log.
Walter Dean
2017 J jnl
The Prehistory of the Subsystems of second-order Arithmetic.
Rev. Symb. Log.
Walter Dean, Sean Walsh
2016 — ch.
Kreisel's Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause.
Advances in Proof-Theoretic Semantics
Walter Dean, Hidenori Kurokawa
2016 C conf
Squeezing Feasibility.
CiE
Walter Dean
2014 J jnl
Montague's Paradox, Informal Provability, and Explicit Modal Logic.
Notre Dame J. Formal Log.
Walter Dean
2014 J jnl
The Paradox of the Knower revisited.
Ann. Pure Appl. Log.
Walter Dean, Hidenori Kurokawa
2011 — conf
The Logic of Campaigning.
ICLA
Walter Dean, Rohit Parikh
2010 J jnl
From the Knowability Paradox to the existence of proofs.
Synth.
Walter Dean, Hidenori Kurokawa
2009 B conf
Knowledge, proof and the Knower.
TARK
Walter Dean, Hidenori Kurokawa
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