Cover Image

Formal Verification of Digital Twins with TLA and Information Leakage Control

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Huang, Luwen, Varshney, Lav R., Willcox, Karen E.
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security Distributed, Parallel, and Cluster Computing Information Theory Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Digital Guardians: The Past and The Future of Cyber-Physical Resilience
by: Bagchi, Saurabh, et al.
Published: (2026)

Physical Access Control Management System Based on Permissioned Blockchain
by: Rouhani, Sara, et al.
Published: (2019)

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

Relay Mining: Incentivizing Full Non-Validating Nodes Servicing All RPC Types
by: Olshansky, Daniel, et al.
Published: (2023)

Enhancing Secrecy Energy Efficiency in RIS-Aided Aerial Mobile Edge Computing Networks: A Deep Reinforcement Learning Approach
by: Abdalla, Aly Sabri, et al.
Published: (2025)

GeoShield: Byzantine Fault Detection and Recovery for Geo-Distributed Real-Time Cyber-Physical Systems
by: Cai, Yifan, et al.
Published: (2025)

Design, Implementation and Practical Energy-Efficiency Evaluation of a Blockchain Based Academic Credential Verification System for Low-Power Nodes
by: Fernández-Blanco, Gabriel, et al.
Published: (2024)

Decentralised Blockchain Management Through Digital Twins
by: Diamantopoulos, Georgios, et al.
Published: (2025)

COOL Is Optimal in Error-Free Asynchronous Byzantine Agreement
by: Chen, Jinyuan
Published: (2025)

OciorMVBA: Near-Optimal Error-Free Asynchronous MVBA
by: Chen, Jinyuan
Published: (2024)

OciorABA: Improved Error-Free Asynchronous Byzantine Agreement via Partial Vector Agreement
by: Chen, Jinyuan
Published: (2025)

Extending Asynchronous Byzantine Agreement with Crusader Agreement
by: Erbes, Mose Mizrahi, et al.
Published: (2025)

Consensus Capacity of Noisy Broadcast Channels
by: Sangwan, Neha, et al.
Published: (2022)

Dynamic Digital Twins of Blockchain Systems: State Extraction and Mirroring
by: Diamantopoulos, Georgios, et al.
Published: (2024)

Differentially Private Secure Multiplication: Hiding Information in the Rubble of Noise
by: Cadambe, Viveck R., et al.
Published: (2023)

Temporary Power Adjusting Withholding Attack
by: Doger, Mustafa, et al.
Published: (2026)

Information-Theoretic Decentralized Secure Aggregation with Passive Collusion Resilience
by: Zhang, Xiang, et al.
Published: (2025)

Intrusion Tolerance for Networked Systems through Two-Level Feedback Control
by: Hammar, Kim, et al.
Published: (2024)

Securing RC Based P2P Networks: A Blockchain-based Access Control Framework utilizing Ethereum Smart Contracts for IoT and Web 3.0
by: Ghosh, Saurav, et al.
Published: (2024)

Adaptive Verifiable Coded Computing: Towards Fast, Secure and Private Distributed Machine Learning
by: Tang, Tingting, et al.
Published: (2021)

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

Privacy-aware Berrut Approximated Coded Computing applied to general distributed learning
by: Martínez-Luaña, Xavier, et al.
Published: (2025)

Byzantine-Resilient Secure Aggregation for Federated Learning Without Privacy Compromises
by: Xia, Yue, et al.
Published: (2024)

Effect of Full Common Randomness Replication in Symmetric PIR on Graph-Based Replicated Systems
by: Meel, Shreya, et al.
Published: (2025)

Approximate Gradient Coding for Privacy-Flexible Federated Learning with Non-IID Data
by: Makkonen, Okko, et al.
Published: (2024)

Privacy-Preserving Distributed Maximum Consensus Without Accuracy Loss
by: Yu, Wenrui, et al.
Published: (2024)

Federated One-Shot Learning with Data Privacy and Objective-Hiding
by: Egger, Maximilian, et al.
Published: (2025)

Source Anonymity for Private Random Walk Decentralized Learning
by: Egger, Maximilian, et al.
Published: (2025)

ByzSecAgg: A Byzantine-Resistant Secure Aggregation Scheme for Federated Learning Based on Coded Computing and Vector Commitment
by: Jahani-Nezhad, Tayyebeh, et al.
Published: (2023)

Hierarchical Secure Aggregation with Heterogeneous Security Constraints and Arbitrary User Collusion
by: Li, Zhou, et al.
Published: (2025)

Fundamental Limits of Hierarchical Secure Aggregation with Cyclic User Association
by: Zhang, Xiang, et al.
Published: (2025)

SEDULity: A Proof-of-Learning Framework for Distributed and Secure Blockchains with Efficient Useful Work
by: Cao, Weihang, et al.
Published: (2025)

LoByITFL: Low Communication Secure and Private Federated Learning
by: Xia, Yue, et al.
Published: (2024)

PoW Security-Latency under Random Delays and the Effect of Transaction Fees
by: Doger, Mustafa, et al.
Published: (2024)

Transaction Capacity, Security and Latency in Blockchains
by: Doger, Mustafa, et al.
Published: (2024)

Refined Bitcoin Security-Latency Under Network Delay
by: Doger, Mustafa, et al.
Published: (2022)

WW-FL: Secure and Private Large-Scale Federated Learning
by: Marx, Felix, et al.
Published: (2023)

Collaborative Access Control for IoT -- A Blockchain Approach
by: Huang, Yongtao, et al.
Published: (2024)

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

TIP: A Decentralized Intent-Based Protocol for Declarative IoT Interoperability and Sandboxed Schema Adaptation
by: Mosquera, Yeison David Mejia
Published: (2026)