Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Wen Ying Zeng
Observed names:
Wen Zeng,
Zeng, Wen
Institutions:
Shanghai Polytechnic University,
Tsinghua University
Observed institutions:
Shanghai Polytechnic University,
Guangdong Polytechnic of Science and Technology,
De Montfort University,
Newcastle University,
South China University of Technology,
Tsinghua University
show all 6
ORCID:
0000-0002-5840-4513
Observed ORCID:
0000-0002-5840-4513
OpenAlex ID:
A5036316894
Formal verification of secure information flow in cloud computing
2016
·
Wen Zeng
, Maciej Koutny
, et al.
·
Journal of Information Security and Applications
·
31
PDF
Quantitative Analysis of Opacity in Cloud Computing Systems
2019
·
Wen Zeng
, Maciej Koutny
·
IEEE Transactions on Cloud Computing
·
23
Quantitative Evaluation of Enterprise DRM Technology
2011
·
Wen Zeng
, Aad van Moorsel
·
Electronic Notes in Theoretical Computer Science
·
21
A methodology for cost‐benefit analysis of information security technologies
2018
·
Wen Zeng
·
Concurrency and Computation Practice and Experience
·
14
Opacity in Internet of Things with Cloud Computing (Short Paper)
2015
·
Wen Zeng
, Maciej Koutny
, et al.
·
IEEE International Conference on Service-Oriented Computing and Applications (SOCA)
·
11
Sensitivity Analysis of Loss of Corporate Efficiency and Productivity Associated with Enterprise DRM Technology
2012
·
Wen Zeng
, Kaiyu Liu
·
International Conference on Availability, Reliability and Security (ARES)
·
11
How Location-Aware Access Control Affects User Privacy and Security in Cloud Computing Systems
2020
·
Wen Zeng
, Reem Bashir
, et al.
·
EAI Endorsed Transactions on Cloud Systems
·
10
PDF
Benefit and Cost of Cloud Computing Security
2019
·
Wen Zeng
, Vasileios Germanos
·
IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI)
·
9
Is E-voting Systems based on Blockchain Technology Efficient in Nigeria General Elections?
2021
·
Friday Ikuero
, Vasileios Germanos
, et al.
·
ICST Transactions on Security and Safety
·
8
PDF
A Flow Sensitive Security Model for Cloud Computing Systems
2013
·
Wen Zeng
, Chunyan Mu
, et al.
·
8
Mapping of the Security Requirements of GDPR and NISD
2018
·
Najmudin Saqib
, Vasileios Germanos
, et al.
·
ICST Transactions on Security and Safety
·
7
PDF
Verifying Secure Information Flow in Federated Clouds
2014
·
Wen Zeng
, Maciej Koutny
, et al.
·
IEEE International Conference on Cloud Computing Technology and Science
·
6
Data Resources in Dynamic Environments
2014
·
Wen Zeng
, Maciej Koutny
·
International Symposium on Theoretical Aspects of Software Engineering (TASE)
·
6
A Flow Sensitive Security Model for Cloud Computing Systems
2014
·
Zeng, Wen
, Mu, Chunyan
, et al.
·
arXiv (Cornell University)
·
5
PDF
Security measurement in service-based computing systems
2012
·
Chunyan Mu
, Wen Zeng
·
IEEE International Conference on Service-Oriented Computing and Applications (SOCA)
·
5
Model‐based risk assessment evaluation
2022
·
Vasileios Germanos
, Wen Zeng
·
Security and Privacy
·
4
PDF
Evaluating the Impact of Sandbox Applications on Live Digital Forensics Investigation
2021
·
Reem Bashir
, Helge Janicke
, et al.
·
ICST Transactions on Security and Safety
·
3
PDF
Performance Modelling and Evaluation of Enterprise Information Security Technologies
2014
·
Wen Zeng
, Maciej Koutny
, et al.
·
IEEE International Conference on Computer and Information Technology (CIT)
·
2
A Preconditioned Gauss-Seidel Iterative Method for Linear Complementarity Problem in Intelligent Materials System
2011
·
Ban Xiang Duan
, Wen Ying Zeng
, et al.
·
Advanced materials research
·
2
Mapping Petri Nets onto a Calculus of Context-Aware Ambients
2024
·
François Siewe
, Vasileios Germanos
, et al.
·
Software
·
1
Analysing Petri Nets in a Calculus of Context-Aware Ambients
2020
·
Francois Siewe
, Vasileios Germanos
, et al.
·
IEEE Annual International Computer Software and Applications Conference (COMPSAC)
·
1
Rose: Efficient Embodied RL through Graph Optimization and GPU Compute Resource Control
2026
·
Zeng, Wen
, Hong, Ke
, et al.
·
arXiv (Cornell University)
PDF
An IoT Architecture for Enhancing Safety in Supply Chain Systems
2026
·
Wen Zeng
, Nicholas Kit Lam Wan
, et al.
·
Concurrency and Computation Practice and Experience
Quantitative analysis of distributed systems
2014
·
Wen Zeng
Mobile Storage and Data Security Management Research
2013
·
Wen Ying Zeng
, Yue Long Zhao
·
Applied Mechanics and Materials
Show more works
View as search
Works count:
27
Citation count:
188
H-index:
8
I10-index:
7
Year
Topic
Type
