A computer-checked library of category theory: Formally verifying currying via the product-exponential adjunction

A computer-checked library of category theory: Defining functors and their algebras

The monad and examples from Haskell: A computer-checked library for Category Theory in Lean

A Computer-Checked Library of Category Theory: Universal Properties of Category Theory in Functional Programming

Scaling Up, Staying Secure: Assessing the Cyber Risks of Distributed Energy Resources in the Smart Grid

Introducing Privacy-Enhancing Technologies to Consortium Blockchains

RPL-based Passive OS Fingerprinting in Low-power and Lossy Wireless Sensor Networks

Bubblechain: An IoT authentication system

Unmasking the Power of Trigger Intensity in Federated Learning: Exploring Trigger Intensities in Backdoor Attacks

Approximate Gradient Inversion Attack on Federated Learning

Multi-Functional Privacy-Preserving Data Aggregation: With Malicious User Detection

Early-Warning-Driven Approach for Network Protection Against Earthquakes

Attacks on Searchable Symmetric Encryption Systems: Revisiting Similar-data and File Injection Attacks

Methodological Considerations in Exploit Prediction Systems

Under-Screen Camera Detection

Pallas: Novel Sound Classification at the Edge

Privacy Analysis of Decentralized Federated Learning