Tak-John Koo

16 papers A* 3B 2Misc 2Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2007 — conf
COMPSAC (1)
Graham Hemingway, Hang Su, Kai Chen, Tak-John Koo
2006 B conf
ATVA
Hang Su, Graham Hemingway, Kai Chen, Tak-John Koo
2006 A* conf
ICRA
Nagarajan Kandasamy, Fadi A. Aloul, Tak-John Koo
2005 B conf
ATVA
Abhishek Dubey, Xianbin Wu, Hang Su, Tak-John Koo
2005 J jnl
ACM Trans. Embed. Comput. Syst.
Janos Sztipanovits, Gautam Biswas, Ken Frampton, Aniruddha S. Gokhale, Larry Howard, Gabor Karsai, Tak-John Koo, Xenofon D. Koutsoukos, Douglas C. Schmidt
2003 — conf
HSCC
Matthew Senesky, Gabriel Eirea, Tak-John Koo
2003 — conf
CDC
Shannon Zelinski, Tak-John Koo, Shankar Sastry
2003 A* conf
ICRA
Shannon Zelinski, Tak-John Koo, Shankar Sastry
2003 J jnl
Proc. IEEE
Benjamin Horowitz, Judith Liebman, Cedric Ma, Tak-John Koo, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry
2002 — conf
HSCC
Tak-John Koo, Shankar Sastry
2002 Misc conf
EMSOFT
Tak-John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry
2001 Misc conf
EMSOFT
Tak-John Koo, Judith Liebman, Cedric Ma, Shankar Sastry
2001 — conf
HSCC
Tak-John Koo, George J. Pappas, Shankar Sastry
2001 — conf
CDC
Tak-John Koo, George J. Pappas, Shankar Sastry
2001 A* conf
ICRA
Bruno Sinopoli, Mario Micheli, Gianluca Donato, Tak-John Koo
1999 — conf
HSCC
Magnus Egerstedt, Tak-John Koo, Frank Hoffmann, Shankar Sastry
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