Cover Image

Towards System-Oriented Formal Verification of Local-First Access Control

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jacob, Florian, Stuber, Johanna, Hartenstein, Hannes
Format:	Preprint
Published:	2026
Subjects:	Distributed, Parallel, and Cluster Computing Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Internet of Things Security, Device Authentication and Access Control: A Review
by: Ali, Inayat, et al.
Published: (2019)

Privacy-First Crowdsourcing: Blockchain and Local Differential Privacy in Crowdsourced Drone Services
by: Akram, Junaid, et al.
Published: (2024)

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

Towards the Unmanned Aerial Vehicle Traffic Management Systems (UTMs): Security Risks and Challenges
by: Spalas, Konstantinos
Published: (2024)

DeZent: Decentralized z-Anonymity with Privacy-Preserving Coordination
by: Brunn, Carolin, et al.
Published: (2026)

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

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

MultiChain Blockchain Data Provenance for Deterministic Stream Processing with Kafka Streams: A Weather Data Case Study
by: Ramaki, Niaz Mohammad, et al.
Published: (2026)

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

LeftoverLocals: Listening to LLM Responses Through Leaked GPU Local Memory
by: Sorensen, Tyler, et al.
Published: (2024)

SuperPaymaster: Eliminating Centralized Signer Authority via Asset-Oriented Abstraction to Reconcile Usability and Decentralization in Account Abstraction
by: Jiao, Huifeng, et al.
Published: (2026)

Formal Verification of Digital Twins with TLA and Information Leakage Control
by: Huang, Luwen, et al.
Published: (2024)

Empower Healthcare through a Self-Sovereign Identity Infrastructure for Secure Electronic Health Data Access
by: Martínez, Antonio López, et al.
Published: (2025)

Fuzzychain-edge: A novel Fuzzy logic-based adaptive Access control model for Blockchain in Edge Computing
by: Farooq, Khushbakht, et al.
Published: (2026)

Zaptos: Towards Optimal Blockchain Latency
by: Xiang, Zhuolun, et al.
Published: (2025)

Network Impact of Post-Quantum Certificate Chain sizes on Time to First Byte in TLS Deployments
by: Chou, Matthew, et al.
Published: (2026)

TOPLOC: A Locality Sensitive Hashing Scheme for Trustless Verifiable Inference
by: Ong, Jack Min, et al.
Published: (2025)

Towards Proxy Staking Accounts Based on NFTs in Ethereum
by: Valaštín, Viktor, et al.
Published: (2024)

T-Watch: Towards Timed Execution of Private Transaction in Blockchains
by: Li, Chao, et al.
Published: (2024)

Towards Stronger Blockchains: Security Against Front-Running Attacks
by: Misra, Anshuman, et al.
Published: (2023)

Split Learning without Local Weight Sharing to Enhance Client-side Data Privacy
by: Pham, Ngoc Duy, et al.
Published: (2022)

SWORD: A Secure LoW-Latency Offline-First Authentication and Data Sharing Scheme for Resource Constrained Distributed Networks
by: Bappy, Faisal Haque, et al.
Published: (2026)

Towards Credential-based Device Registration in DApps for DePINs with ZKPs
by: Heiss, Jonathan, et al.
Published: (2024)

Towards a Blockchain-Based CI/CD Framework to Enhance Security in Cloud Environments
by: Saleh, Sabbir M, et al.
Published: (2025)

Towards Resilient Federated Learning in CyberEdge Networks: Recent Advances and Future Trends
by: Li, Kai, et al.
Published: (2025)

BoostCom: Towards Efficient Universal Fully Homomorphic Encryption by Boosting the Word-wise Comparisons
by: Yudha, Ardhi Wiratama Baskara, et al.
Published: (2024)

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

MEV-ACE: Identity-Authenticated Fair Ordering for Proposer-Controlled MEV Mitigation
by: Wang, Jian Sheng
Published: (2026)

NetNN: Neural Intrusion Detection System in Programmable Networks
by: Razavi, Kamran, et al.
Published: (2024)

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

SCALHEALTH: Scalable Blockchain Integration for Secure IoT Healthcare Systems
by: Mohammadi, Mehrzad, et al.
Published: (2024)

DRAMatic Speedup: Accelerating HE Operations on a Processing-in-Memory System
by: Klinger, Niklas, et al.
Published: (2026)

Developing a Blockchain-Based Secure Digital Contents Distribution System
by: Qadri, Syed Mohiuddin, et al.
Published: (2025)

Security Vulnerabilities in Quantum Cloud Systems: A Survey on Emerging Threats
by: Coupel, Justin, et al.
Published: (2025)

Differential Privacy for Secure Machine Learning in Healthcare IoT-Cloud Systems
by: Mangala, N, et al.
Published: (2025)

DBNode: A Decentralized Storage System for Big Data Storage in Consortium Blockchains
by: Dadkhah, Narges, et al.
Published: (2024)

Distributed Log-driven Anomaly Detection System based on Evolving Decision Making
by: Tan, Zhuoran, et al.
Published: (2025)

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