Xiaolong Guo

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 74

Top Topics

Formal Verification

Hardware And Software

Information Flow

Top Venues

Int. J. Prod. Res.

J. Oper. Res. Soc.

Publications

Xiaolong Guo, Yugang Yu, Gad Allon, Meiyan Wang, Zhentai Zhang
Data-Driven Research Challenge. Manuf. Serv. Oper. Manag. 26 (4) (2024)
Ruochen Dai, Zhaoxiang Liu, Orlando Arias, Xiaolong Guo, Tuba Yavuz
DTjRTL: A Configurable Framework for Automated Hardware Trojan Insertion at RTL. ACM Great Lakes Symposium on VLSI (2024)
Weimin Fu, Kaichen Yang, Raj Gautam Dutta, Xiaolong Guo, Gang Qu
LLM4SecHW: Leveraging Domain Specific Large Language Model for Hardware Debugging. CoRR (2024)
Weimin Fu, Shijie Li, Yifang Zhao, Haocheng Ma, Raj Gautam Dutta, Xuan Zhang, Kaichen Yang, Yier Jin, Xiaolong Guo
Hardware Phi-1.5B: A Large Language Model Encodes Hardware Domain Specific Knowledge. ASPDAC (2024)
Weimin Fu, Shijie Li, Yifang Zhao, Haocheng Ma, Raj Gautam Dutta, Xuan Zhang, Kaichen Yang, Yier Jin, Xiaolong Guo
Hardware Phi-1.5B: A Large Language Model Encodes Hardware Domain Specific Knowledge. CoRR (2024)
Ting Chen, Feng Yang, Xiaolong Guo
Probabilistic selling in a distribution channel with vertically differentiated products. J. Oper. Res. Soc. 75 (6) (2024)
Huifeng Zhu, Xiaolong Guo, Yier Jin, Xuan Zhang
PowerScout: Security-Oriented Power Delivery Network Modeling for Side-Channel Vulnerability Analysis. IEEE Trans. Emerg. Top. Comput. 12 (2) (2024)
Rui Li, Jia Liu, Xiaolong Deng, Xin Liu, Xiaolong Guo, Wenyuan Wu, Li Yang, Lizhong Dai
PR-NET: Leveraging Pathway Refined Network Structures for Prostate Cancer Patient Condition Prediction. CoRR (2024)
Peiyun Xue, Xiaolong Guo, Jing Bai, Bo Yuan
AST+SVMNet: A Novel Decomposition Method for Micro-Expression Recognition Based on Fusion Attention and Improved Spatio- Temporal Convolution by Feature Transfer. IEEE Access 12 (2024)
Zhaoxiang Liu, Kejun Chen, Dean Sullivan, Orlando Arias, Raj Dutta, Yier Jin, Xiaolong Guo
Microscope: Causality Inference Crossing the Hardware and Software Boundary from Hardware Perspective. ASPDAC (2024)
Yugang Yu, Jingjing Yang, Xiaolong Guo
Retrieval sequencing in autonomous vehicle storage and retrieval systems. Int. J. Prod. Res. 61 (24) (2023)
Shaobo Wei, Wanying Xu, Xiaolong Guo, Xiayu Chen
How does business-IT alignment influence supply chain resilience? Inf. Manag. 60 (6) (2023)
Akshita Reddy Mavurapu, Haoqi Shan, Xiaolong Guo, Orlando Arias, Dean Sullivan
HeisenTrojans: They Are Not There Until They Are Triggered. CoRR (2023)
Ruochen Dai, Michael Lee, Patrick Hoey, Weimin Fu, Tuba Yavuz, Xiaolong Guo, Shuo Wang, Dean Sullivan, Orlando Arias
VGF: Value-Guided Fuzzing - Fuzzing Hardware as Hardware. CoRR (2023)
Kejun Chen, Orlando Arias, Xiaolong Guo, Qingxu Deng, Yier Jin
IP-Tag: Tag-Based Runtime 3PIP Hardware Trojan Detection in SoC Platforms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (1) (2023)
Ting Chen, Xiaolong Guo, Feng Yang, Lin Tian
Strategic price bundling for online retail platforms considering consumer behavior of valuation discount. J. Oper. Res. Soc. 74 (12) (2023)
Jingjing Yang, René M. B. M. de Koster, Xiaolong Guo, Yugang Yu
Scheduling shuttles in deep-lane shuttle-based storage systems. Eur. J. Oper. Res. 308 (2) (2023)
Weimin Fu, Kaichen Yang, Raj Gautam Dutta, Xiaolong Guo, Gang Qu
LLM4SecHW: Leveraging Domain-Specific Large Language Model for Hardware Debugging. AsianHOST (2023)
Huifeng Zhu, Haoqi Shan, Dean Sullivan, Xiaolong Guo, Yier Jin, Xuan Zhang
PDNPulse: Sensing PCB Anomaly With the Intrinsic Power Delivery Network. IEEE Trans. Inf. Forensics Secur. 18 (2023)
Akshita Reddy Mavurapu, Haoqi Shan, Xiaolong Guo, Orlando Arias, Dean Sullivan
HeisenTrojans: They Are Not There Until They Are Triggered. AsianHOST (2023)
Zhaoxiang Liu, Orlando Arias, Weimin Fu, Yier Jin, Xiaolong Guo
Inter-IP Malicious Modification Detection through Static Information Flow Tracking. DATE (2022)
Xiaolong Guo, Xiaosong Lan, Kunfeng Wang, Shuxiao Li
Contour loss for instance segmentation via k-step distance transformation image. IET Comput. Vis. 16 (8) (2022)
Weimin Fu, Honggang Yu, Orlando Arias, Kaichen Yang, Yier Jin, Tuba Yavuz, Xiaolong Guo
Graph Neural Network based Hardware Trojan Detection at Intermediate Representative for SoC Platforms. ACM Great Lakes Symposium on VLSI (2022)
Jiaji He, Xiaolong Guo, Mark M. Tehranipoor, Apostol Vassilev, Yier Jin
EM Side Channels in Hardware Security: Attacks and Defenses. IEEE Des. Test 39 (2) (2022)
Kejun Chen, Orlando Arias, Qingxu Deng, Daniela Oliveira, Xiaolong Guo, Yier Jin
FineDIFT: Fine-Grained Dynamic Information Flow Tracking for Data-Flow Integrity Using Coprocessor. IEEE Trans. Inf. Forensics Secur. 17 (2022)
Lin Li, Guangzhi Zhang, Xinpeng Pan, Xiaolong Guo, Jiajia Zhang, You Zhou, Ying Lin
Anisotropic Poroelasticity and AVAZ Inversion for in Situ Stress Estimate in Fractured Shale-Gas Reservoirs. IEEE Trans. Geosci. Remote. Sens. 60 (2022)
Junsong Bian, Xiaolong Guo
Policy analysis for emission-reduction with green technology investment in manufacturing. Ann. Oper. Res. 316 (1) (2022)
Moran Wang, Xiaolong Guo, Shouyang Wang
Financial hedging in two-stage sustainable commodity supply chains. Eur. J. Oper. Res. 303 (2) (2022)
Libo Sun, Xiaoting Jiao, Xiaolong Guo, Yugang Yu
Pricing policies in dual distribution channels: The reference effect of official prices. Eur. J. Oper. Res. 296 (1) (2022)
Jiaji He, Haocheng Ma, Max Panoff, Hanning Wang, Yiqiang Zhao, Leibo Liu, Xiaolong Guo, Yier Jin
Security Oriented Design Framework for EM Side-Channel Protection in RTL Implementations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (8) (2022)
Huifeng Zhu, Haoqi Shan, Dean Sullivan, Xiaolong Guo, Yier Jin, Xuan Zhang
PDNPulse: Sensing PCB Anomaly with the Intrinsic Power Delivery Network. CoRR (2022)
Orlando Arias, Zhaoxiang Liu, Xiaolong Guo, Yier Jin, Shuo Wang
RTSEC: Automated RTL Code Augmentation for Hardware Security Enhancement. DATE (2022)
Xin Zhang, Xiaolong Guo, Wei Thoo Yue, Yugang Yu
Servitization for the Environment? The Impact of Data-Centric Product-Service Models. J. Manag. Inf. Syst. 39 (4) (2022)
Qian Gao, Xiaolong Guo, Feng Yang, Yugang Yu
Commitment or not? Creator's quality strategies with uncertain market in reward-based crowdfunding. Int. J. Prod. Res. 60 (17) (2022)
Yichen Jiang, Huifeng Zhu, Haoqi Shan, Xiaolong Guo, Xuan Zhang, Yier Jin
TRRScope: Understanding Target Row Refresh Mechanism for Modern DDR Protection. HOST (2021)
Ting Chen, Feng Yang, Xiaolong Guo
Optimal bundling in a distribution channel in the presence of substitutability and complementarity. Int. J. Prod. Res. 59 (4) (2021)
Bingbing Liu, Xiaolong Guo, Yugang Yu, Lin Tian
Manufacturer's contract choice facing competing downstream online retail platforms. Int. J. Prod. Res. 59 (10) (2021)
Xiaolong Guo, Song Han, X. Sharon Hu, Xun Jiao, Yier Jin, Fanxin Kong, Michael Lemmon
Towards scalable, secure, and smart mission-critical IoT systems: review and vision. EMSOFT (2021)
Weimin Fu, Orlando Arias, Yier Jin, Xiaolong Guo
Fuzzing Hardware: Faith or Reality? : Invited Paper. NANOARCH (2021)
Yichen Jiang, Huifeng Zhu, Dean Sullivan, Xiaolong Guo, Xuan Zhang, Yier Jin
Quantifying Rowhammer Vulnerability for DRAM Security. DAC (2021)
Yugang Yu, Ganquan Huang, Xiaolong Guo
Financing strategy analysis for a multi-sided platform with blockchain technology. Int. J. Prod. Res. 59 (15) (2021)
Yu Li, Yiqian Sun, Changsheng Su, Heng Wang, Xiaolong Guo, Guixing Yang, Zheng Hua
Grid-Side Energy Storage Configuration System Based on Adaptive Particle Swarm Algorithm. AIAM (ACM) (2021)
Huifeng Zhu, Xiaolong Guo, Yier Jin, Xuan Zhang
PCBench: Benchmarking of Board-Level Hardware Attacks and Trojans. ASP-DAC (2021)
Xiaolong Guo, Xiaosong Lan, Kunfeng Wang, Shuxiao Li
Contour Loss for Instance Segmentation via k-step Distance Transformation Image. CoRR (2021)
Xiaolong Guo, Xiaoxiao Li, Yugang Yu
Publication delay adjusted impact factor: The effect of publication delay of articles on journal impact factor. J. Informetrics 15 (1) (2021)
Jiaji He, Xiaolong Guo, Haocheng Ma, Yanjiang Liu, Yiqiang Zhao, Yier Jin
Runtime Trust Evaluation and Hardware Trojan Detection Using On-Chip EM Sensors. DAC (2020)
Yugang Yu, Libo Sun, Xiaolong Guo
Dual-channel decision in a shopping complex when considering consumer channel preference. J. Oper. Res. Soc. 71 (10) (2020)
Ting Chen, Feng Yang, Xiaolong Guo
Retailer-driven bundling when valuation discount exists. J. Oper. Res. Soc. 71 (12) (2020)
Dehe Wang, Weiliang Fan, Xiaolong Guo, Kai Wu, Siyu Zhou, Zonggui Chen, Danyang Li, Kun Wang, Yuxian Zhu, Yu Zhou
MaGenDB: a functional genomics hub for Malvaceae plants. Nucleic Acids Res. 48 (Database-Issue) (2020)
Jiaji He, Haocheng Ma, Xiaolong Guo, Yiqiang Zhao, Yier Jin
Design for EM Side-Channel Security through Quantitative Assessment of RTL Implementations. ASP-DAC (2020)
Xiaolong Guo, Lihong Cheng, Jie Liu
Green supply chain contracts with eco-labels issued by the sales platform: profitability and environmental implications. Int. J. Prod. Res. 58 (5) (2020)
Lihong Cheng, Xiaolong Guo, Bo Wang
Manufacturer's Leasing Channel Management in a Car Supply Chain. Asia Pac. J. Oper. Res. 37 (6) (2020)
Huifeng Zhu, Xiaolong Guo, Yier Jin, Xuan Zhang
PowerScout: A Security-Oriented Power Delivery Network Modeling Framework for Cross-Domain Side-Channel Analysis. AsianHOST (2020)
Qizhi Zhang, Jiaji He, Yiqiang Zhao, Xiaolong Guo
A Formal Framework for Gate- Level Information Leakage Using Z3. AsianHOST (2020)
Gang Qiao, Yuzhu Xiao, Lei Wan, Xiaolong Guo, Hanbo Jia
Analysis of SNR Metrics for a Typical Underwater Acoustic OFDM System. IEEE Access 7 (2019)
Xiaolong Guo, Raj Gautam Dutta, Jiaji He, Mark M. Tehranipoor, Yier Jin
QIF-Verilog: Quantitative Information-Flow based Hardware Description Languages for Pre-Silicon Security Assessment. HOST (2019)
Kejun Chen, Qingxu Deng, Yumin Hou, Yier Jin, Xiaolong Guo
Hardware and Software Co-Verification from Security Perspective. MTV (2019)
Xiaolong Guo, Huifeng Zhu, Yier Jin, Xuan Zhang
When Capacitors Attack: Formal Method Driven Design and Detection of Charge-Domain Trojans. DATE (2019)
Jiaji He, Xiaolong Guo, Travis Meade, Raj Gautam Dutta, Yiqiang Zhao, Yier Jin
SoC interconnection protection through formal verification. Integr. 64 (2019)
Ye Shi, Xiaolong Guo, Yugang Yu
Dynamic warehouse size planning with demand forecast and contract flexibility. Int. J. Prod. Res. 56 (3) (2018)
Yugang Yu, Yuxuan Dong, Xiaolong Guo
Pricing for sales and per-use rental services with vertical differentiation. Eur. J. Oper. Res. 270 (2) (2018)
Ye Shi, Xiaolong Guo, Ting Peng
Sizing the pool of online users: a dynamic pricing model for online travel agencies. J. Oper. Res. Soc. 69 (9) (2018)
Xiaolong Guo, Raj Gautam Dutta, Jiaji He, Yier Jin
PCH framework for IP runtime security verification. AsianHOST (2017)
Raj Gautam Dutta, Xiaolong Guo, Teng Zhang, Kevin A. Kwiat, Charles A. Kamhoua, Laurent Njilla, Yier Jin
Estimation of Safe Sensor Measurements of Autonomous System Under Attack. DAC (2017)
Xiaolong Guo, Raj Gautam Dutta, Yier Jin
Eliminating the Hardware-Software Boundary: A Proof-Carrying Approach for Trust Evaluation on Computer Systems. IEEE Trans. Inf. Forensics Secur. 12 (2) (2017)
Jiaji He, Yiqiang Zhao, Xiaolong Guo, Yier Jin
Hardware Trojan Detection Through Chip-Free Electromagnetic Side-Channel Statistical Analysis. IEEE Trans. Very Large Scale Integr. Syst. 25 (10) (2017)
Yier Jin, Xiaolong Guo, Raj Gautam Dutta, Mohammad-Mahdi Bidmeshki, Yiorgos Makris
Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP - Part I: Framework Fundamentals. IEEE Trans. Inf. Forensics Secur. 12 (10) (2017)
Xiaolong Guo, Raj Gautam Dutta, Prabhat Mishra, Yier Jin
Automatic Code Converter Enhanced PCH Framework for SoC Trust Verification. IEEE Trans. Very Large Scale Integr. Syst. 25 (12) (2017)
Mohammad-Mahdi Bidmeshki, Xiaolong Guo, Raj Gautam Dutta, Yier Jin, Yiorgos Makris
Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP - Part II: Framework Automation. IEEE Trans. Inf. Forensics Secur. 12 (10) (2017)
Xiaolong Guo, Raj Gautam Dutta, Prabhat Mishra, Yier Jin
Automatic RTL-to-Formal Code Converter for IP Security Formal Verification. MTV (2016)
Xiaolong Guo, Raj Gautam Dutta, Prabhat Mishra, Yier Jin
Scalable SoC trust verification using integrated theorem proving and model checking. HOST (2016)
Konstantinos Katsaros, Mehrdad Dianati, Rahim Tafazolli, Xiaolong Guo
End-to-End Delay Bound Analysis for Location-Based Routing in Hybrid Vehicular Networks. IEEE Trans. Veh. Technol. 65 (9) (2016)
Xiabing Zheng, Xiaolong Guo
E-retailing of restaurant services: pricing strategies in a competing online environment. J. Oper. Res. Soc. 67 (11) (2016)
Raj Gautam Dutta, Xiaolong Guo, Yier Jin
Quantifying trust in autonomous system under uncertainties. SoCC (2016)
Haoyuan Li, Hua Li, Zhiwei Li, Fuchang Lin, Wenjuan Wang, Bowen Wang, Xiang Huang, Xiaolong Guo
Temperature dependence of self-healing characteristics of metallized polypropylene film. Microelectron. Reliab. 55 (12) (2015)
Xiaolong Guo, Raj Gautam Dutta, Yier Jin
Hierarchy-Preserving Formal Verification Methods for Pre-silicon Security Assurance. MTV (2015)
Xiaolong Guo, Raj Gautam Dutta, Yier Jin, Farimah Farahmandi, Prabhat Mishra
Pre-silicon security verification and validation: a formal perspective. DAC (2015)
Yue Li, Song Zhu, Xiaolong Guo
System Design for Multiple Users Cooperative Communication in LTE. VTC Fall (2013)
Xiaolong Guo, Songlin Sun, Xiaojun Jing, Hai Huang
A Stable Expected Complexity Sphere Detection with IRA Enhancement. VTC Spring (2013)
Xiaolong Guo, Jiajin Huang
A self-organization method for discovering communities in a distributed network. ICNC (2013)
Yuanwei Liu, Xiaolong Guo, Shaosheng Li
A channel gain-based hierarchical K-Best OSIC-SE detection algorithm for stable complexity in MIMO system. ICCT (2013)
Feng Li, Yong Yi, Xiaolong Guo, Wei Qi
Performance evaluation of research universities in Mainland China, Hong Kong and Taiwan: based on a two-dimensional approach. Scientometrics 90 (2) (2012)
Xiaolong Guo, Jiajin Huang
A Self-organization Method for Reorganizing Resources in a Distributed Network. AMT (2012)
Liuyi Ling, Xiaolong Guo, Lina He
Optimal pricing strategy of hotel for long-term stay. Int. J. Serv. Technol. Manag. 17 (1) (2012)
Shiliang Wang, Xiaolong Guo, Songlin Sun, Tiehong Tian, Shizhen Sun, Xiaojun Jing
A Tree Pruning Algorithm for MIMO Sphere Decoding Based on Path Metric. VTC Spring (2012)