百晓学者学者目录

石刚

教授、讲师,新疆大学

精选作品

期刊论文

2026

TriSV-CD: Selective verification with a do-no-harm arbitration gate for reliable remote sensing change detection

Zhenyu Wang, Gang Shi

Expert Systems with Applications

2026

DGA-Next: A Difference-Guided Axial-Convnext Network for High-Resolution Remote Sensing Image Change Detection

Guoxia Wang, Eksan Payzullam, Zhenyu Wang, Gang Shi

Lecture notes in computer science

2026

ROADCD: A Lightweight Siamese Network with Orthogonal Strip Context for Road Change Detection in UAV Imagery

Eksan Payzullam, Zi Wang, Guoxia Wang, Gang Shi

Communications in computer and information science

2026

FSDC-Net: Multi-Frequency Strip Aggregation and Cosine Differential Gating Network for Precise Change Detection of Slender Structures

Guoxia Wang, Eksan Payzullam, Zhenyu Wang, Gang Shi

Lecture notes in computer science

2026

RPCCD: Road Pavement Sealing Condition Change Detection Method Based on a Dual-Module Enhanced Siamese Network

Eksan Payzullam, Guoxia Wang, Zhenyu Wang, Gang Shi

Lecture notes in computer science

2026

DCCA-Net: Difference-Driven Coordinate Attention and Strip Context Network for Remote Sensing Change Detection

Zhenyu Wang, Xinzhe Yang, Gang Shi

Lecture notes in computer science

2026

PDEFM-Net: Progressive Difference Enhancement and Deep Feature Mining with Spatial Sequence Modeling for Remote Sensing Change Detection

Zi Wang, Guoxia Wang, Gang Shi

Lecture notes in computer science

2026

Screen-Shooting Resilient Watermarking Based on Perceptual Mask-Guided Embedding and Feature-Segmentation Decoding

Yi Zhou, Gang Shi

IEEE International Symposium on Circuits and Systems proceedings

2026

AFAD: High-Capacity Image Watermarking via Adaptive Feature Modulation and Axial Decoupling

Yi Zhou, Yang Fei, Haiping Sa, Qianbei Zang, Gang Shi

International Conference on Computer Supported Cooperative Work in Design (CSCWD)

2026

FFuzz: Function-level execution-path-aware oracle optimization for efficient fuzzing on heterogeneous platforms

Xu Chen, Zhengpang Pan, Ruoming Fang, Liwei Chen, Gang Shi

Computers & security

2026

FCovFuzz: Enhancing Processor Fuzzing via Functional-Behavioral Coverage Guidance

Ruoming Fang, He Wang, Yanqi Yang, Xu Chen, Liwei Chen, Miaomiao Yuan, Dan Tang, Gang Shi, Dan Meng

IEEE Transactions on Information Forensics and Security

2026

Effective Python-frontend fuzzing for deep learning libraries with runtime coverage feedback

Xu Chen, Ningning Cui, Liwei Chen, Gang Shi, Ruibang You, Qi-Zhen Xu, Rui-Ping Yin

Information and Software Technology

2026

ConFluxFuzz: Control-Flow Restructuring and Freshness-Decayed Scheduling for Processor Fuzzing

Ruoming Fang, He Wang, Xu Chen, Wenhao Cui, Ningning Cui, Liwei Chen, Gang Shi, Dan Meng

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

2026

ModFuzz: Adaptive Module-Level Fuzzing of Processors

He Wang, Ruoming Fang, Liwei Chen, Yulin Li, Miaomiao Yuan, Gang Shi, Dan Meng

IEEE Transactions on Information Forensics and Security

2026

When Do PEFT Adaptations Leak Structure? Measuring Black-Box Structural Bounds in Public-Base Model Services

Zhongjiang Yao, Shuangshuang Liang, Chun Yang, Liwei Chen, Gang Shi

2026

MUGEN: State-aware CPU fuzzing via mutation-integrated instruction generation

Jin-Wei Hu, Zihui Guo, Rui-Qing Li, Zhi-Jie Zhang, He Wang, Ningning Cui, Liwei Chen, Gang Shi

Computers & Security

2026

FocusFuzz: Towards Efficient and Directed Fuzzing for RTL Processor Designs

He Wang, Ruoming Fang, Jing-Qian Zhang, Xu Chen, Qi-Zhen Xu, Rui-Ping Yin, Liwei Chen, Gang Shi

IEEE International Conference on Acoustics, Speech, and Signal Processing

2026

RiskFuzz: Risk-Guided Fuzzing for Deep Learning Libraries

Zhengkun Pan, Xu Chen, Zhi-Jie Zhang, Liwei Chen, Gang Shi

IEEE International Conference on Acoustics, Speech, and Signal Processing

2026

Cohort: Multiple Coverage Guided Greybox Fuzzing

Xu Chen, Zhengkun Pan, Ruoming Fang, He Wang, Wenhao Cui, Liwei Chen, Gang Shi, Chun Yang

ACM Transactions on Software Engineering and Methodology

2025

基于分布式共识算法的数据一致性和安全性增强方法

林克全,林志达,石刚,王钦洲

《网络安全和信息化》

2025

存算分离架构下SQL算子智能下推策略与代价评估模型

陈彬,徐欢,林克全,林志达,石刚,王钦洲

《国外电子测量技术》

2025

EDRSNet: A Dual-Branch Real-Time Semantic Segmentation Network for UAV Autonomous Flight

Yuanxu Zhu, Tianze Zhang, Aiying Wu, Yang Deng, Gang Shi

Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics

2025

GlintNet: A Lightweight Global-Local Integration Network with Spatial-Channel Mixed Attention for ReID

Xingbiao Zhou, Tianze Zhang, YiXin Zhang, Gang Shi

Communications in computer and information science

2025

Lightweight Remote Sensing Image Change Detection Based on Global Feature Fusion

Aiying Wu, Tianze Zhang, Yuanxu Zhu, Zhaole Ning, Gang Shi

Lecture notes in computer science

2025

HScheduler: An execution history-based seed scheduling strategy for hardware fuzzing

Zihui Guo, Yin Lv, Ningning Cui, Liwei Chen, Gang Shi

Computers & security

2025

Into the Unknown: Fuzzing CPU Non-standard Instructions with MystFuzz

Zihui Guo, Wenhao Cui, Liwei Chen, Miaomiao Yuan, Gang Shi, Dan Meng

Asia-Pacific Computer Systems Architecture Conference

2025

ArgvFuzz: Argv-Sensitive Multi-Target Directed Greybox Fuzzing

Chenjie Hu, Zhi-Jie Zhang, Liwei Chen, Gang Shi

International Conference on Computer Supported Cooperative Work in Design

2025

Critical Variable State-Aware Directed Greybox Fuzzing

Xu Chen, Ningning Cui, Zhengkun Pan, Liwei Chen, Gang Shi, Dan Meng

International Conference on Software Engineering

2025

DiveFuzz: Enhancing CPU Fuzzing via Diverse Instruction Construction

Zihui Guo, Miaomiao Yuan, Yanqi Yang, Liwei Chen, Gang Shi, Dan Meng

Conference on Computer and Communications Security

2025

Techniques for Refining Indirect Call Targets in Binaries

Yangyang Shi, Liwei Chen, Gang Shi

International Conference on Communication, Computing & Security

2024

Research on Methodology of Intelligent Traffic Accident Detection based on Enhanced YOLOv8 Algorithm

Guanghui Gao, Dapeng Deng, Gang Shi, Yining Guo, Zhaole Ning

International Conference on Generative Artificial Intelligence and Information Security (GAIIS)

2024

PLPose: A Bottom-up Lightweight Pose Estimation Detection Model

Qi Xiao, Ru Zhao, Gang Shi, Dapeng Deng

International Conference on Computer Vision, Image and Deep Learning (CVIDL)

2024

ALTHighway: Comprehensive ULS-Based Point Cloud Dataset for Road Condition and Surrounding Environment Analysis

Yining Guo, Yansong Shi, Gang Shi, Guanghui Gao

International Seminar on Artificial Intelligence, Networking and Information Technology (AINIT)

2024

DIAFNet: A Dynamic Interactive Adaptive Fusion Network Based on Enhanced Differential Features

Ru Zhao, Hongbing Ma, Qi Xiao, Gang Shi

IEEE Geoscience and Remote Sensing Letters

2024

SCFI: Efficient forward fine-grained control flow integrity based on coarse-grained ISA extensions

Cairui She, Jinfeng Li, Liwei Chen, Gang Shi

Computers & security

2024

Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC

Haolai Wei, Liwei Chen, Zhi-Jie Zhang, Gang Shi, Dan Meng

International Symposium on Software Testing and Analysis

2024

Vulnerability Localization Based On Intermediate Code Representation and Feature Fusion

Chenguang Zhu, Renzheng Wei, Liwei Chen, Tongshuai Wu, Gewangzi Du, Gang Shi

Computer/law journal

2024

Code Property Graph based Cross-Domain Vulnerability Detection via Deep Fused Feature

Gewangzi Du, Liwei Chen, Tongshuai Wu, Xiong Zheng, Gang Shi

International Symposium on Circuits and Systems

2024

Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization

Zhi-Jie Zhang, Liwei Chen, Haolai Wei, Gang Shi, Dan Meng

International Symposium on Software Testing and Analysis

2024

CPMSVD: Cross-Project Multiclass Software Vulnerability Detection Via Fused Deep Feature and Domain Adaptation

Gewangzi Du, Liwei Chen, Tongshuai Wu, Chenguang Zhu, Gang Shi

IEEE International Conference on Acoustics, Speech, and Signal Processing

2024

UltraVCS: Ultra-Fine-Grained Variable-Based Code Slicing for Automated Vulnerability Detection

Tongshuai Wu, Liwei Chen, Gewangzi Du, Dan Meng, Gang Shi

IEEE Transactions on Information Forensics and Security

2024

Scheduled Execution-Based Binary Indirect Call Targets Refinement

Yangyang Shi, Linan Tian, Liwei Chen, Yanqi Yang, Gang Shi

European Symposium on Research in Computer Security

2024

SSFuzz:Generating syntactic and semantic seeds for RISC-V processors

Shaoqiang Jin, Yulin Li, Liwei Chen, Gang Shi

ACM Great Lakes Symposium on VLSI

2024

C-Fuzz: Fuzzing with Forced Program Control Flow Jumps

Zhengkun Pan, Xu Chen, Liwei Chen, Gang Shi

International Symposium on Image and Signal Processing and Analysis

2023

DAHT-Net: Deformable Attention-Guided Hierarchical Transformer Network Based on Remote Sensing Image Change Detection

Gang Shi, Yunfei Mei, Xiaoli Wang, Qingwen Yang

IEEE Access

2023

Binary Code Vulnerability Location Identification with Fine-grained Slicing

Ningning Cui, Liwei Chen, Gang Shi

2023 3rd Asia-Pacific Conference on Communications Technology and Computer Science (ACCTCS)

2023

KPDFI: Efficient data flow integrity based on key property against data corruption attack

Xiaofan Nie, Liwei Chen, Haolai Wei, Yuantong Zhang, Ningning Cui, Gang Shi

Computers & security

2023

BVSNO: Binary Code Vulnerability Detection Based on Slice Semantic and Node Order

Ningning Cui, Liwei Chen, Gang Shi

International Symposium on Computers and Communications

2023

DPFCFI: A Hardware-Based Forward Control-Flow Integrity for Architecture and Microarchitecture

Cairui She, Liwei Chen, Gang Shi

2023 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom)

2023

Flush+Revisit: A Cross-CCX Side-Channel Attack on AMD Processors

Dan-Ping Li, Ziyuan Zhu, Jiao Shen, Yusha Zhang, Gang Shi, Dan Meng

International Conference on Trust, Security and Privacy in Computing and Communications

2023

Code Property Graph based Vulnerability Type Identification with Fusion Representation

Chenguang Zhu, Tongshuai Wu, Ningning Cui, Xiong Zheng, Liwei Chen, Gang Shi

International Conference on Computer Supported Cooperative Work in Design

2023

Identify Vulnerability Types: A Cross-Project Multiclass Vulnerability Classification System Based on Deep Domain Adaptation

Gewangzi Du, Liwei Chen, Tongshuai Wu, Chenguang Zhu, Gang Shi

International Conference on Neural Information Processing

2023

CDNM: Clustering-Based Data Normalization Method For Automated Vulnerability Detection

Tongshuai Wu, Liwei Chen, Gewangzi Du, Chenguang Zhu, Ningning Cui, Gang Shi

Computer/law journal

2023

Cross Domain on Snippets: BiLSTM-TextCNN based Vulnerability Detection with Domain Adaptation

Gewangzi Du, Liwei Chen, Tongshuai Wu, Xiong Zheng, Ningning Cui, Gang Shi

International Conference on Computer Supported Cooperative Work in Design

2022

CGR-Block: Correlated Feature Extractor and Geometric Feature Fusion for Point Cloud Analysis

Fan Wang, Yingxiang Zhao, Gang Shi, Qing Cui, Tengfei Cao, Xian Jiang, Yongjie Hou, Rujun Zhuang, Yunfei Mei

Sensors

2022

3D Object Detection Based on Attention and Multi-Scale Feature Fusion

Minghui Liu, Jinming Ma, Qiuping Zheng, Yuchen Liu, Gang Shi

Sensors

2022

Data Analysis and Visualization Application Research on Popular Scenic Spots in China

Lanlan Zhang, Li Li, Gang Shi

International Conference on Innovations and Development of Information Technologies and Robotics (IDITR)

2022

Remote Sensing Image Change Detection Based on Attention and Convolutional Neural Network

Jinming Ma, Di Lu, Gang Shi, Yanxiang Li

International Conference on Geology, Mapping and Remote Sensing (ICGMRS)

2022

Separable Self-Attention Mechanism for Point Cloud Local and Global Feature Modeling

Fan Wang, Xiaoli Wang, Dan Lv, Lumei Zhou, Gang Shi

IEEE Access

2022

BERT-Based Vulnerability Type Identification with Effective Program Representation

Chenguang Zhu, Gewangzi Du, Tongshuai Wu, Ningning Cui, Liwei Chen, Gang Shi

Wireless Algorithms, Systems, and Applications

2022

TFCFI:Transparent Forward Fine-grained Control-Flow Integrity Protection

Cairui She, Liwei Chen, Gang Shi

International Conference on Trust, Security and Privacy in Computing and Communications

2022

An Effective Buffer Overflow Detection With Super Data-Flow Graphs

Yuantong Zhang, Liwei Chen, Xiaofan Nie, Gang Shi

2022 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom)

2022

An Efficient Metric-Based Approach for Static Use-After-Free Detection

Haolai Wei, Liwei Chen, Xiaofan Nie, Zhi-Jie Zhang, Yuantong Zhang, Gang Shi

2022 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom)

2022

Gadgets Splicing: Dynamic Binary Transformation for Precise Rewriting

Linan Tian, Yangyang Shi, Liwei Chen, Yanqi Yang, Gang Shi

IEEE/ACM International Symposium on Code Generation and Optimization

2022

Inductive Vulnerability Detection via Gated Graph Neural Network

Tongshuai Wu, Liwei Chen, Gewangzi Du, Chen-Guang Zhu, Ningning Cui, Gang Shi

International Conference on Computer Supported Cooperative Work in Design

2022

GRIN: Make Rewriting More Precise

Linan Tian, Liwei Chen, Delin Kong, Gang Shi

Asia Service Sciences and Software Engineering Conference

2022

PointerChecker: Tag-Based and Hardware-Assisted Memory Safety against Memory Corruption

Xiaofan Nie, Liwei Chen, Gang Shi

Asian Test Symposium

2022

Binary-level Directed Symbolic Execution Through Pattern Learning

Zhi-Jie Zhang, Liwei Chen, Haolai Wei, Guochao Dong, Yuantong Zhang, Xiaofan Nie, Gang Shi

2022 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom)

2022

Automated Vulnerable Codes Mutation through Deep Learning for Variability Detection

Kang Cheng, Gewangzi Du, Tongshuai Wu, Liwei Chen, Gang Shi

IEEE International Joint Conference on Neural Network

2022

BHMVD: Binary Code-based Hybrid Neural Network for Multiclass Vulnerability Detection

Ningning Cui, Liwei Chen, Gewangzi Du, Tongshuai Wu, Chenguang Zhu, Gang Shi

2022 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom)

2022

MVDetecter: Vulnerability Primitive-based General Memory Vulnerability Detection

Xiaofan Nie, Haolai Wei, Liwei Chen, Zhi-Jie Zhang, Yuantong Zhang, Gang Shi

2022 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom)

2021

An Effective Approach for Malware Detection and Explanation via Deep Learning Analysis

Huozhu Wang, Ziyuan Zhu, Zhongkai Tong, Xiang Yin, Yusi Feng, Gang Shi, Dan Meng

IEEE International Joint Conference on Neural Network

2021

Self-Attention based Automated Vulnerability Detection with Effective Data Representation

Tongshuai Wu, Liwei Chen, Gewangzi Du, Chenguang Zhu, Gang Shi

2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom)

2021

Finding Runtime Usable Gadgets: On the Security of Return Address Authentication

Qi-Zhen Xu, Zhi-Jie Zhang, Lin Zhang, Liwei Chen, Gang Shi

2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom)

2021

Accelerating Data-Flow Analysis with Full-Partitioning

Yuantong Zhang, Liwei Chen, Xiaofan Nie, Zhi-Jie Zhang, Haolai Wei, Gang Shi

2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom)

2021

Twine Stack: A Hybrid Mechanism Achieving Less Cost for Return Address Protection

Qi-Zhen Xu, Liwei Chen, Gang Shi

Asian Test Symposium

2020

ABCFI: Fast and Lightweight Fine-Grained Hardware-Assisted Control-Flow Integrity

Jinfeng Li, Liwei Chen, Gang Shi, Kai Chen, Dan Meng

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

2020

An Efficient Vulnerability Extrapolation Using Similarity of Graph Kernel of PDGs

Jing-Xiang Zeng, Xiaofan Nie, Liwei Chen, Jinfeng Li, Gewangzi Du, Gang Shi

International Conference on Trust, Security and Privacy in Computing and Communications

2020

AVDHRAM: Automated Vulnerability Detection based on Hierarchical Representation and Attention Mechanism

Wen-Guang An, Liwei Chen, Jinxin Wang, Gewangzi Du, Gang Shi, Dan Meng

2020 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom)

2020

Efficient Return Address Verification Based on Dislocated Stack

Jinfeng Li, Qi-Zhen Xu, Yongyue Li, Liwei Chen, Gang Shi, Dan Meng

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

2020

Built-in Security Computer: Deploying Security-First Architecture Using Active Security Processor

Dan Meng, Rui Hou, Gang Shi, Bibo Tu, Aimin Yu, Ziyuan Zhu, Xiaoqi Jia, Yu Wen, Yun Yang

IEEE transactions on computers

2019

Dam: A Practical Scheme to Mitigate Data-Oriented Attacks with Tagged Memory Based on Hardware

Mengyu Ma, Liwei Chen, Gang Shi

Asia-Pacific Software Engineering Conference

2019

Zipper Stack: Shadow Stacks Without Shadow

Jin-Feng Li, Liwei Chen, Qi-Zhen Xu, Linan Tian, Gang Shi, Kai Chen, Meng Dan

European Symposium on Research in Computer Security

2018

TMDFI: Tagged Memory Assisted for Fine-Grained Data-Flow Integrity Towards Embedded Systems Against Software Exploitation

Tong Liu, Gang Shi, Liwei Chen, Fei Zhang, Ya-Xuan Yang, Jihu Zhang

2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE)

2018

CPU Security Benchmark

Jian-Ping Zhu, Wei Song, Ziyuan Zhu, Jiameng Ying, Boya Li, Bibo Tu, Gang Shi, Rui Hou, Dan Meng

2018

SMP: A New Mechanism to Mitigate Control-Flow Hijacking Attacks

Guo-Rui Lu, Liwei Chen, Gang Shi

International Conference on Information Science and Engineering

2018

Function-Oriented Programming: A New Class of Code Reuse Attack in C Applications

Yingjie Guo, Liwei Chen, Gang Shi

IEEE Conference on Communications and Network Security

2018

Security-first architecture: deploying physically isolated active security processors for safeguarding the future of computing

Dan Meng, Rui Hou, Gang Shi, Bibo Tu, Aimin Yu, Ziyuan Zhu, Xiaoqi Jia, Peng Liu

Cybersecurity

2018

A Comprehensive Detection of Memory Corruption Vulnerabilities for C/C++ Programs

Yuhang Gao, Liwei Chen, Gang Shi, Fei Zhang

2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom)

2017

Gadget Weighted Tagging: A Flexible Framework to Protect Against Code Reuse Attacks

Liwei Chen, Mengyu Ma, Wenhao Zhang, Gang Shi, Dan Meng

IFIP International Information Security Conference

2017

Efficient tamper-evident logging of distributed systems via concurrent authenticated tree

Fangxiao Ning, Yu Wen, Gang Shi, Dan Meng

IEEE International Performance, Computing, and Communications Conference

2016

TZ-SSAP: Security-Sensitive Application Protection on Hardware-Assisted Isolated Environment

Yan-Hong He, Xian-Yi Zheng, Ziyuan Zhu, Gang Shi

Security and Privacy in Communication Networks

2016

A Survey of Code Reuse Attack and Defense Mechanisms

Tong Liu, Gang Shi, Dan Meng

2016

Group-Based Memory Deduplication against Covert Channel Attacks in Virtualized Environments

Fangxiao Ning, Min Zhu, Ruibang You, Gang Shi, Dan Meng

2016 IEEE Trustcom/BigDataSE/ISPA

2016

TZ Karnafuli Paper社製:ハードウェア支援単離された環境上の埋込み装置上でのカーネル保護機構【Powered by NICT】

Xian-Yi Zheng, Yan-Hong He, Jian-Gang Ma, Gang Shi, Dan Meng

2016

TZ-KPM:Kernel Protection Mechanism on Embedded Devices on Hardware-Assisted Isolated Environment

Xian-Yi Zheng, Yan-Hong He, Jian-Gang Ma, Gang Shi, Dan Meng

2016 IEEE 18th International Conference on High Performance Computing and Communications; IEEE 14th International Conference on Smart City; IEEE 2nd International Conference on Data Science and Systems (HPCC/SmartCity/DSS)

2016

Secure Mobile Payment Employing Trusted Computing on TrustZone Enabled Platforms

Xian-Yi Zheng, Lulu Yang, Gang Shi, Dan Meng

2016 IEEE Trustcom/BigDataSE/ISPA

2016

TrustPAY: Trusted mobile payment on security enhanced ARM TrustZone platforms

Xian-Yi Zheng, Lulu Yang, Jian-Gang Ma, Gang Shi, Dan Meng

International Symposium on Computers and Communications

2014

同步数据流语言时态消去的可信翻译

张玲波,甘元科,石刚,王生原,董渊,张智慧,王沿海

《计算机工程与设计》

2014

同步数据流程序的可信排序

甘元科,张玲波,石刚,王生原,董渊,张智慧,王沿海

《计算机应用与软件》

2014

可信编译器构造的翻译确认方法简述

刘洋,杨斐,石刚,闫鑫,王生原,董渊

《计算机科学》

2013

一个C语言安全子集的可信编译器

王蕾,石刚,董渊,白晓颖,王生原

《计算机科学》

此主页由公开资料整理,尚未经学者本人认领。