Bug hunting in JavaScript web applications in the wild   SAFE, a Scalable Analysis Framework for ECMAScript, can analyze JavaScript web applications in the wild automatically to detect real-world bugs efficiently and precisely.   Article  |  Fall 2014     The JavaScript programming language, originally developed as a simple scripting language, is now the language of choice ...

Novel data management in 3D-stacked IC simultaneously reduces thermal density and memory traffic congestion   Prof. Chong-Min Kyung’s research group (http://ssal.kaist.ac.kr) has developed a novel system management algorithm to find an optimal memory data allocation by combining mathematical models of thermal distribution and memory traffic congestion for 3D-stacked IC.   Article  | ...

Securing computing systems from the core: Kernel defense against insidious rootkit malware   Cyber security researchers at the Graduate School of Information Security (GSIS) at KAIST are setting a new trend, namely, a hardware-based security monitor, in order to create defense systems against insidious rootkit malwares that render all the existing in-host security measures useless by attacking the operating s...

Efficient colorimetric pH sensor based on responsive polymer-quantum dot integrated graphene oxide   Based on the responsive polymer and quantum dot (QD) hybrids integrated on a single GO sheet, a GO-based optical sensor was developed to provide colorimetric responses from a wide pH range, as well as excellent stability.   Article  |  Fall 2014     Highly-selective and sens...

Discovering overlapping communities more easily and precisely from social networks   KAIST researchers developed a novel framework for overlapping community detection in social networks as well as an algorithm based on the framework.   Article  |  Fall 2014     The advent of online social networks has been one of the most exciting events in this decade. Numerous online soci...

Graphene gel for high rate, large capacity supercapacitors   An innovative principle is developed to spontaneously convert reduced graphene oxide into highly conducting gel having no practical size limit, and it can be engineered in three dimensions on demand. The gel overcomes the bottleneck of high-rate capability in large areal capacity supercapacitors.   Article  |  Fall 2014 &nbs...