Publications (31)
Biomedical named entity recognition using BERT in the machine reading comprehension framework
Cong Sun, Zhihao Yang, Lei Wang +3
Recognition of biomedical entities from literature is a challenging research focus, which is the foundation for extracting a large amount of biomedical knowledge existing in unstru…
A Framework for Human Evaluation of Large Language Models in Healthcare Derived from Literature Review
Thomas Yu Chow Tam, Sonish Sivarajkumar, Sumit Kapoor +12
With generative artificial intelligence (AI), particularly large language models (LLMs), continuing to make inroads in healthcare, it is critical to supplement traditional automate…
Sdft: A PDG-based Summarization for Efficient Dynamic Data Flow Tracking
Xiao Kan, Cong Sun, Shen Liu +4
Dynamic taint analysis (DTA) has been widely used in various security-relevant scenarios that need to track the runtime information flow of programs. Dynamic binary instrumentation…
Secure Information Flow by Model Checking Pushdown System
Cong Sun, Liyong Tang, Zhong Chen
We propose an approach on model checking information flow for imperative language with procedures. We characterize our model with pushdown system, which has a stack of unbounded le…
Harnessing Large Language Models for Biomedical Named Entity Recognition
Jian Chen, Leilei Su, Cong Sun
Background and Objective: Biomedical Named Entity Recognition (BioNER) is a foundational task in medical informatics, crucial for downstream applications like drug discovery and cl…
Disa: Accurate Learning-based Static Disassembly with Attentions
Peicheng Wang, Monika Santra, Mingyu Liu +3
For reverse engineering related security domains, such as vulnerability detection, malware analysis, and binary hardening, disassembly is crucial yet challenging. The fundamental c…
A Motion Assessment Method for Reference Stack Selection in Fetal Brain MRI Reconstruction Based on Tensor Rank Approximation
Haoan Xu, Wen Shi, Jiwei Sun +5
Purpose: Slice-to-volume registration and super-resolution reconstruction (SVR-SRR) is commonly used to generate 3D volumes of the fetal brain from 2D stacks of slices acquired in…
Information flow based defensive chain for data leakage detection and prevention: a survey
Ning Xi, Chao Chen, Jun Zhang +4
Mobile and IoT applications have greatly enriched our daily life by providing convenient and intelligent services. However, these smart applications have been a prime target of adv…
Chemical-protein Interaction Extraction via Gaussian Probability Distribution and External Biomedical Knowledge
Cong Sun, Zhihao Yang, Leilei Su +4
Motivation: The biomedical literature contains a wealth of chemical-protein interactions (CPIs). Automatically extracting CPIs described in biomedical literature is essential for d…
A Goal-Oriented Approach for Active Object Detection with Exploration-Exploitation Balance
Yalei Yu, Matthew Coombes, Wen-Hua Chen +7
Active object detection, which aims to identify objects of interest through controlled camera movements, plays a pivotal role in real-world visual perception for autonomous robotic…
AtlasSeg: Atlas Prior Guided Dual-U-Net for Cortical Segmentation in Fetal Brain MRI
Haoan Xu, Tianshu Zheng, Xinyi Xu +6
Accurate automatic tissue segmentation in fetal brain MRI is a crucial step in clinical diagnosis but remains challenging, particularly due to the dynamically changing anatomy and…
AFFIRM: Affinity Fusion-based Framework for Iteratively Random Motion correction of multi-slice fetal brain MRI
Wen Shi, Haoan Xu, Cong Sun +7
Multi-slice magnetic resonance images of the fetal brain are usually contaminated by severe and arbitrary fetal and maternal motion. Hence, stable and robust motion correction is n…
ReCFA: Resilient Control-Flow Attestation
Yumei Zhang, Xinzhi Liu, Cong Sun +4
Recent IoT applications gradually adapt more complicated end systems with commodity software. Ensuring the runtime integrity of these software is a challenging task for the remote…
Resource allocation for reconfigurable intelligent surface aided broadcast channels
Cong Sun, Xian Liu, Bile Peng +1
A two-user downlink network aided by a reconfigurable intelligent surface is considered. The weighted sum signal to interference plus noise ratio maximization and the sum rate maxi…
Generative Large Language Models Trained for Detecting Errors in Radiology Reports
Cong Sun, Kurt Teichman, Yiliang Zhou +8
In this retrospective study, a dataset was constructed with two parts. The first part included 1,656 synthetic chest radiology reports generated by GPT-4 using specified prompts, w…
A microstructure estimation Transformer inspired by sparse representation for diffusion MRI
Tianshu Zheng, Cong Sun, Weihao Zheng +7
Diffusion magnetic resonance imaging (dMRI) is an important tool in characterizing tissue microstructure based on biophysical models, which are complex and highly non-linear. Resol…
A New Enforcement on Declassification with Reachability Analysis
Cong Sun, Liyong Tang, Zhong Chen
Language-based information flow security aims to decide whether an action-observable program can unintentionally leak confidential information if it has the authority to access con…
Fine with "1234"? An Analysis of SMS One-Time Password Randomness in Android Apps
Siqi Ma, Juanru Li, Hyoungshick Kim +4
A fundamental premise of SMS One-Time Password (OTP) is that the used pseudo-random numbers (PRNs) are uniquely unpredictable for each login session. Hence, the process of generati…
New gradient methods with 3 dimensional quadratic termination
Yixin Xie, Jin-Peng Liu, Cong Sun +1
A new stepsize for gradient method is proposed. Combining it with the exact line search stepsizes, the gradient method achieves the optimal solution in 5 steps for 3 dimensional qu…
CafkNet: GNN-Empowered Forward Kinematic Modeling for Cable-Driven Parallel Robots
Zeqing Zhang, Linhan Yang, Cong Sun +2
Cable-driven parallel robots (CDPRs) have gained significant attention due to their promising advantages. When deploying CDPRs in practice, the kinematic modeling is a key question…
CryptoEval: Evaluating the Risk of Cryptographic Misuses in Android Apps with Data-Flow Analysis
Cong Sun, Xinpeng Xu, Yafei Wu +4
The misunderstanding and incorrect configurations of cryptographic primitives have exposed severe security vulnerabilities to attackers. Due to the pervasiveness and diversity of c…
VIMU: Effective Physics-based Realtime Detection and Recovery against Stealthy Attacks on UAVs
Yunbo Wang, Cong Sun, Qiaosen Liu +5
Sensor attacks on robotic vehicles have become pervasive and manipulative. Their latest advancements exploit sensor and detector characteristics to bypass detection. Recent securit…
Extracting Post-Acute Sequelae of SARS-CoV-2 Infection Symptoms from Clinical Notes via Hybrid Natural Language Processing
Zilong Bai, Zihan Xu, Cong Sun +13
Accurately and efficiently diagnosing Post-Acute Sequelae of COVID-19 (PASC) remains challenging due to its myriad symptoms that evolve over long- and variable-time intervals. To a…
Global Optimization of Multi-Flyby Trajectories for Multi-Orbital-Plane Constellations Inspection
An-Yi Huang, Hong-Xin Shen, Zhao Li +3
The rapid expansion of mega-constellations in low Earth orbits has posed significant challenges to space traffic management, necessitating periodic inspections of satellites to ens…
Reconfigurable Intelligent Surface Enabled Spatial Multiplexing with Fully Convolutional Network
Bile Peng, Jan-Aike Termöhlen, Cong Sun +4
Reconfigurable intelligent surface (RIS) is an emerging technology for future wireless communication systems. In this work, we consider downlink spatial multiplexing enabled by the…
Dep: Mutation-based Dependency Generation for Precise Taint Analysis on Android Native Code
Cong Sun, Yuwan Ma, Dongrui Zeng +3
The existence of native code in Android apps plays an important role in triggering inconspicuous propagation of secrets and circumventing malware detection. However, the state-of-t…
Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search
Ruidong Han, Chao Yang, Siqi Ma +4
In order to support a variety of missions and deal with different flight environments, drone control programs typically provide configurable control parameters. However, such a fle…
Deep learning with noisy labels in medical prediction problems: a scoping review
Yishu Wei, Yu Deng, Cong Sun +3
Objectives: Medical research faces substantial challenges from noisy labels attributed to factors like inter-expert variability and machine-extracted labels. Despite this, the adop…
Demonstration-based learning for few-shot biomedical named entity recognition under machine reading comprehension
Leilei Su, Jian Chen, Yifan Peng +1
Although deep learning techniques have shown significant achievements, they frequently depend on extensive amounts of hand-labeled data and tend to perform inadequately in few-shot…
DeepCatra: Learning Flow- and Graph-based Behaviors for Android Malware Detection
Yafei Wu, Jian Shi, Peicheng Wang +2
As Android malware is growing and evolving, deep learning has been introduced into malware detection, resulting in great effectiveness. Recent work is considering hybrid models and…
Low complexity sum rate maximization for single and multiple stream MIMO AF relay networks
Cong Sun, Eduard Jorswieck
A multiple-antenna amplify-and-forward two-hop interference network with multiple links and multiple relays is considered. We optimize transmit precoders, receive decoders and rela…