A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution. - Ping Yang 002; C. R. Ramakrishnan 001; Scott A. Smolka (Int. J. Softw. Tools Technol. Transf., 2004)

A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. - Ping Yang 002; Yifei Dong; C. R. Ramakrishnan 001; Scott A. Smolka (PADL, 2005)

Runtime Security Verification for Itinerary-Driven Mobile Agents. - Zijiang Yang 006; Shiyong Lu; Ping Yang 002 (DASC, 2006)

Parameterized Verification of pi-Calculus Systems. - Ping Yang 002; Samik Basu 001; C. R. Ramakrishnan 001 (TACAS, 2006)

Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows. - Zijiang Yang 006; Shiyong Lu; Ping Yang 002 (AINA Workshops (2), 2007)

Efficient policy analysis for administrative role based access control. - Scott D. Stoller; Ping Yang 002; C. R. Ramakrishnan 001; Mikhail I. Gofman (CCS, 2007)

Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines. - Ping Yang 002; Zijiang Yang 006; Shiyong Lu (eScience, 2007)

Control Message Reduction Techniques in Backward Learning Ad Hoc Routing Protocols. - Navodaya Garepalli; Kartik Gopalan; Ping Yang 002 (ICCCN, 2008)

Scientific Workflow Provenance Querying with Security Views. - Artem Chebotko; Seunghan Chang; Shiyong Lu; Farshad Fotouhi; Ping Yang 002 (WAIM, 2008)

Incremental Information Flow Analysis of Role Based Access Control. - Mikhail I. Gofman; Ruiqi Luo; Jian He; Yingbin Zhang; Ping Yang 002 (Security and Management, 2009)

RBAC-PAT: A Policy Analysis Tool for Role Based Access Control. - Mikhail I. Gofman; Ruiqi Luo; Ayla C. Solomon; Yingbin Zhang; Ping Yang 002; Scott D. Stoller (TACAS, 2009)

User-Role Reachability Analysis of Evolving Administrative Role Based Access Control. - Mikhail I. Gofman; Ruiqi Luo; Ping Yang 002 (ESORICS, 2010)

A Case for Secure Virtual Append-Only Storage for Virtual Machines. - Zhao Lin; Kartik Gopalan; Ping Yang 002 (ICPP Workshops, 2010)

Information flow analysis of scientific workflows. - Ping Yang 002; Shiyong Lu; Mikhail I. Gofman; Zijiang Yang 006 (J. Comput. Syst. Sci., 2010)

Secure Abstraction Views for Scientific Workflow Provenance Querying. - Artem Chebotko; Shiyong Lu; Seunghan Chang; Farshad Fotouhi; Ping Yang 002 (IEEE Trans. Serv. Comput., 2010)

SPARC: a security and privacy aware virtual machinecheckpointing mechanism. - Mikhail I. Gofman; Ruiqi Luo; Ping Yang 002; Kartik Gopalan (WPES, 2011)

Symbolic reachability analysis for parameterized administrative role-based access control. - Scott D. Stoller; Ping Yang 002; Mikhail I. Gofman; C. R. Ramakrishnan 001 (Comput. Secur., 2011)

Model Checking Approach to Secure Host Access Enforcement of Mobile Tasks in Scientific Workflows. - Zijiang Yang 006; Shiyong Lu; Ping Yang 002; Fahima Amin Bhuyan (Int. J. Comput. Their Appl., 2011)

Policy analysis for Administrative Role-Based Access Control. - Amit Sasturkar; Ping Yang 002; Scott D. Stoller; C. R. Ramakrishnan 001 (Theor. Comput. Sci., 2011)

Analysis of Scientific Workflow Provenance Access Control Policies. - Ruiqi Luo; Ping Yang 002; Shiyong Lu; Mikhail I. Gofman (IEEE SCC, 2012)

An Application-Level Approach for Privacy-Preserving Virtual Machine Checkpointing. - Yaohui Hu; Tianlin Li; Ping Yang 002; Kartik Gopalan (IEEE CLOUD, 2013)

Policy Analysis for Administrative Role Based Access Control without Separate Administration. - Ping Yang 002; Mikhail I. Gofman; Zijiang Yang 006 (DBSec, 2013)

Trustworthy and Dynamic Mobile Task Scheduling in Data-Intensive Scientific Workflow Environments. - Zijiang Yang 006; Shiyong Lu; Ping Yang 002; Andrey Kashlev (Int. J. Comput. Their Appl., 2013)

Privacy-preserving virtual machine checkpointing mechanism. - Mikhail I. Gofman; Ruiqi Luo; Chad Wyszynski; Yaohui Hu; Ping Yang 002; Kartik Gopalan (Int. J. Cloud Comput., 2014)

Efficient Policy Analysis for Evolving Administrative Role Based Access Control. - Mikhail I. Gofman; Ping Yang 002 (Int. J. Softw. Informatics, 2014)

Editorial: Information and Systems Security. - Ping Yang 002; Xiaolong Jin (Int. J. Softw. Informatics, 2014)

Satisfiability Analysis of Workflows with Control-Flow Patterns and Authorization Constraints. - Ping Yang 002; Xing Xie 002; Indrakshi Ray; Shiyong Lu (IEEE Trans. Serv. Comput., 2014)

Performance Analysis of Encryption in Securing the Live Migration of Virtual Machines. - Yaohui Hu; Sanket Panhale; Tianlin Li; Emine Kaynar; Danny Chan; Umesh Deshpande; Ping Yang 002; Kartik Gopalan (CLOUD, 2015)

Privacy-preserving Virtual Machine. - Tianlin Li; Yaohui Hu; Ping Yang 002; Kartik Gopalan (ACSAC, 2015)

Policy analysis for administrative role based access control without separate administration. - Ping Yang 002; Mikhail I. Gofman; Scott D. Stoller; Zijiang Yang 006 (J. Comput. Secur., 2015)

Quick Eviction of Virtual Machines through Proactive Snapshots. - Dinuni K. Fernando; Hardik Bagdi; Yaohui Hu; Ping Yang 002; Kartik Gopalan; Charles A. Kamhoua; Kevin A. Kwiat (CLUSTER, 2016)

Quick eviction of virtual machines through proactive live snapshots. - Dinuni K. Fernando; Hardik Bagdi; Yaohui Hu; Ping Yang 002; Kartik Gopalan; Charles A. Kamhoua; Kevin A. Kwiat (UCC, 2016)

Security Analysis of Email Systems. - Tianlin Li; Amish Mehta; Ping Yang 002 (CSCloud, 2017)

SecDATAVIEW: a secure big data workflow management system for heterogeneous computing environments. - Saeid Mofrad; Ishtiaq Ahmed; Shiyong Lu; Ping Yang 002; Heming Cui; Fengwei Zhang (ACSAC, 2019)

RAMP: Real-Time Anomaly Detection in Scientific Workflows. - Jerome Dinal Herath; Changxin Bai; Guanhua Yan; Ping Yang 002; Shiyong Lu (IEEE BigData, 2019)

SciBlock: A Blockchain-Based Tamper-Proof Non-Repudiable Storage for Scientific Workflow Provenance. - Dinuni K. Fernando; Siddharth Kulshrestha; Jerome Dinal Herath; Nitin Mahadik; Yanzhe Ma; Changxin Bai; Ping Yang 002; Guanhua Yan; Shiyong Lu (CIC, 2019)

ContainerVisor: Customized Control of Container Resources. - Tianlin Li; Kartik Gopalan; Ping Yang 002 (IC2E, 2019)

Live Migration Ate My VM: Recovering a Virtual Machine after Failure of Post-Copy Live Migration. - Dinuni K. Fernando; Jonathan Terner; Kartik Gopalan; Ping Yang 002 (INFOCOM, 2019)

Real-Time Evasion Attacks against Deep Learning-Based Anomaly Detection from Distributed System Logs. - Jerome Dinal Herath; Ping Yang 002; Guanhua Yan (CODASPY, 2021)

FedADMP: A Joint Anomaly Detection and Mobility Prediction Framework via Federated Learning. - Zezhang Yang; Jian Li 008; Ping Yang 002 (EAI Endorsed Trans. Security Safety, 2021)

CFGExplainer: Explaining Graph Neural Network-Based Malware Classification from Control Flow Graphs. - Jerome Dinal Herath; Priti Prabhakar Wakodikar; Ping Yang 002; Guanhua Yan (DSN, 2022)

Securing Big Data Scientific Workflows via Trusted Heterogeneous Environments. - Saeid Mofrad; Ishtiaq Ahmed; Fengwei Zhang; Shiyong Lu; Ping Yang 002; Heming Cui (IEEE Trans. Dependable Secur. Comput., 2022)

Debugging Malware Classification Models Based on Event Logs with Explainable AI. - Joon-Young Gwak; Priti Prabhakar Wakodikar; Meng Wang; Guanhua Yan; Xiaokui Shu; Scott D. Stoller; Ping Yang 002 (ICDM (Workshops), 2023)

V-Recover: Virtual Machine Recovery When Live Migration Fails. - Dinuni K. Fernando; Jonathan Terner; Ping Yang 002; Kartik Gopalan (IEEE Trans. Cloud Comput., 2023)