Zheng Yang

Formal Verification of GP Specification based Embedded Operating System

2018 · Proceedings of the 2nd International Conference on Computer Science and Application Engineering

Global Platform (GP)1 specifications accepted as de facto industry standards are widely used for the development of embedded operating system running on secure chip devices. A promising approach to demonstrating the implementation of an OS …

Understanding and Mitigating Remote Code Execution Vulnerabilities in Cross-platform Ecosystem

2022 · Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security

JavaScript cross-platform frameworks are becoming increasingly popular. They help developers easily and conveniently build cross-platform applications while just needing only one JavaScript codebase. Recent security reports showed several high-profile cross-platform applications (e.g., Slack, Microsoft Teams, …

Towards Building a Faster and Incentive Enabled Privacy-Preserving Proof of Location Scheme from GTOTP

2024 · Electronics

In recent years, there has been significant growth in location-based services (LBSs) and applications. These services empower users to transmit their location data to location service providers, thereby facilitating the provisioning of pertinent resources and …

AuthPLC: Authenticating PLC Communication Using ST-based Extended Cryptographic Library

2025

Programmable logic controllers (PLCs) are among the most critical components in industrial control systems (ICS), such as power grids, water systems, and maritime systems, and are responsible for managing system operations. As such, the security …