Merge branch 'main' of github.com:kaist-hacking/kaist-hacking.github.io

Author: insuyun

assets/pubs/conf.bib

@@ -25,6 +25,7 @@ @string{TYPHOON
 
 % Software Engineering
 @string{ISSTA       = {ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)}}
+@string{ICST	= {IEEE International Conference on Software Testing, Verification and Validation (ICST)}}
 
 @Proceedings{NDSS26,
   title       = POT # { 2026 } # NDSS,
@@ -73,6 +74,14 @@ @Proceedings{ISSTA25
   address     = {Trondheim, Norway}
 }
 
+@Proceedings{ICST26TUT,
+  title	      = POT # { 2026 } # ICST # { Tutorial},
+  booktitle   = POT # { 2026 } # ICST # { Tutorial},
+  month	      = may,
+  year        = 2026,
+  address     = {Daejeon, Republic of Korea}
+}
+
 @Proceedings{OOPSLA25,
   title       = POT # { } # OOPSLA # { 2025},
   booktitle   = POT # { } # OOPSLA # { 2025},

assets/pubs/pub.bib

@@ -3,6 +3,12 @@
 %% award      : award
 
 %% 2026
+@InProceedings{lee:rtcontutorial,
+  title         = {{Function-Level Fuzzing for RTOS Kernels with RTCon}},
+  author        = {Insu Yun and Eunkyu Lee},
+  crossref      = {ICST26TUT}
+}
+
 @InProceedings{lee:rtcon,
   title         = {{RTCon: Context-Adaptive Function-Level Fuzzing for RTOS Kernels}},
   author        = {Eunkyu Lee and Junyoung Park and Insu Yun},

content/authors/seoyeon/avatar.jpg

@@ -0,0 +1,18 @@
+---
+# Display name
+title: Seoyeon Oh
+
+# Is this the primary user of the site?
+# superuser: true
+profile: false
+
+# Highlight the author in author lists? (true/false)
+highlight_name: true
+
+# Organizational groups that you belong to (for People widget)
+#   Set this to `[]` or comment out if you are not using People widget.
+user_groups:
+- Master Students
+
+external_link: https://github.com/seoyeon-oh
+---

content/authors/seoyeon/index.md

@@ -15,6 +15,7 @@ weight: 15
 title: News
 
 ---
+* [30/05/2026] "Should Opt-Out Depend on Where You Live? Comparing Mobile Privacy Choices Across Jurisdictions" accepted to [HotPETS '26](https://petsymposium.org/2026/index.php)
 * [12/05/2025] RTCon is accepted to [NDSS '26](https://www.ndss-symposium.org/ndss2026/)
 * [08/21/2025] Two papers got accepted to [CCS '25](https://www.sigsac.org/ccs/CCS2025/)
 * [08/09/2025] Team Atlanta wins [AIxCC](https://aicyberchallenge.com/)!

content/home/news.md

@@ -0,0 +1,9 @@
+@proceedings{lee:rtcontutorial,
+ address = {Daejeon, Republic of Korea},
+ author = {Insu Yun and Eunkyu Lee},
+ booktitle = {Proceedings of the 2026 IEEE International Conference on Software Testing, Verification and Validation (ICST) Tutorial},
+ month = {May},
+ title = {{Function-Level Fuzzing for RTOS Kernels with RTCon}},
+ year = {2026}
+}
+

content/publication/lee-rtcontutorial/cite.bib

@@ -0,0 +1,48 @@
+---
+# Documentation: https://wowchemy.com/docs/managing-content/
+
+title: Function-Level Fuzzing for RTOS Kernels with RTCon
+subtitle: ''
+summary: ''
+authors:
+- Insu Yun
+- Eunkyu Lee
+tags: []
+categories: []
+date: '2026-05-01'
+lastmod: 2026-05-26T22:11:50+09:00
+featured: false
+draft: false
+
+# Featured image
+# To use, add an image named `featured.jpg/png` to your page's folder.
+# Focal points: Smart, Center, TopLeft, Top, TopRight, Left, Right, BottomLeft, Bottom, BottomRight.
+image:
+  caption: ''
+  focal_point: ''
+  preview_only: false
+
+# Projects (optional).
+#   Associate this post with one or more of your projects.
+#   Simply enter your project's folder or file name without extension.
+#   E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`.
+#   Otherwise, set `projects = []`.
+projects: []
+publishDate: '2026-05-26T13:11:50.333810Z'
+publication_types:
+- '0'
+abstract: "Real-Time Operating Systems (RTOS) are widely used in embedded systems\
+  \ to support functionalities such as Bluetooth and Wi-Fi. As RTOS kernels grow in\
+  \ functionality, their attack surface also expands, increasing the need for effective\
+  \ security testing. However, existing dynamic testing techniques such as fuzzing\
+  \ have difficulty effectively testing deeply located kernel functions because these\
+  \ functions require complex execution contexts.\n\nThis tutorial presents RTCon,\
+  \ a context-adaptive function-level fuzzer for RTOS kernels. The tutorial uses Zephyr,\
+  \ an open-source RTOS for embedded and IoT devices that has been adopted as the\
+  \ embedded controller platform for ChromeOS devices, as the target system. Participants\
+  \ will learn the principles of function-level fuzzing, execution context construction\
+  \ for kernel functions, and practical techniques for testing RTOS kernels.\n"
+publication: '*Proceedings of the 2026 IEEE International Conference on Software Testing,
+  Verification and Validation (ICST) Tutorial*'
+url_slides: pubs/2026/lee:rtcontutorial-slides.pdf
+---

content/publication/lee-rtcontutorial/index.md

@@ -0,0 +1,3 @@
+Real-Time Operating Systems (RTOS) are widely used in embedded systems to support functionalities such as Bluetooth and Wi-Fi. As RTOS kernels grow in functionality, their attack surface also expands, increasing the need for effective security testing. However, existing dynamic testing techniques such as fuzzing have difficulty effectively testing deeply located kernel functions because these functions require complex execution contexts.
+
+This tutorial presents RTCon, a context-adaptive function-level fuzzer for RTOS kernels. The tutorial uses Zephyr, an open-source RTOS for embedded and IoT devices that has been adopted as the embedded controller platform for ChromeOS devices, as the target system. Participants will learn the principles of function-level fuzzing, execution context construction for kernel functions, and practical techniques for testing RTOS kernels.