KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

 
  • 2020

  • Agamotto: Accelerating kernel driver fuzzing with lightweight virtual machine checkpoints

    Song, Dokyung, Hetzelt, Felicitas, Jonghwan Kim, Kang, Brent Byunghoon, Seifert, Jean-Pierre, Franz, Michael
    29th USENIX Security Symposium
    2020

  • An Edge-assisted Data Security Platform for Connected Vehicles Considering Vehicle Data Governance

    Jiyong Han, Daeyoung KIM
    Transportation Research Board the 99th Annual Meeting
    2020

  • An Effective Approach to Enhancing a Focused Crawler Using Google

    Lee Jae-Gil, Bae, Donghwan, Kim, Sansung, Kim, Jungeun, Yi, MY
    JOURNAL OF SUPERCOMPUTING
    2020

  • An ear-eeg-based brain-computer interface using concentration level for control

    NETIWIT KAONGOEN, Sungho Jo
    8th International Winter Conference on Brain-Computer Interface, BCI 2020
    2020

    []

  • Analysis of Blockchain Smart Contracts: Techniques and Insights

    Kim, Shinhae, Sukyoung Ryu
    2020 IEEE Secure Development (SecDev)
    2020

  • Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference

    Manes, Valentin J. M., SOOMIN KIM, Sang Kil Cha
    42nd ACM/IEEE International Conference on Software Engineering, ICSE 2020
    2020

  • Application of Hybrid Brain-Computer Interface with Augmented Reality on Quadcopter Control

    Choi, Jaehoon, Sungho Jo
    8th International Winter Conference on Brain-Computer Interface, BCI 2020
    2020

    []

  • Asia's Surging Interest in Binary Analysis

    Sang Kil Cha, Liang, Zhenkai
    COMMUNICATIONS OF THE ACM
    2020

  • Assise: Performance and Availability via Client-local NVM in a Distributed File System

    Anderson, Thomas, Canini, Marco, Kim, Jongyul, Kostic, Dejan, Kwon Youngjin, Peter, Simon, Reda, Waleed, Schuh, Henry, Witchel, Emmett
    2020 USENIX Symposium on Operating Systems Design and Implementation, USENIX OSDI 2020
    2020

  • Augmented Museum Experience with Interactive Visualization: Korean Mummy

    JIHOON CHO, Kim, Hyunsoo, Rhee, Rosaleen, Jinah Park
    Journal of Computing Science and Engineering
    2020

  • Automated Code-based Test Selection for Software Product Line Regression Testing

    pilsu jung, Sungwon Kang, Lee, Jihyun
    46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA2020)
    2020

  • Automatic Color Scheme Extraction from Movies

    SUZI KIM, Sunghee Choi
    ICMR '20: International Conference on Multimedia Retrieval
    2020

  • Battery Health Estimation for IoT Devices using V-Edge Dynamics

    Kumar, Arjun, Hoque, Mohammad A., Nurmi, Petteri, Pecht, Michael G., Tarkoma, Sasu, Junehwa Song
    The 21st International Workshop on Mobile Computing Systems and Applications
    2020

    []

  • BeActive: Encouraging Physical Activities with Just-in-time Health Intervention and Micro Financial Incentives

    Sun, Juho, Park, S, Gyuwon Jung, Jeong, Y, Lee Uichin, Chung, Kyong-Mee, Lee, Changseok, Kim, Heewon, Ahn, Suhyon, Khandoker, Ahsan, Hadjileontiadis, Leontios
    2020 Symposium on Emerging Research from Asia and on Asian Contexts and Cultures, AsianCHI 2020 - Part of CHI 2020
    2020

  • Blockchain-Based Object Name Service With Tokenized Authority

    Wondeuk Yoon, Im, Janggwan, Choi, Tindal, Daeyoung KIM
    IEEE TRANSACTIONS ON SERVICES COMPUTING
    2020

  • Boosting fuzzer efficiency: an information theoretic perspective

    B?hme, Marcel, Man?s, Valentin J. M., Sang Kil Cha
    ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    2020

  • Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis

    Lee, Sungho, Lee, Hyogun, Sukyoung Ryu
    IEEE/ACM International Conference on Automated Software Engineering 2020
    2020

  • Building social networking services systems using the relational shared-nothing parallel DBMS

    Kyu-Young Whang, InJu Na, Tae Seob Yun, Park, Jin-Ah, Cho, Kyu-Hyun, Kim, Se-Jin, Ilyeop Yi, Lee, Byung Suk
    DATA & KNOWLEDGE ENGINEERING
    2020

  • CAFE: A Virtualization-Based Approach to Protecting Sensitive Cloud Application Logic Confidentiality

    Park, Sungjin, Kim, Chung Hwan, Rhee, Junghwan, Won, Jong-Jin, Taisook Han, Xu, Dongyan
    IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
    2020

  • CAPTCHA Image Generation: Two-Step Style-Transfer Learning in Deep Neural Networks

    Kwon, Hyun, Hyunsoo Yoon, Park, Ki-Woong
    SENSORS
    2020