23 Papers
262 Citations
Wook Shin is an academic researcher from University of Illinois at Urbana–Champaign. The author has contributed to research in topics: Access control & Reference monitor. The author has an hindex of 9, co-authored 23 publications.
Chat about Author
Papers
A Formal Model to Analyze the Permission Authorization and Enforcement in the Android Framework
Wook Shin,Shinsaku Kiyomoto,Kazuhide Fukushima,Toshiaki Tanaka +3 more
- 20 Aug 2010
TL;DR: This paper proposes a formal model of the Android permission scheme, and provides a state-based model which includes the behavior specification of permission authorization and the interactions between application components, and shows how it can logically confirm the security of the specified system.
72
A Small But Non-negligible Flaw in the Android Permission Scheme
Wook Shin,Sanghoon Kwak,Shinsaku Kiyomoto,Kazuhide Fukushima,Toshiaki Tanaka +4 more
- 21 Jul 2010
TL;DR: A flaw in the permission scheme of Android, where an application can access the other parts of the system only when the application is explicitly permitted, is presented and an exploit example is demonstrated.
48
Towards Formal Analysis of the Permission-Based Security Model for Android
Wook Shin,Shinsaku Kiyomoto,Kazuhide Fukushima,Toshiaki Tanaka +3 more
- 23 Aug 2009
TL;DR: This work represents the Android system in terms of a state machine, elucidate the security needs, and shows that the specified system is secure over the specified states and transitions and specifies the permission mechanism for the system.
PAS: A Wireless-Enabled, Sensor-Integrated Personal Assistance System for Independent and Assisted Living
Jennifer C. Hou,Qixin Wang,Bedoor K. AlShebli,L. Ball,S. Birge,Marco Caccamo,Chin-Fei Cheah,Eric Gilbert,Carl A. Gunter,Elsa L. Gunter,Chang-Gun Lee,Karrie Karahalios,Min-Young Nam,N. Nitya,C. Rohit,Lui Sha,Wook Shin,Simon Yu,Yang Yu,Zheng Zeng +19 more
- 25 Jun 2007
TL;DR: This paper presents the PAS open architecture for assisted living, which allows independently developed third party components to collaborate and discusses key technological issues in assisted living systems, such as tracking, fall detection, security and privacy.
•Proceedings Article
A bad dream: subverting trusted platform module while you are sleeping
Han Seung-Hun,Wook Shin,Jun-Hyeok Park,HyoungChun Kim +3 more
- 15 Aug 2018
TL;DR: Two sorts of Trusted Platform Module (TPM) attacks regarding power management are reported, one exploiting a design flaw in the TPM 2.0 specification for the static root of trust for measurement (SRTM) and the other exploiting an implementation flaw in tboot, the most popular measured launched environment used with Intel's Trusted Execution Technology.