Instant messaging (IM) has been one of most frequently used malware attack vectors due to its popularity. Distinct from other malware, it is straightforward for IM malware to fin...
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...
Vasileios P. Kemerlis, Georgios Portokalidis, Kang...
This paper describes a spring-based model for the interaction of water and land, which reconciles realism and fast rendering. The system controls the motion and interdependences o...
—Fast sensory-motor processing is challenging when using traditional frame-based cameras and computers. Here we show how a hybrid neuromorphic-procedural system consisting of an ...