Chapter

MetaLogic: Robustness Evaluation of Text-to-Image Models via Logically Equivalent Prompts

Yifan Shen, Yangyang Shu, Hye-Young Paik, Yulei Sui

Jan 1, 2026

MetaLogic: Robustness Evaluation of Text-to-Image Models via Logically Equivalent Prompts

Yifan Shen, Yangyang Shu, Hye-Young Paik, Yulei Sui

On Graded Coeffect Types for Information-Flow Control

Vilem-Benjamin Liepelt, Danielle Marshall, Dominic Orchard, Vineet Rajani, Michael Vollmer

Jan 1, 2026

On Graded Coeffect Types for Information-Flow Control

Vilem-Benjamin Liepelt, Danielle Marshall, Dominic Orchard, Vineet Rajani, Michael Vollmer

DARA: Enhancing Vulnerability Alignment via Adaptive Reconstruction and Dual-Level Attention

Lihua Wang, Jiaojiao Jiang, Salil S. Kanhere, Jiamou Sun, Sanjay Jha, Zhenchang Xing

Jan 1, 2025

DARA: Enhancing Vulnerability Alignment via Adaptive Reconstruction and Dual-Level Attention

Lihua Wang, Jiaojiao Jiang, Salil S. Kanhere, Jiamou Sun, Sanjay Jha, Zhenchang Xing

Label Shift Estimation With Incremental Prior Update

Yunrui Zhang, Gustavo Batista, Salii S. Kanhere

Jan 1, 2025

Label Shift Estimation With Incremental Prior Update

Yunrui Zhang, Gustavo Batista, Salii S. Kanhere

Revisiting Class Imbalance: A Generalized Notion for Oversampling

Purushoth Velayuthan, Navodika Karunasingha, Hasalanka Nagahawaththa, Buddhi G. Jayasekara, Asela Hevapathige

Bitcoin Blockchain System: An Overview of Security and Privacy Aspects

Mauro Conti, Ankit Gangwal, Chhagan Lal, Sushmita Ruj

Jan 1, 2024