IsPri UNSW
IsPri UNSW
Home
Team
Publications
News
Light
Dark
Automatic
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
DOI
URL
MetaLogic: Robustness Evaluation of Text-to-Image Models via Logically Equivalent Prompts
Yifan Shen
,
Yangyang Shu
,
Hye-Young Paik
,
Yulei Sui
Cite
DOI
URL
On Graded Coeffect Types for Information-Flow Control
Vilem-Benjamin Liepelt
,
Danielle Marshall
,
Dominic Orchard
,
Vineet Rajani
,
Michael Vollmer
Jan 1, 2026
DOI
URL
On Graded Coeffect Types for Information-Flow Control
Vilem-Benjamin Liepelt
,
Danielle Marshall
,
Dominic Orchard
,
Vineet Rajani
,
Michael Vollmer
Cite
DOI
URL
SOLSTICE: Optimising Verifiable Data Retrieval for Storage Nodes in Account-based Blockchains
Nhi Luu
,
Asish Balasundaram
,
Sushmita Ruj
Jan 1, 2026
DOI
URL
SOLSTICE: Optimising Verifiable Data Retrieval for Storage Nodes in Account-based Blockchains
Nhi Luu
,
Asish Balasundaram
,
Sushmita Ruj
Cite
DOI
URL
Counterfeits and kill switches: How hardware security can impact you
H. Pearce
Jan 1, 2025
DOI
URL
Counterfeits and kill switches: How hardware security can impact you
H. Pearce
Cite
DOI
URL
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
DOI
URL
DARA: Enhancing Vulnerability Alignment via Adaptive Reconstruction and Dual-Level Attention
Lihua Wang
,
Jiaojiao Jiang
,
Salil S. Kanhere
,
Jiamou Sun
,
Sanjay Jha
,
Zhenchang Xing
Cite
DOI
URL
«
»
Cite
×