Ping Yang

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 15

Top Topics

Scientific Workflows

Virtual Machine

Anomaly Detection

Top Venues

Int. J. Softw. Informatics

Int. J. Cloud Comput.

Publications

Dinuni K. Fernando, Jonathan Terner, Ping Yang, Kartik Gopalan
V-Recover: Virtual Machine Recovery When Live Migration Fails. IEEE Trans. Cloud Comput. 11 (3) (2023)
Joon-Young Gwak, Priti Prabhakar Wakodikar, Meng Wang, Guanhua Yan, Xiaokui Shu, Scott D. Stoller, Ping Yang
Debugging Malware Classification Models Based on Event Logs with Explainable AI. ICDM (Workshops) (2023)
Saeid Mofrad, Ishtiaq Ahmed, Fengwei Zhang, Shiyong Lu, Ping Yang, Heming Cui
Securing Big Data Scientific Workflows via Trusted Heterogeneous Environments. IEEE Trans. Dependable Secur. Comput. 19 (6) (2022)
Jerome Dinal Herath, Priti Prabhakar Wakodikar, Ping Yang, Guanhua Yan
CFGExplainer: Explaining Graph Neural Network-Based Malware Classification from Control Flow Graphs. DSN (2022)
Zezhang Yang, Jian Li, Ping Yang
FedADMP: A Joint Anomaly Detection and Mobility Prediction Framework via Federated Learning. EAI Endorsed Trans. Security Safety 8 (29) (2021)
Dinuni Fernando, Jonathan Terner, Kartik Gopalan, Ping Yang
Live Migration Ate My VM: Recovering a Virtual Machine after Failure of Post-Copy Live Migration. INFOCOM (2019)
Tianlin Li, Kartik Gopalan, Ping Yang
ContainerVisor: Customized Control of Container Resources. IC2E (2019)
J. Dinal Herath, Changxin Bai, Guanhua Yan, Ping Yang, Shiyong Lu
RAMP: Real-Time Anomaly Detection in Scientific Workflows. IEEE BigData (2019)
Saeid Mofrad, Ishtiaq Ahmed, Shiyong Lu, Ping Yang, Heming Cui, Fengwei Zhang
SecDATAVIEW: a secure big data workflow management system for heterogeneous computing environments. ACSAC (2019)
Tianlin Li, Amish Mehta, Ping Yang
Security Analysis of Email Systems. CSCloud (2017)
Dinuni Fernando, Hardik Bagdi, Yaohui Hu, Ping Yang, Kartik Gopalan, Charles A. Kamhoua, Kevin A. Kwiat
Quick eviction of virtual machines through proactive live snapshots. UCC (2016)
Dinuni Fernando, Hardik Bagdi, Yaohui Hu, Ping Yang, Kartik Gopalan, Charles A. Kamhoua, Kevin A. Kwiat
Quick Eviction of Virtual Machines through Proactive Snapshots. CLUSTER (2016)
Tianlin Li, Yaohui Hu, Ping Yang, Kartik Gopalan
Privacy-preserving Virtual Machine. ACSAC (2015)
Ping Yang, Mikhail I. Gofman, Scott D. Stoller, Zijiang Yang
Policy analysis for administrative role based access control without separate administration. J. Comput. Secur. 23 (1) (2015)
Yaohui Hu, Sanket Panhale, Tianlin Li, Emine Kaynar, Danny Chan, Umesh Deshpande, Ping Yang, Kartik Gopalan
Performance Analysis of Encryption in Securing the Live Migration of Virtual Machines. CLOUD (2015)
Ping Yang, Xing Xie, Indrakshi Ray, Shiyong Lu
Satisfiability Analysis of Workflows with Control-Flow Patterns and Authorization Constraints. IEEE Trans. Serv. Comput. 7 (2) (2014)
Mikhail I. Gofman, Ping Yang
Efficient Policy Analysis for Evolving Administrative Role Based Access Control. Int. J. Softw. Informatics 8 (1) (2014)
Ping Yang, Xiaolong Jin
Editorial: Information and Systems Security. Int. J. Softw. Informatics 8 (2) (2014)
Mikhail I. Gofman, Ruiqi Luo, Chad Wyszynski, Yaohui Hu, Ping Yang, Kartik Gopalan
Privacy-preserving virtual machine checkpointing mechanism. Int. J. Cloud Comput. 3 (3) (2014)
Ping Yang, Mikhail I. Gofman, Zijiang Yang
Policy Analysis for Administrative Role Based Access Control without Separate Administration. DBSec (2013)
Zijiang Yang, Shiyong Lu, Ping Yang, Andrey Kashlev
Trustworthy and Dynamic Mobile Task Scheduling in Data-Intensive Scientific Workflow Environments. Int. J. Comput. Their Appl. 20 (2) (2013)
Yaohui Hu, Tianlin Li, Ping Yang, Kartik Gopalan
An Application-Level Approach for Privacy-Preserving Virtual Machine Checkpointing. IEEE CLOUD (2013)
Ruiqi Luo, Ping Yang, Shiyong Lu, Mikhail I. Gofman
Analysis of Scientific Workflow Provenance Access Control Policies. IEEE SCC (2012)
Mikhail I. Gofman, Ruiqi Luo, Ping Yang, Kartik Gopalan
SPARC: a security and privacy aware virtual machinecheckpointing mechanism. WPES (2011)
Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan
Policy analysis for Administrative Role-Based Access Control. Theor. Comput. Sci. 412 (44) (2011)
Zijiang Yang, Shiyong Lu, Ping Yang, Fahima Amin Bhuyan
Model Checking Approach to Secure Host Access Enforcement of Mobile Tasks in Scientific Workflows. Int. J. Comput. Their Appl. 18 (3) (2011)
Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan
Symbolic reachability analysis for parameterized administrative role-based access control. Comput. Secur. 30 (2-3) (2011)
Artem Chebotko, Shiyong Lu, Seunghan Chang, Farshad Fotouhi, Ping Yang
Secure Abstraction Views for Scientific Workflow Provenance Querying. IEEE Trans. Serv. Comput. 3 (4) (2010)
Ping Yang, Shiyong Lu, Mikhail I. Gofman, Zijiang Yang
Information flow analysis of scientific workflows. J. Comput. Syst. Sci. 76 (6) (2010)
Mikhail I. Gofman, Ruiqi Luo, Ping Yang
User-Role Reachability Analysis of Evolving Administrative Role Based Access Control. ESORICS (2010)
Zhao Lin, Kartik Gopalan, Ping Yang
A Case for Secure Virtual Append-Only Storage for Virtual Machines. ICPP Workshops (2010)
Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan
Symbolic reachability analysis for parameterized administrative role based access control. SACMAT (2009)
Mikhail I. Gofman, Ruiqi Luo, Ayla C. Solomon, Yingbin Zhang, Ping Yang, Scott D. Stoller
RBAC-PAT: A Policy Analysis Tool for Role Based Access Control. TACAS (2009)
Mikhail I. Gofman, Ruiqi Luo, Jian He, Yingbin Zhang, Ping Yang
Incremental Information Flow Analysis of Role Based Access Control. Security and Management (2009)
Navodaya Garepalli, Kartik Gopalan, Ping Yang
Control Message Reduction Techniques in Backward Learning Ad Hoc Routing Protocols. ICCCN (2008)
Artem Chebotko, Seunghan Chang, Shiyong Lu, Farshad Fotouhi, Ping Yang
Scientific Workflow Provenance Querying with Security Views. WAIM (2008)
Scott D. Stoller, Ping Yang, C. R. Ramakrishnan, Mikhail I. Gofman
Efficient policy analysis for administrative role based access control. CCS (2007)
Ping Yang, Zijiang Yang, Shiyong Lu
Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines. eScience (2007)
Zijiang Yang, Shiyong Lu, Ping Yang
Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows. AINA Workshops (2) (2007)
Zijiang Yang, Shiyong Lu, Ping Yang
Runtime Security Verification for Itinerary-Driven Mobile Agents. DASC (2006)
Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan
Policy Analysis for Administrative Role Based Access Control. CSFW (2006)
Ping Yang, Samik Basu, C. R. Ramakrishnan
Parameterized Verification of pi-Calculus Systems. TACAS (2006)
Ping Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. PADL (2005)
Ping Yang, C. R. Ramakrishnan, Scott A. Smolka
A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution. Int. J. Softw. Tools Technol. Transf. 6 (1) (2004)
Ping Yang, C. R. Ramakrishnan, Scott A. Smolka
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution. VMCAI (2003)