A5019680479- Information and Cyber Security
- Safety Systems Engineering in Autonomy
- Hate Speech and Cyberbullying Detection
- Security and Verification in Computing
- Distributed systems and fault tolerance
- Cloud Data Security Solutions
- Particle physics theoretical and experimental studies
- Particle Detector Development and Performance
- Dark Matter and Cosmic Phenomena
Zhejiang University of Science and Technology
2023-2024
The Trusted Execution Environment (TEE) plays a crucial role in modern computer systems and the compromise of TEE can result enormous losses. Although numerous products have been proposed, most them lack robust security guarantees. To address this concern, GlobalPlatform (GP) defines standard, Protection Profile (PP), which has gained widespread adoption development Common Criteria (CC) evaluation. However, despite its importance, GPTEE PP never formally specified verified. In paper, we...
Virtual Private Cloud (VPC) has become a widely used cloud computing service, serving as foundational web infrastructure for many organizations. Nevertheless, the growing problem of reachability issues poses significant threats to security and reliability VPC networks, potentially resulting in critical concerns such data breaches service outages. Although there been substantial progress recent analysis, existing methods lack validation correctness. Moreover, current analyses are tailored...