Jaeseo Lee

11 papers A 1B 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2025 B conf
Formal Analysis of Networked PLC Controllers Interacting with Physical Environments.
SAS
Jaeseo Lee, Kyungmin Bae
2025 J jnl
Formal Analysis of Networked PLC Controllers Interacting with Physical Environments.
CoRR
Jaeseo Lee, Kyungmin Bae
2024 — conf
Formal Semantics and Analysis of Multitask PLC ST Programs with Preemption.
FM (1)
Jaeseo Lee, Kyungmin Bae
2023 J jnl
Electrification of CO
Comput. Chem. Eng.
Wonsuk Chung, Woohyun Jeong, Jaeseo Lee, Junehyeok Kim, Kosan Roh, Jay H. Lee
2022 — conf
Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT.
FTSCS
Jaeseo Lee, Sangki Kim, Kyungmin Bae
2021 — conf
Triad of Split Learning: Privacy, Accuracy, and Performance.
ICTC
Dongho Lee, Jaeseo Lee, Hyunsung Jun, Hongdeok Kim, Seehwan Yoo
2007 J jnl
Evaluation of Fully-Integrated Switching Regulators for CMOS Process Technologies.
IEEE Trans. Very Large Scale Integr. Syst.
Jaeseo Lee, Geoff Hatcher, Lieven Vandenberghe, Chih-Kong Ken Yang
2004 J jnl
1-Gb/s 80-dBΩ fully differential CMOS transimpedance amplifier in multichip on oxide technology for optical interconnects.
IEEE J. Solid State Circuits
Sung Min Park, Jaeseo Lee, Hoi-Jun Yoo
2004 A conf
Techniques for improving the accuracy of geometric-programming based analog circuit design optimization.
ICCAD
Jintae Kim, Jaeseo Lee, Lieven Vandenberghe
2003 — conf
Evaluation of fully-integrated switching regulators for CMOS process technologies.
SoC
Jaeseo Lee, Geoff Hatcher, Lieven Vandenberghe, Chih-Kong Ken Yang
2001 — conf
Design and implementation of CMOS LVDS 2.5 Gb/s transmitter and 1.3 Gb/s receiver for optical interconnections.
ISCAS (4)
Jaeseo Lee, Jae-Won Lim, Sung-Jun Song, Sung-Sik Song, Wang-Joo Lee, Hoi-Jun Yoo
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