Shaoying Cai

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 2

Top Topics

Formal Analysis

Information Flows

Top Venues

Publications

Shaoying Cai, Yingjiu Li, Changshe Ma, Sherman S. M. Chow, Robert H. Deng
Prove You Owned Me: One Step beyond RFID Tag/Mutual Authentication. CoRR (2022)
Sang-Yoon Chang, Shaoying Cai, Hwajeong Seo, Yih-Chun Hu
Key Update at Train Stations: Two-Layer Dynamic Key Update Scheme for Secure Train Communications. SecureComm (2016)
Lujo Bauer, Shaoying Cai, Limin Jia, Timothy Passaro, Michael Stroucken, Yuan Tian
Run-time Monitoring and Formal Analysis of Information Flows in Chromium. NDSS (2015)
Lujo Bauer, Shaoying Cai, Limin Jia, Timothy Passaro, Yuan Tian
Analyzing the dangers posed by Chrome extensions. CNS (2014)
Shaoying Cai, Robert H. Deng, Yingjiu Li, Yunlei Zhao
A New Framework for Privacy of RFID Path Authentication. ACNS (2012)
Shaoying Cai, Yingjiu Li, Yunlei Zhao
Distributed Path Authentication for Dynamic RFID-Enabled Supply Chains. SEC (2012)
Shaoying Cai, Chunhua Su, Yingjiu Li, Robert H. Deng, Tieyan Li
Protecting and Restraining the Third Party in RFID-Enabled 3PL Supply Chains. ICISS (2010)
Shaoying Cai, Yingjiu Li, Tieyan Li, Robert H. Deng, Haixia Yao
Achieving high security and efficiency in RFID-tagged supply chains. Int. J. Appl. Cryptogr. 2 (1) (2010)
Shaoying Cai, Yingjiu Li, Tieyan Li, Robert H. Deng
Attacks and improvements to an RIFD mutual authentication protocol and its extensions. WISEC (2009)
Shaoying Cai, Tieyan Li, Yingjiu Li, Robert H. Deng
Ensuring Dual Security Modes in RFID-Enabled Supply Chain Systems. ISPEC (2009)
Shaoying Cai, Tieyan Li, Changshe Ma, Yingjiu Li, Robert H. Deng
Enabling Secure Secret Updating for Unidirectional Key Distribution in RFID-Enabled Supply Chains. ICICS (2009)