Kai Hauser

11 papers Journal 11
YearRankTypeTitle / Venue / Authors
2006 J jnl
Gödel's Program Revisited, Part I: The Turn to Phenomenology.
Bull. Symb. Log.
Kai Hauser
2001 J jnl
Objectivity Over Objects: A Case Study In Theory Formation.
Synth.
Kai Hauser
2000 J jnl
Generic relativizations of fine structure.
Arch. Math. Log.
Kai Hauser
2000 J jnl
Projective Uniformization Revisited.
Ann. Pure Appl. Log.
Kai Hauser, Ralf-Dieter Schindler
1999 J jnl
A Minimal Counterexample To Universal Baireness.
J. Symb. Log.
Kai Hauser
1999 J jnl
Pi
J. Symb. Log.
Kai Hauser, W. Hugh Woodin
1997 J jnl
Strong Cardinals in the Core Model.
Ann. Pure Appl. Log.
Kai Hauser, Greg Hjorth
1995 J jnl
The Consistency Strength of Projective Absoluteness.
Ann. Pure Appl. Log.
Kai Hauser
1992 J jnl
Indescribable cardinals without diamonds.
Arch. Math. Log.
Kai Hauser
1992 J jnl
The Indestructability of the Order of the Indescribable Cardinals.
Ann. Pure Appl. Log.
Kai Hauser
1991 J jnl
Indescribable Cardinals and Elementary Embeddings.
J. Symb. Log.
Kai Hauser
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