Ping Yang

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