Yuru Shao
YOU?
Author Swipe
View article: Towards Automated Safety Vetting of PLC Code in Real-World Plants
Towards Automated Safety Vetting of PLC Code in Real-World Plants Open
Safety violations in programmable logic controllers (PLCs), caused either by faults or attacks, have recently garnered significant attention. However, prior efforts at PLC code vetting suffer from many drawbacks. Static analyses and verifi…
View article: ADD
ADD Open
Existing SDN controllers commonly adopt an event-driven model that minimizes southbound communication and control-plane overhead. This model satisfies most existing SDN applications' goals to maximize data plane performance while still bei…
View article: A Lightweight Framework for Fine-Grained Lifecycle Control of Android Applications
A Lightweight Framework for Fine-Grained Lifecycle Control of Android Applications Open
The lifecycle of Android apps is dynamically managed by the system in an ad hoc manner, which leads to apps' abusing lifecycle entry points to automatically start up and gaming the priority-based memory management mechanism to evade being …
View article: Preventing Capability Abuse through Systematic Analysis of Exposed Interface
Preventing Capability Abuse through Systematic Analysis of Exposed Interface Open
Connectivity and interoperability are becoming more and more critical in today’s software and cyber-physical systems. Different components of the system can better collaborate, enabling new innovation opportunities. However, to support con…
View article: The Misuse of Android Unix Domain Sockets and Security Implications
The Misuse of Android Unix Domain Sockets and Security Implications Open
In this work, we conduct the first systematic study in understanding the security properties of the usage of Unix domain sockets by both Android apps and system daemons as an IPC (Inter-process Communication) mechanism, especially for cros…
View article: Design and analysis of new flexible and safe forklifts
Design and analysis of new flexible and safe forklifts Open
In today's life, there is a wide variety of forklifts, from the large heavy loading truck to the one that works among narrow aisles. Forklifts have become one of the basic transportation tools we use in our lives. With all the forklif…