Queueing and glueing for optimal partitioning (functional pearl). - Shin-Cheng Mu; Yu-Hsi Chiang; Yu-Han Lyu (ICFP, 2016)

Formal derivation of Greedy algorithms from relational specifications: A tutorial. - Yu-Hsi Chiang; Shin-Cheng Mu (J. Log. Algebraic Methods Program., 2016)

SAFECHAIN: Securing Trigger-Action Programming from Attack Chains (Extended Technical Report). - Kai-Hsiang Hsu; Yu-Hsi Chiang; Hsu-Chun Hsiao (CoRR, 2019)

SafeChain: Securing Trigger-Action Programming From Attack Chains. - Kai-Hsiang Hsu; Yu-Hsi Chiang; Hsu-Chun Hsiao (IEEE Trans. Inf. Forensics Secur., 2019)

On the Privacy Risks of Compromised Trigger-Action Platforms. - Yu-Hsi Chiang; Hsu-Chun Hsiao; Chia-Mu Yu; Tiffany Hyun-Jin Kim (ESORICS (2), 2020)

Low-Rate Overuse Flow Tracer (LOFT): An Efficient and Scalable Algorithm for Detecting Overuse Flows. - Simon Scherrer; Che-Yu Wu; Yu-Hsi Chiang; Benjamin Rothenberger; Daniele Enrico Asoni; Arish Sateesan; Jo Vliegen; Nele Mentens; Hsu-Chun Hsiao; Adrian Perrig (SRDS, 2021)