| 2027-01 |
Characterization of Watermark-favored Words: A Diagnostic Framework for Analyzing Token-Level Behavior in Decoding-Time LLM Watermarking |
conference |
說明頁(1) |
| 2026-07 |
Gradient-Free Adversarial Prompt Injection on Retrieval-Augmented Generation via Differential Evolution |
conference |
說明頁(68) |
| 2026-07 |
Dual-track red teaming and evaluation for Traditional Chinese localized LLMs |
conference |
說明頁(39) |
| 2026-07 |
Influence-Guided Concolic Testing of Transformer Robustness |
conference |
說明頁(100) |
| 2026-07 |
ConcoLixir: Reactive LLM Discovery Oracles for Python Concolic Testing |
conference |
說明頁(87) |
| 2026-04 |
Agentic Taxation Optimization via LLM SMT-Constraint Reasoning |
conference |
pdf(14) |
| 2025-11 |
Neuro-Symbolic Compliance: Integrating LLMs and SMT for Automated Financial Legal Analysis |
conference |
pdf(18) |
| 2025-08 |
DeRAG: Black-box Adversarial Attacks on Multiple Retrieval-Augmented Generation Applications via Prompt Injection |
conference |
pdf(130) |
| 2025-08 |
A Hybrid Framework for Financial Regulatory Compliance: Integrating LLMs and SMT Solvers for Automated Legal Analysis |
conference |
pdf(200) |
| 2024-08 |
scGHSOM: Hierarchical clustering and visualization of single-cell and CRISPR data using growing hierarchical SOM |
conference |
pdf(350) |
| 2024-07 |
Concolic Testing on Individual Fairness of Neural Network Models |
conference |
pdf(326) |
| 2024-04 |
Sugar-coated poison defense on deepfake face-swapping attacks |
conference |
說明頁(471) |
| 2023-12 |
Facial Nerve Disorder Rehabilitation via Generative Adversarial Network |
conference |
說明頁(417) |
| 2023-07 |
On searching information leakage of Python model execution to detect adversarial examples |
conference |
說明頁(400) |
| 2023-05 |
DeepSHAP Summary for Adversarial Example Detection |
conference |
說明頁(563) |
| 2019-07 |
Runtime Hook on Blockchain and Smart Contract Systems |
conference |
pdf(740) |
| 2019-06 |
智慧檢測IOS應用上不正當使用廣告套件行為 |
conference |
pdf(149) |
| 2019-06 |
基於合作學習的神經網路進行圖片轉換 |
conference |
pdf(186) |
| 2019-06 |
基於狀態的可修改智能合約 |
conference |
pdf(226) |
| 2018-12 |
Malware Family Characterization with Recurrent Neural Network and GHSOM using System Calls |
conference |
說明頁(894) |
| 2018-07 |
A Symbolic Model Checking Approach to the Analysis of String and Length Constraints |
conference |
pdf(717) |
| 2018-07 |
Biparti Majority Learning with Tensors |
conference |
pdf(431) |
| 2017-01 |
Gnafuy: A framework for ubiquitous mobile computation |
conference |
說明頁(1016) |
| 2016-08 |
AppReco: Behavior-aware recommendation for iOS mobile applications |
conference |
pdf(777) |
| 2016-07 |
Optimal Sanitization Synthesis for Web Application Vulnerability Repair |
conference |
pdf(747) |
