Imagen de Portada

LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Nguyen, Dung Thuy, An, Ziyan, Johnson, Taylor T., Ma, Meiyi, Leach, Kevin
Formato:	Preprint
Publicado:	2024
Materias:	Cryptography and Security Artificial Intelligence Distributed, Parallel, and Cluster Computing Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Towards a Formal Verification of Secure Vehicle Software Updates
por: Hagen, Martin Slind, et al.
Publicado: (2025)

Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis
por: De Sclavis, Francesco, et al.
Publicado: (2024)

BackFed: An Efficient & Standardized Benchmark Suite for Backdoor Attacks in Federated Learning
por: Dao, Thinh, et al.
Publicado: (2025)

ChonkyBFT: Consensus Protocol of ZKsync
por: França, Bruno, et al.
Publicado: (2025)

Fast and Secure Decentralized Optimistic Rollups Using Setchain
por: Capretto, Margarita, et al.
Publicado: (2024)

Trustworthy Federated Learning: Privacy, Security, and Beyond
por: Chen, Chunlu, et al.
Publicado: (2024)

PARDON: Privacy-Aware and Robust Federated Domain Generalization
por: Nguyen, Dung Thuy, et al.
Publicado: (2024)

Trustworthy confidential virtual machines for the masses
por: Galanou, Anna, et al.
Publicado: (2024)

Towards Trustworthy Federated Learning
por: Basharat, Alina, et al.
Publicado: (2025)

When Quantum Federated Learning Meets Blockchain in 6G Networks
por: Nguyen, Dinh C., et al.
Publicado: (2025)

A Trustworthy and Consistent Blockchain Oracle Scheme for Industrial Internet of Things
por: Liu, Peng, et al.
Publicado: (2023)

Towards Trustworthy Federated Learning with Untrusted Participants
por: Allouah, Youssef, et al.
Publicado: (2025)

Verifiable Decentralized IPFS Cluster: Unlocking Trustworthy Data Permanency for Off-Chain Storage
por: Lamichhane, Sid, et al.
Publicado: (2024)

Collaborative Learning Framework to Detect Attacks in Transactions and Smart Contracts
por: Khoa, Tran Viet, et al.
Publicado: (2023)

GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language
por: Shapiro, Ehud
Publicado: (2025)

Efficient Query Verification for Blockchain Superlight Clients Using SNARKs
por: De Angelis, Stefano, et al.
Publicado: (2025)

Towards System-Oriented Formal Verification of Local-First Access Control
por: Jacob, Florian, et al.
Publicado: (2026)

Blockchain-Empowered Cyber-Secure Federated Learning for Trustworthy Edge Computing
por: Moore, Ervin, et al.
Publicado: (2024)

Lancelot: Towards Efficient and Privacy-Preserving Byzantine-Robust Federated Learning within Fully Homomorphic Encryption
por: Jiang, Siyang, et al.
Publicado: (2024)

Blockchain-Empowered Trustworthy Data Sharing: Fundamentals, Applications, and Challenges
por: Nguyen, Linh T., et al.
Publicado: (2023)

Enhancing Trust in AI Marketplaces: Evaluating On-Chain Verification of Personalized AI models using zk-SNARKs
por: Jagannath, Nishant, et al.
Publicado: (2025)

Lightweight Tamper-Evident Log Integrity Verification for IoT Edge Environments: A Merkle Tree Pipeline with Adaptive Chunking
por: Yagiz, Muhammet Anil, et al.
Publicado: (2026)

Lightweight Federated Learning with Differential Privacy and Straggler Resilience
por: Hong, Shu, et al.
Publicado: (2024)

Enforcing Attestable Workflows across Untrusted Networks
por: Dang, Hung, et al.
Publicado: (2026)

SMTFL: Secure Model Training to Untrusted Participants in Federated Learning
por: Zhao, Zhihui, et al.
Publicado: (2025)

Fantastyc: Blockchain-based Federated Learning Made Secure and Practical
por: Boitier, William, et al.
Publicado: (2024)

DarkFed: A Data-Free Backdoor Attack in Federated Learning
por: Li, Minghui, et al.
Publicado: (2024)

SVAFD: A Secure and Verifiable Co-Aggregation Protocol for Federated Distillation
por: Wen, Tian, et al.
Publicado: (2025)

Zero-Knowledge Proof-Based Consensus for Blockchain-Secured Federated Learning
por: Fu, Tianxing, et al.
Publicado: (2025)

FedCert: Federated Accuracy Certification
por: Nguyen, Minh Hieu, et al.
Publicado: (2024)

Large language models in 6G security: challenges and opportunities
por: Nguyen, Tri, et al.
Publicado: (2024)

Quantum-Inspired Privacy-Preserving Federated Learning Framework for Secure Dementia Classification
por: Tanbhir, Gazi, et al.
Publicado: (2025)

Privacy-Preserving Data Processing in Cloud : From Homomorphic Encryption to Federated Analytics
por: Sarraf, Gaurav, et al.
Publicado: (2026)

HERL: Tiered Federated Learning with Adaptive Homomorphic Encryption using Reinforcement Learning
por: Tang, Jiaxang, et al.
Publicado: (2024)

Adversarial Analysis of the Differentially-Private Federated Learning in Cyber-Physical Critical Infrastructures
por: Hossain, Md Tamjid, et al.
Publicado: (2022)

CHRONOS: A Hardware-Assisted Phase-Decoupled Framework for Secure Federated Learning in IoT
por: Dang, Hung
Publicado: (2026)

A Sharded Blockchain-Based Secure Federated Learning Framework for LEO Satellite Networks
por: Wu, Wenbo, et al.
Publicado: (2024)

Advances in Privacy Preserving Federated Learning to Realize a Truly Learning Healthcare System
por: Madduri, Ravi, et al.
Publicado: (2024)

PCDM: A Diffusion-Based Data Poisoning Attack Against Federated Learning Systems
por: Sun, Wei, et al.
Publicado: (2026)

Federated Analytics-Empowered Frequent Pattern Mining for Decentralized Web 3.0 Applications
por: Wang, Zibo, et al.
Publicado: (2024)