​
Login / Signup
Yu Tai
ORCID
Publication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 30
Top Topics
Formal Models
Information Flow
Flow Graph
Image Watermarking
Top Venues
ICCAD
PRCV (9)
IECON
ATS
</>
Publications
</>
Xinglong Wu
,
Hui He
,
Zejun Wang
,
Yu Tai
,
Sheng Yin
,
Hongwei Yang
,
Weizhe Zhang
How to Bridge Graph and Sequence Patterns in Session-Based Recommendation? A Self-Supervised Method.
ICASSP
(2024)
Xinglong Wu
,
Anfeng Huang
,
Hongwei Yang
,
Hui He
,
Yu Tai
,
Weizhe Zhang
Towards Bridging the Cross-modal Semantic Gap for Multi-modal Recommendation.
CoRR
(2024)
Huixiang Zhang
,
Kaihua Liao
,
Yu Tai
,
Wenqiang Ma
,
Guoyan Cao
,
Wen Sun
,
Lexi Xu
Decentralized and Fault-Tolerant Task Offloading for Enabling Network Edge Intelligence.
IEEE Syst. J.
18 (2) (2024)
Mingping Qi
,
Wei Hu
,
Yu Tai
SAE+: One-Round Provably Secure Asymmetric SAE Protocol for Client-Server Model.
IEEE Trans. Inf. Forensics Secur.
19 (2024)
Yu Tai
,
Hui He
,
Weizhe Zhang
,
Hongwei Yang
,
Xinglong Wu
,
Yan Wang
Predicting information diffusion using the inter- and intra-path of influence transitivity.
Inf. Sci.
651 (2023)
Xinglong Wu
,
Hui He
,
Hongwei Yang
,
Yu Tai
,
Zejun Wang
,
Weizhe Zhang
PDA-GNN: propagation-depth-aware graph neural networks for recommendation.
World Wide Web (WWW)
26 (5) (2023)
Yu Tai
,
Hongwei Yang
,
Hui He
,
Xinglong Wu
,
Weizhe Zhang
A Representation Learning Link Prediction Approach Using Line Graph Neural Networks.
PRCV (9)
(2023)
Yuanming Shao
,
Hui He
,
Yu Tai
,
Xinglong Wu
,
Hongwei Yang
A Diffusion Simulation User Behavior Perception Attention Network for Information Diffusion Prediction.
PRCV (9)
(2023)
Zejun Wang
,
Xinglong Wu
,
Hongwei Yang
,
Hui He
,
Yu Tai
,
Weizhe Zhang
Multi-modal Graph and Sequence Fusion Learning for Recommendation.
PRCV (1)
(2023)
Lingjuan Wu
,
Yifei Gao
,
Jiacheng Zhu
,
Yu Tai
,
Wei Hu
Security Verification of RISC-V System Based on ISA Level Information Flow Tracking.
ATS
(2023)
Lingjuan Wu
,
Hao Su
,
Xuelin Zhang
,
Yu Tai
,
Han Li
,
Wei Hu
Automated Hardware Trojan Detection at LUT Using Explainable Graph Neural Networks.
ICCAD
(2023)
Xinglong Wu
,
Anfeng Huang
,
Hongwei Yang
,
Hui He
,
Yu Tai
,
Weizhe Zhang
Multi-behavior Enhanced Graph Neural Networks for Social Recommendation.
PRCV (10)
(2023)
Tong Wang
,
Jianchao Wang
,
Min Ouyang
,
Yu Tai
UAV Target Roundup Strategy Based on Wolf Pack Hunting Behavior.
ChineseCSCW (1)
(2022)
Wei Hu
,
Jing Tan
,
Lingjuan Wu
,
Yu Tai
,
Liang Hong
Developing Formal Models for Measuring Fault Effects Using Functional EDA Tools.
ITC-Asia
(2021)
Lu Zhang
,
Dejun Mu
,
Wei Hu
,
Yu Tai
Machine-Learning-Based Side-Channel Leakage Detection in Electronic System-Level Synthesis.
IEEE Netw.
34 (3) (2020)
Wei Hu
,
Lingjuan Wu
,
Yu Tai
,
Jing Tan
,
Jiliang Zhang
A Unified Formal Model for Proving Security and Reliability Properties.
ATS
(2020)
Manman Xia
,
Yannan Zhou
,
Yulong Huang
,
Haonan Yang
,
Yu Tai
Research on Short-Circuit Characteristics of Subway DC Traction Power Supply System.
IECON
(2020)
Lu Zhang
,
Dejun Mu
,
Wei Hu
,
Yu Tai
,
Jeremy Blackstone
,
Ryan Kastner
Memory-Based High-Level Synthesis Optimizations Security Exploration on the Power Side-Channel.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
39 (10) (2020)
Baolei Mao
,
Wei Hu
,
Alric Althoff
,
Janarbek Matai
,
Yu Tai
,
Dejun Mu
,
Timothy Sherwood
,
Ryan Kastner
Quantitative Analysis of Timing Channel Security in Cryptographic Hardware Design.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
37 (9) (2018)
Maoyuan Qin
,
Wei Hu
,
Dejun Mu
,
Yu Tai
Property Based Formal Security Verification for Hardware Trojan Detection.
IVSW
(2018)
Yu Tai
,
Wei Hu
,
Dejun Mu
,
Baolei Mao
,
Lu Zhang
Towards Quantified Data Analysis of Information Flow Tracking for Secure System Design.
IEEE Access
6 (2018)
Yihang Jia
,
Tao Liu
,
Yu Tai
,
Hongfei Wu
,
Yan Xing
A SiC-Based Dual-Input Buck-Boost Converter with Independent MPPT For Photovoltaic Power Systems.
IECON
(2018)
Yu Tai
,
Hui He
,
Weizhe Zhang
,
Yanguo Jia
Automatic Generation of Review Content in Specific Domain of Social Network Based on RNN.
DSC
(2018)
Lu Zhang
,
Wei Hu
,
Armaiti Ardeshiricham
,
Yu Tai
,
Jeremy Blackstone
,
Dejun Mu
,
Ryan Kastner
Examining the consequences of high-level synthesis optimizations on power side-channel.
DATE
(2018)
Wei Hu
,
Lu Zhang
,
Armaiti Ardeshiricham
,
Jeremy Blackstone
,
Bochuan Hou
,
Yu Tai
,
Ryan Kastner
Why you should care about don't cares: Exploiting internal don't care conditions for hardware Trojans.
ICCAD
(2017)
Wei-Ting Chiu
,
Yu Tai
,
Wen-Liang Hsue
Image watermarking based on discrete fractional fourier transforms with multiple parameters.
ICNC-FSKD
(2017)
Andrew Becker
,
Wei Hu
,
Yu Tai
,
Philip Brisk
,
Ryan Kastner
,
Paolo Ienne
Arbitrary Precision and Complexity Tradeoffs for Gate-Level Information Flow Tracking.
DAC
(2017)
Yu Tai
,
Wei Hu
,
Dejun Mu
,
Baolei Mao
,
Lantian Guo
,
Maoyuan Qin
A Simplifying Logic Approach for Gate Level Information Flow Tracking.
ChinaCom (2)
(2017)
Yu Tai
,
Wei Hu
,
Huixiang Zhang
,
Dejun Mu
,
Xing-Li Huang
Generating optimized gate level information flow tracking logic for enforcing multilevel security.
Autom. Control. Comput. Sci.
50 (5) (2016)
Wei Hu
,
Andrew Becker
,
Armita Ardeshiricham
,
Yu Tai
,
Paolo Ienne
,
Dejun Mu
,
Ryan Kastner
Imprecise security: quality and complexity tradeoffs for hardware information flow tracking.
ICCAD
(2016)
Chen Chen
,
Yu Tai
,
Li Chenqi
Explore New Technology Application of the Medical Classroom Teaching.
PAAP
(2015)