Insik Shin

Professor, School of Computing

KAIST, Korea

Email:

 

Quick Links:    News  |   Research  |   Publications  |   Awards  |   Teaching  |   Contact   

Biographical Sketch

Insik Shin is a professor in the School of Computing and a Chief Professor of Graduate School of Information Security at KAIST, Korea. He received a Ph.D. degree from the University of Pennsylvania, USA, an MS degree from Stanford University, USA, and a BS degree from Korea University, Korea, all in Computer (& Information) Science. Prior to joining KAIST in 2008, he has been a post-doctoral research fellow at Malardalen University, Sweden, and a visiting scholar at University of Illinois at Urbana-Champaign, USA.

His research interests include real-time embedded systems, systems security, mobile computing, and cyber-physical systems. He serves on program committees of top international conferences, including RTSS, RTAS and ECRTS. He is a recipient of several best (student) paper awards, including MobiCom 2019, RTSS 2003, RTAS 2012, and RTSS 2012, KAIST Excellence Award, KAIST Technology Innovation Awards, and Naver Young Faculty Award.

News

2019. 10

Paper

"FLUID: Flexible User Interface Distribution for Ubiquitous Multi-device Interaction" @ MobiCom 2019 (Best Paper Award)

2019. 5

Paper

"Razzer: Finding Kernel Race Bugs through Fuzzing" @ S&P 2019

2019. 4

Paper

"Fault-Resilient Real-Time Communication Using Software-Defined Networking" @ RTAS 2019

2019. 3

Media

UbiTap Press Coverage (MBC, KBS, SBS, YTN, Arirang)

2019. 2

Paper

"OBFSCURO: A Commodity Obfuscation Engine on Intel SGX", NDSS 2019

2018. 12

Paper

"MC-SDN: Supporting Mixed-Criticality Scheduling on Switched-Ethernet Using Software-Defined Networking" @ RTSS 2018

2018. 11

Paper

"UbiTap: Leveraging Acoustic Dispersion for Ubiquitous Touch Interface on Solid Surfaces" @ SenSys 2018 (Best Paper Award Runner-Up)

2018. 10

Paper

"Pride and Prejudice in Progressive Web Apps: Abusing Native App-like Features in Web Applications" @ CCS 2018

2018. 1

Paper

"Enhancing Memory Error Detection for Large-scale Applications and Fuzz Testing" @ NDSS 2018

2017.12

Award

Technology Innovation Award (School of Engineering, KAIST)

2017.10

Paper

"MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling" @ EMSOFT 2017

2017. 6

Paper

"Mobile Plus: Multi-device Mobile Platform for Cross-device Functionality Sharing" @ MobiSys 2017

2017. 2

Paper

"SGX-Shield: Enabling Address Space Layout Randomization for SGX Programs" @ NDSS 2017

 

Selected Publications

  • "FLUID: Flexible User Interface Distribution for Ubiquitous Multi-device Interaction", MobiCom 2019 (Best Paper Award)
  • "UbiTap: Leveraging Acoustic Dispersion for Ubiquitous Touch Interface on Solid Surfaces", SenSys 2018 (Best Paper Runner-Up Award)
  • "SGX-Shield: Enabling Address Space Layout Randomization for SGX Programs", NDSS 2017
  • "FlexDroid: Enforcing In-App Privilege Separation in Android", NDSS 2016
  • "Rethinking Energy-Performance Trade-Off in Mobile Web Page Loading", MobiCom 2015 (Best Paper Award Runner-Up)
  • "Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines", RTSS 2012 (Best Paper Award)
  • "Periodic Resource Model for Compositional Real-Time Guarantees", RTSS 2003 (Best Paper Award)

 

 

 

Professional Activities

  • General Co-Chair, RTCSA 2020
  • Keynote Speaker, RTCSA 2019
  • Program Co-Chair, RTCSA 2018
  • Workshop Co-Chairs, CPSNA 2012, APRES 2012, CRTS 2008
  • Vice Chair (CPS Track Chair), ICPADS 2013
  • Workshop/Tutorial Chair, CPSWeek 2013
  • Organizing Committees, CRTS 2008 - 2017
  • Steering Committee, CPSNA 2013-2016
  • Finance Chair, RTCSA 2016
  • Demo Chair, ICCPS 2013
  • Publication Chair, CPSNA 2013
  • Publicity Co-Chair, RTSS 2013
  • Associate Editor, Journal of Computing Science and Engineering, 2011-2016
  • Tutorial, CPSWeek 2012
  • TPC (2017) - ISORC, ETFA
  • TPC (2016) - RTCSA, ETFA, RTAS Demo
  • TPC (2015) - ECRTS, RTCSA, ETFA
  • TPC (2014) - RTSS, RTAS, ECRTS, RTCSA, ETFA
  • TPC (2013) - RTSS, RTAS, EMSOFT, RTCSA, CPSNA, ETFA, SOCA, GPC, VtRES, IWSC, ECRTS WIP, SIES WIP
  • TPC (2012) - RTSS, ECRTS, EMSOFT, SOCA
  • TPC (2011) - ECRTS, ETFA, RTCSA, RTSS WIP, ICCPS WIP
  • TPC (2010) - EMSOFT, ECRTS, ETFA, RTCSA, CRTS, RTAS WIP
  • TPC (2009) - RTAS, ETFA, EUC, WCPS
  • TPC (2008) - RTSS

Awards & Honors

  • Technology Innovation Award (School of Engineering, KAIST) 2019
  • Best Paper Award, MobiCom 2019
  • Technology Innovation Award (School of Engineering, KAIST) 2017
  • KAIST Excellence Award 2016
  • Naver Young Faculty Award 2015
  • Best Paper Award, CPSNA 2014
  • Best Paper Awards, RTSS 2003 and 2012
  • Best Student Paper Award, RTAS 2011
  • Best Paper Award Runner-Up, RTSS 2008
  • Best Paper Award Runner-Up, ECRTS 2008
  • Morris and Dorothy Rubinoff Award, for the best doctoral dissertation in computer technology, University of Pennsylvania, 2006
  • Bronze Prize, Samsung Electronics' Humantech Thesis Contest, 2005

Teaching

  • Operating Systems and Lab. (undergraduate), Fall 2009, Spring 2009, Fall 2010, Fall 2011, Fall 2012, Fall 2013, Spring 2014, Spring 2015, Spring 2016, Spring 2017, Spring 2018, Fall 2019
  • Advanced Operating Systems (graduate), Fall 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Fall 2015, Fall 2016, Fall 2017
  • Special Topics in Operating Systems Trustworthy Computing: Operating Systems and Virtualization, Fall 2009
  • Cyber-Physical Systems, Fall 2008

Contact Information

  • Email:
  • Phone: +82-42-350-3524
  • Fax: +82-42-350-3510
  • Office: CS Building (E3-1), Room 4425
  • Office Hours: Wednesday 2:00pm - 4:00pm, Thursday 5:30pm - 6:30pm
  • Mailing address
    Dept. of Computer Science, KAIST
    291 Daehakro, Yuseong-gu, Daejeon, South Korea 305-701