Xiaolong Guo

Jing Bai

Bo Yuan

IEEE Access, 2024

DTjRTL: A Configurable Framework for Automated Hardware Trojan Insertion at RTL.

[BibT_eX]

[DOI]

Proceedings of the Great Lakes Symposium on VLSI 2024, 2024

Microscope: Causality Inference Crossing the Hardware and Software Boundary from Hardware Perspective.

[BibT_eX]

[DOI]

Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024

Hardware Phi-1.5B: A Large Language Model Encodes Hardware Domain Specific Knowledge.

[BibT_eX]

[DOI]

Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024

2023

Strategic price bundling for online retail platforms considering consumer behavior of valuation discount.

[BibT_eX]

[DOI]

J. Oper. Res. Soc., December, 2023

Retrieval sequencing in autonomous vehicle storage and retrieval systems.

[BibT_eX]

[DOI]

Jingjing Yang

Int. J. Prod. Res., December, 2023

How does business-IT alignment influence supply chain resilience?

[BibT_eX]

[DOI]

Inf. Manag., September, 2023

Scheduling shuttles in deep-lane shuttle-based storage systems.

[BibT_eX]

[DOI]

Jingjing Yang

René M. B. M. de Koster

Eur. J. Oper. Res., July, 2023

PDNPulse: Sensing PCB Anomaly With the Intrinsic Power Delivery Network.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2023

IP-Tag: Tag-Based Runtime 3PIP Hardware Trojan Detection in SoC Platforms.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023

VGF: Value-Guided Fuzzing - Fuzzing Hardware as Hardware.

[BibT_eX]

[DOI]

CoRR, 2023

HeisenTrojans: They Are Not There Until They Are Triggered.

[BibT_eX]

[DOI]

Akshita Reddy Mavurapu

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2023

LLM4SecHW: Leveraging Domain-Specific Large Language Model for Hardware Debugging.

[BibT_eX]

[DOI]

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2023

2022

FineDIFT: Fine-Grained Dynamic Information Flow Tracking for Data-Flow Integrity Using Coprocessor.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2022

Anisotropic Poroelasticity and AVAZ Inversion for in Situ Stress Estimate in Fractured Shale-Gas Reservoirs.

[BibT_eX]

[DOI]

IEEE Trans. Geosci. Remote. Sens., 2022

Security Oriented Design Framework for EM Side-Channel Protection in RTL Implementations.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Servitization for the Environment? The Impact of Data-Centric Product-Service Models.

[BibT_eX]

[DOI]

J. Manag. Inf. Syst., 2022

Commitment or not? Creator's quality strategies with uncertain market in reward-based crowdfunding.

[BibT_eX]

[DOI]

Int. J. Prod. Res., 2022

Contour loss for instance segmentation via k-step distance transformation image.

[BibT_eX]

[DOI]

IET Comput. Vis., 2022

Financial hedging in two-stage sustainable commodity supply chains.

[BibT_eX]

[DOI]

Moran Wang

Shouyang Wang

Eur. J. Oper. Res., 2022

Pricing policies in dual distribution channels: The reference effect of official prices.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2022

EM Side Channels in Hardware Security: Attacks and Defenses.

[BibT_eX]

[DOI]

IEEE Des. Test, 2022

Policy analysis for emission-reduction with green technology investment in manufacturing.

[BibT_eX]

[DOI]

Junsong Bian

Ann. Oper. Res., 2022

Graph Neural Network based Hardware Trojan Detection at Intermediate Representative for SoC Platforms.

[BibT_eX]

[DOI]

Proceedings of the GLSVLSI '22: Great Lakes Symposium on VLSI 2022, Irvine CA USA, June 6, 2022

Inter-IP Malicious Modification Detection through Static Information Flow Tracking.

[BibT_eX]

[DOI]

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

RTSEC: Automated RTL Code Augmentation for Hardware Security Enhancement.

[BibT_eX]

[DOI]

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2021

Publication delay adjusted impact factor: The effect of publication delay of articles on journal impact factor.

[BibT_eX]

[DOI]

Xiaoxiao Li

J. Informetrics, 2021

Financing strategy analysis for a multi-sided platform with blockchain technology.

[BibT_eX]

[DOI]

Ganquan Huang

Int. J. Prod. Res., 2021

Manufacturer's contract choice facing competing downstream online retail platforms.

[BibT_eX]

[DOI]

Int. J. Prod. Res., 2021

Optimal bundling in a distribution channel in the presence of substitutability and complementarity.

[BibT_eX]

[DOI]

Ting Chen

Feng Yang

Int. J. Prod. Res., 2021

Fuzzing Hardware: Faith or Reality? : Invited Paper.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Symposium on Nanoscale Architectures, 2021

TRRScope: Understanding Target Row Refresh Mechanism for Modern DDR Protection.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2021

Towards scalable, secure, and smart mission-critical IoT systems: review and vision.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8, 2021

Quantifying Rowhammer Vulnerability for DRAM Security.

[BibT_eX]

[DOI]

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

PCBench: Benchmarking of Board-Level Hardware Attacks and Trojans.

[BibT_eX]

[DOI]

Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021

Grid-Side Energy Storage Configuration System Based on Adaptive Particle Swarm Algorithm.

[BibT_eX]

[DOI]

Proceedings of the AIAM 2021: 3rd International Conference on Artificial Intelligence and Advanced Manufacture, Manchester, United Kingdom, October 23, 2021

2020

MaGenDB: a functional genomics hub for Malvaceae plants.

[BibT_eX]

[DOI]

Nucleic Acids Res., 2020

Dual-channel decision in a shopping complex when considering consumer channel preference.

[BibT_eX]

[DOI]

Libo Sun

J. Oper. Res. Soc., 2020

Retailer-driven bundling when valuation discount exists.

[BibT_eX]

[DOI]

Ting Chen

Feng Yang

J. Oper. Res. Soc., 2020

Green supply chain contracts with eco-labels issued by the sales platform: profitability and environmental implications.

[BibT_eX]

[DOI]

Lihong Cheng

Jie Liu

Int. J. Prod. Res., 2020

Manufacturer's Leasing Channel Management in a Car Supply Chain.

[BibT_eX]

[DOI]

Lihong Cheng

Bo Wang

Asia Pac. J. Oper. Res., 2020

Runtime Trust Evaluation and Hardware Trojan Detection Using On-Chip EM Sensors.

[BibT_eX]

[DOI]

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

Design for EM Side-Channel Security through Quantitative Assessment of RTL Implementations.

[BibT_eX]

[DOI]

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

PowerScout: A Security-Oriented Power Delivery Network Modeling Framework for Cross-Domain Side-Channel Analysis.

[BibT_eX]

[DOI]

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2020

A Formal Framework for Gate- Level Information Leakage Using Z3.

[BibT_eX]

[DOI]

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2020

2019

SoC interconnection protection through formal verification.

[BibT_eX]

[DOI]

Integr., 2019

Analysis of SNR Metrics for a Typical Underwater Acoustic OFDM System.

[BibT_eX]

[DOI]

IEEE Access, 2019

Hardware and Software Co-Verification from Security Perspective.

[BibT_eX]

[DOI]

Proceedings of the 20th International Workshop on Microprocessor/SoC Test, 2019

QIF-Verilog: Quantitative Information-Flow based Hardware Description Languages for Pre-Silicon Security Assessment.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2019

When Capacitors Attack: Formal Method Driven Design and Detection of Charge-Domain Trojans.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

Sizing the pool of online users: a dynamic pricing model for online travel agencies.

[BibT_eX]

[DOI]

Ye Shi

Ting Peng

J. Oper. Res. Soc., 2018

Dynamic warehouse size planning with demand forecast and contract flexibility.

[BibT_eX]

[DOI]

Ye Shi

Int. J. Prod. Res., 2018

Pricing for sales and per-use rental services with vertical differentiation.

[BibT_eX]

[DOI]

Yuxuan Dong

Eur. J. Oper. Res., 2018

2017

Hardware Trojan Detection Through Chip-Free Electromagnetic Side-Channel Statistical Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2017

Automatic Code Converter Enhanced PCH Framework for SoC Trust Verification.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2017

Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP - Part I: Framework Fundamentals.

[BibT_eX]

[DOI]

Mohammad-Mahdi Bidmeshki

Yiorgos Makris

IEEE Trans. Inf. Forensics Secur., 2017

Eliminating the Hardware-Software Boundary: A Proof-Carrying Approach for Trust Evaluation on Computer Systems.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2017

Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP - Part II: Framework Automation.

[BibT_eX]

[DOI]

Mohammad-Mahdi Bidmeshki

IEEE Trans. Inf. Forensics Secur., 2017

Estimation of Safe Sensor Measurements of Autonomous System Under Attack.

[BibT_eX]

[DOI]

Proceedings of the 54th Annual Design Automation Conference, 2017

PCH framework for IP runtime security verification.

[BibT_eX]

[DOI]

Proceedings of the 2017 Asian Hardware Oriented Security and Trust Symposium, 2017

2016

End-to-End Delay Bound Analysis for Location-Based Routing in Hybrid Vehicular Networks.

[BibT_eX]

[DOI]

Konstantinos Katsaros

Mehrdad Dianati

Rahim Tafazolli

IEEE Trans. Veh. Technol., 2016

E-retailing of restaurant services: pricing strategies in a competing online environment.

[BibT_eX]

[DOI]

Xiabing Zheng

J. Oper. Res. Soc., 2016

Quantifying trust in autonomous system under uncertainties.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International System-on-Chip Conference, 2016

Automatic RTL-to-Formal Code Converter for IP Security Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the 17th International Workshop on Microprocessor and SOC Test and Verification, 2016

Scalable SoC trust verification using integrated theorem proving and model checking.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Symposium on Hardware Oriented Security and Trust, 2016

2015

Temperature dependence of self-healing characteristics of metallized polypropylene film.

[BibT_eX]

[DOI]

Microelectron. Reliab., 2015

Hierarchy-Preserving Formal Verification Methods for Pre-silicon Security Assurance.

[BibT_eX]

[DOI]

Proceedings of the 16th International Workshop on Microprocessor and SOC Test and Verification, 2015

Pre-silicon security verification and validation: a formal perspective.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Design Automation Conference, 2015

2013

System Design for Multiple Users Cooperative Communication in LTE.

[BibT_eX]

[DOI]

Yue Li

Song Zhu

Proceedings of the 78th IEEE Vehicular Technology Conference, 2013

A Stable Expected Complexity Sphere Detection with IRA Enhancement.

[BibT_eX]

[DOI]

Proceedings of the 77th IEEE Vehicular Technology Conference, 2013

A self-organization method for discovering communities in a distributed network.

[BibT_eX]

[DOI]

Jiajin Huang

Proceedings of the Ninth International Conference on Natural Computation, 2013

A channel gain-based hierarchical K-Best OSIC-SE detection algorithm for stable complexity in MIMO system.

[BibT_eX]

[DOI]

Yuanwei Liu

Shaosheng Li

Proceedings of the 15th IEEE International Conference on Communication Technology, 2013

2012

Performance evaluation of research universities in Mainland China, Hong Kong and Taiwan: based on a two-dimensional approach.

[BibT_eX]

[DOI]

Scientometrics, 2012

Optimal pricing strategy of hotel for long-term stay.

[BibT_eX]

[DOI]

Liuyi Ling

Lina He

Int. J. Serv. Technol. Manag., 2012

A Tree Pruning Algorithm for MIMO Sphere Decoding Based on Path Metric.

[BibT_eX]

[DOI]

Proceedings of the 75th IEEE Vehicular Technology Conference, 2012

A Self-organization Method for Reorganizing Resources in a Distributed Network.

[BibT_eX]

[DOI]