Networked Systems: Lecture Notes in Computer Science

.- Verification.
.- Adaptive Bitwidth Abstraction for Distributed Bounded Model Checking of Concurrent Programs.
.- Identifying Conditionally Relevant Variables for Safety-Critical Controllers under Single-Event Upsets.
.- Verifying Sequential Consistency under Bounded Preemptions.
.- On computing reachable configurations of Pushdown Systems with an Upper Stack.
.- NLP/LLM.
.- VoteRE: Multi-LLM Consensus for Relation Extraction.
.- S-GBT: Smooth Growth Bound Tensor for Certified Robustness Against Word Substitution Attacks in NLP.
.- Distributed Computing.
.- Deterministic Asynchronous Consensus with Some Crash-Immune Processes.
.- Byzantine Cheap Talk: Adversarial Resilience and Topology E!ects in LLM Coordination Games.
.- FLAIR: Distributed Federated Learning with Dynamic Clustering.
.- Networking.
.- Quantifying CPU Configuration E!ects on DNS Resolver Power Consumption.
.- A Methodology to Assess Power Modeling in Energy-Aware Federated Learning on Heterogeneous Mobile Devices.
.- Deep Graph Learning for Structural Vulnerability Assessment in IPv6 Transition Networks.
.- Security/Authentication.
.- A Lightweight Authentication Using Binary Fuse Filters in Resource Constrained IoT.
.- RAV: A Unified Two-Stage Recognition and Verification Framework for Biometric Authentication.
.- Representation Collapse in Self-Supervised EEG Models: A Cross-Subject Analysis of Foundation Model Failures.