Chapter

A Federated Approach to Verifier Verification in Self Sovereign Identity

Swapnil Chowdhury, Kowshik Chowdhury, Rahma Mukta, Sharmistha Chanda Tista

DoPQM: Devices Oriented Post-quantum Cryptographic Migration Strategies for an Enterprise Network

Amit Bhowmick, Divyesh Saglani, Lakshmi Padmaja Maddali, Akhila Rayala, Meena Singh Dilip Thakur, Rajan Mindigal Alasingara Bhattachar

Fake News Detection with Hypergraph Neural Networks via Leveraging User-Topic Interactions

Jin Ho Go, Jiaojiao Jiang, Sanjay Jha

Jan 1, 2026

Fake News Detection with Hypergraph Neural Networks via Leveraging User-Topic Interactions

Jin Ho Go, Jiaojiao Jiang, Sanjay Jha

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

Counterfeits and kill switches: How hardware security can impact you

Jan 1, 2025

Counterfeits and kill switches: How hardware security can impact you