Daniel W. Cunningham

12 papers Journal 12
YearRankTypeTitle / Venue / Authors
2023 J jnl
On forcing over $L(\mathbb {R})$.
Arch. Math. Log.
Daniel W. Cunningham
2020 J jnl
A diamond-plus principle consistent with AD.
Arch. Math. Log.
Daniel W. Cunningham
2017 J jnl
A Diamond Principle Consistent with AD.
Notre Dame J. Formal Log.
Daniel W. Cunningham
2017 J jnl
A strong partition cardinal above Θ.
Arch. Math. Log.
Daniel W. Cunningham
2015 J jnl
Strong partition cardinals and determinacy in $${K(\mathbb{R})}$$ K ( R ).
Arch. Math. Log.
Daniel W. Cunningham
2012 J jnl
Scales of minimal complexity in KR.
Arch. Math. Log.
Daniel W. Cunningham
2010 J jnl
A Covering Lemma for HOD of
Notre Dame J. Formal Log.
Daniel W. Cunningham
2007 J jnl
A covering lemma for
Arch. Math. Log.
Daniel W. Cunningham
2002 J jnl
A covering lemma for L(R).
Arch. Math. Log.
Daniel W. Cunningham
1998 J jnl
Is There a Set of Reals Not in K(R)?
Ann. Pure Appl. Log.
Daniel W. Cunningham
1998 J jnl
The Fine Structure of Real Mice.
J. Symb. Log.
Daniel W. Cunningham
1995 J jnl
The Real Core Model and It Scales.
Ann. Pure Appl. Log.
Daniel W. Cunningham
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