A model checking-based security analysis framework for IoT systems

IoT systems are revolutionizing our life by providing ubiquitous computing, inter-connectivity, and automated control.However, the increasing system complexity poses huge challenges for security as IoT devices are distributed, highly heterogeneous, and can directly interact with the physical environment.In IoT systems, bugs in device firmware, defe

read more


Light Curve Variations of AR Lacertae

Sixteen unitary Light curves of AR Lac in B and V are made at Yonsei University Observatory in the period of 1980-1988.Some overview findings of light variations are made.(1) The light variations outside eclipse follow none sophie allport bee curtains of the wave migration patterns reported by previous investigators.(2) Complicated shapes outside e

read more