Software Languages and Systems Laboratory for Security

We develop foundations and tools for high-quality and cost-effective software systems on next-generation computing platforms.

Publications

• Statically Typed and Purely Functional EOPL, Asian Symposium on Programming Languages and Systems (APLAS 2026), December 2026(Accepted for Publication)
• A MITRE ATT&CK-Based Attack Dependency Graph Dataset for Evaluating Attack Progression Validity(Poster), The 29th International Symposium on Research in Attacks, Intrusions and Defenses(RAID), October 12-14, 2026.
• Watchdog for Cross-Session Artifact Taint Enforcement in LLM Agents(Poster), The 29th International Symposium on Research in Attacks, Intrusions and Defenses(RAID), October 12-14, 2026.
• SW 취약점 탐지에서 패치 기반 데이터셋의 함수 라벨링 한계와 트레이스 단위 데이터셋 구축 및 평가, 스마트미디어저널 (게재 승인), 2026년 8월.
• Fully Automated End-to-End Adversary Emulation from MITRE ATT\&CK Based Cyber Threat Intelligence Using LLMs, July 2026(PDF at arXiv)
• HA-SmartBlock: An Event-Condtion-Action-Based Visual Block System for Home Assistant, June 2026 (PDF at SSRN)
• DPLL(T) 기반 ReLU 신경망 검증을 위한 교육용 오픈소스 소프트웨어 개발, 2026년 한국정보보호학회 하계학술대회(CISC-S'26), 2026년 5월7-8일, 부산 벡스코 제2전시장.
• A Visual Block Programming Environment for Home Assistant: A Progress Report, 8th Int'l Workshop on Software Engineering Research and Practices for the Iot, Rio De Janeiro, Brazil, April 12-18, 2026.
• Improving LLM-based Code Completion Using LR Parsing, Journal of Computer Languages, September, 2025. (LINK)
• Certified Robustness of Antenna Selecting Neural Networks for Massive MIMO Wireless Communications, IEEE Access, May, 2025. (PDF)

Laboratory

Lectures

• Programming Languages
• Application Security-Web Security
• Compilers
• Program Analysis Techniques Lecture notes(in Korean)
• Functional Programming, Haskell (Part1 Lecture 1-4)
• E-class