An Experimental Study of Security Vulnerabilities Caused by Errors. - Jun Xu 003; Shuo Chen 001; Zbigniew Kalbarczyk; Ravishankar K. Iyer (DSN, 2001)

Evaluating the Security Threat of Firewall Data Corruption Caused by Transient Errors. - Shuo Chen 001; Jun Xu 003; Ravishankar K. Iyer; Keith Whisnant (DSN, 2002)

A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities. - Shuo Chen 001; Zbigniew Kalbarczyk; Jun Xu 003; Ravishankar K. Iyer (DSN, 2003)

Security Vulnerabilities - From Data Analysis to Protection Mechanisms. - Ravishankar K. Iyer; Shuo Chen 001; Jun Xu 003; Zbigniew Kalbarczyk (WORDS Fall, 2003)

Formal Reasoning of Various Categories of Widely Exploited Security Vulnerabilities by Pointer Taintedness Semantics. - Shuo Chen 001; Karthik Pattabiraman; Zbigniew Kalbarczyk; Ravishankar K. Iyer (SEC, 2004)

Modeling and evaluating the security threats of transient errors in firewall software. - Shuo Chen 001; Jun Xu 003; Zbigniew Kalbarczyk; Ravishankar K. Iyer; Keith Whisnant (Perform. Evaluation, 2004)

Defeating Memory Corruption Attacks via Pointer Taintedness Detection. - Shuo Chen 001; Jun Xu 003; Nithin Nakka; Zbigniew Kalbarczyk; Ravishankar K. Iyer (DSN, 2005)

Non-Control-Data Attacks Are Realistic Threats. - Shuo Chen 001; Jun Xu 003; Emre Can Sezer (USENIX Security Symposium, 2005)

Design for Security: Measurement, Analysis and Mitigation Techniques - Shuo Chen 001 (2005)

Security Vulnerabilities: From Analysis to Detection and Masking Techniques. - Shuo Chen 001; Jun Xu 003; Zbigniew T. Kalbarczyk; Ravishankar K. Iyer (Proc. IEEE, 2006)

Workshop on compiler and architectural techniques for application reliability and security (CATARS). - Karthik Pattabiraman; Shuo Chen 001; Zbigniew Kalbarczyk (DSN, 2008)

Sidebuster: automated detection and quantification of side-channel leaks in web application development. - Kehuan Zhang; Zhou Li 001; Rui Wang 010; XiaoFeng Wang 001; Shuo Chen 001 (CCS, 2010)

How to Share Your Favourite Search Results while Preserving Privacy and Quality. - George Danezis; Tuomas Aura; Shuo Chen 001; Emre Kiciman (Privacy Enhancing Technologies, 2010)

Side-Channel Leaks in Web Applications: A Reality Today, a Challenge Tomorrow. - Shuo Chen 001; Rui Wang 010; XiaoFeng Wang 001; Kehuan Zhang (IEEE Symposium on Security and Privacy, 2010)

How to Shop for Free Online - Security Analysis of Cashier-as-a-Service Based Web Stores. - Rui Wang 010; Shuo Chen 001; XiaoFeng Wang 001; Shaz Qadeer (IEEE Symposium on Security and Privacy, 2011)

Signing Me onto Your Accounts through Facebook and Google: A Traffic-Guided Security Study of Commercially Deployed Single-Sign-On Web Services. - Rui Wang 010; Shuo Chen 001; XiaoFeng Wang 001 (IEEE Symposium on Security and Privacy, 2012)

Unauthorized origin crossing on mobile platforms: threats and mitigation. - Rui Wang 010; Luyi Xing; XiaoFeng Wang 001; Shuo Chen 001 (CCS, 2013)

InteGuard: Toward Automatic Protection of Third-Party Web Service Integrations. - Luyi Xing; Yangyi Chen; XiaoFeng Wang 001; Shuo Chen 001 (NDSS, 2013)

Explicating SDKs: Uncovering Assumptions Underlying Secure Authentication and Authorization. - Rui Wang 010; Yuchen Zhou; Shuo Chen 001; Shaz Qadeer; David Evans 001; Yuri Gurevich (USENIX Security Symposium, 2013)

OAuth Demystified for Mobile Application Developers. - Eric Yawei Chen; Yutong Pei; Shuo Chen 001; Yuan Tian 001; Robert Kotcher; Patrick Tague (CCS, 2014)

Brahmastra: Driving Apps to Test the Security of Third-Party Components. - Ravi Bhoraskar; Seungyeop Han; Jinseong Jeon; Tanzirul Azim; Shuo Chen 001; Jaeyeon Jung; Suman Nath; Rui Wang 010; David Wetherall (USENIX Security Symposium, 2014)

Thwarting Wi-Fi Side-Channel Analysis through Traffic Demultiplexing. - Fan Zhang 019; Wenbo He; Yangyi Chen; Zhou Li 001; XiaoFeng Wang 001; Shuo Chen 001; Xue Liu 001 (IEEE Trans. Wirel. Commun., 2014)

Enlightening Ph.D. Students with the Elegance of Logic - My Personal Memory About Prof. José Meseguer. - Shuo Chen 001 (Logic, Rewriting, and Concurrency, 2015)

Securing Multiparty Online Services Via Certification of Symbolic Transactions. - Eric Yawei Chen; Shuo Chen 001; Shaz Qadeer; Rui Wang 010 (IEEE Symposium on Security and Privacy, 2015)

Cookies Lack Integrity: Real-World Implications. - Xiaofeng Zheng; Jian Jiang 002; Jinjin Liang; Hai-Xin Duan; Shuo Chen 001; Tao Wan 004; Nicholas Weaver (USENIX Security Symposium, 2015)

Swords and shields: a study of mobile game hacks and existing defenses. - Yuan Tian 001; Eric Yawei Chen; Xiaojun Ma; Shuo Chen 001; Xiao Wang 040; Patrick Tague (ACSAC, 2016)

"The Web/Local" Boundary Is Fuzzy: A Security Study of Chrome's Process-based Sandboxing. - Yaoqi Jia; Zheng Leong Chua; Hong Hu 004; Shuo Chen 001; Prateek Saxena; Zhenkai Liang (CCS, 2016)

Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). - Pantazis Deligiannis; Matt McCutchen; Paul Thomson; Shuo Chen 001; Alastair F. Donaldson; John Erickson; Cheng Huang; Akash Lal; Rashmi Mudduluru; Shaz Qadeer; Wolfram Schulte (FAST, 2016)

Self-Verifying Execution (Position Paper). - Matt McCutchen; Daniel Song; Shuo Chen 001; Shaz Qadeer (SecDev, 2016)

SVAuth - A Single-Sign-On Integration Solution with Runtime Verification. - Shuo Chen 001; Matt McCutchen; Phuong Cao; Shaz Qadeer; Ravishankar K. Iyer (RV, 2017)

We Still Don't Have Secure Cross-Domain Requests: an Empirical Study of CORS. - Jianjun Chen 005; Jian Jiang 002; Hai-Xin Duan; Tao Wan 004; Shuo Chen 001; Vern Paxson; Min Yang 002 (USENIX Security Symposium, 2018)

Characterizing Ethereum's Mining Power Decentralization at a Deeper Level. - Liyi Zeng; Yang Chen; Shuo Chen 001; Xian Zhang 001; Zhongxin Guo; Wei Xu; Thomas Moscibroda (INFOCOM, 2021)

Forerunner: Constraint-based Speculative Transaction Execution for Ethereum. - Yang Chen; Zhongxin Guo; Runhuai Li; Shuo Chen 001; Lidong Zhou; Yajin Zhou; Xian Zhang 001 (SOSP, 2021)

Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns. - Xian Zhang 001; Xiaobing Guo; Zixuan Zeng; Wenyan Liu 001; Zhongxin Guo; Yang Chen; Shuo Chen 001; Qiufeng Yin; Mao Yang 004 (SRDS, 2021)

Agatha: Smart Contract for DNN Computation. - Zihan Zheng; Peichen Xie; Xian Zhang 001; Shuo Chen 001; Yang Chen; Xiaobing Guo; Guangzhong Sun; Guangyu Sun 003; Lidong Zhou (CoRR, 2021)

Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns (Extended Version). - Xian Zhang 001; Xiaobing Guo; Zixuan Zeng; Wenyan Liu 001; Zhongxin Guo; Yang Chen; Shuo Chen 001; Qiufeng Yin; Mao Yang 004; Lidong Zhou (CoRR, 2021)

Timing-Based Browsing Privacy Vulnerabilities Via Site Isolation. - Zihao Jin; Ziqiao Kong; Shuo Chen 001; Haixin Duan (SP, 2022)

Decentralized Verifiable Mail-in Ballot Counting for Postal Voting. - Peichen Xie; Zihan Zheng; Xian Zhang 001; Shuo Chen 001 (CoRR, 2022)

A Security Study about Electron Applications and a Programming Methodology to Tame DOM Functionalities. - Zihao Jin; Shuo Chen 001; Yang Chen; Haixin Duan; Jianjun Chen 005; Jianping Wu (NDSS, 2023)

The Devil Behind the Mirror: Tracking the Campaigns of Cryptocurrency Abuses on the Dark Web. - Pengcheng Xia; Zhou Yu 002; Kailong Wang 001; Kai Ma; Shuo Chen 001; Xiapu Luo; Yajin Zhou; Lei Wu 012; Guangdong Bai; Haoyu Wang 001 (CoRR, 2024)