Cover Image

Formal Verification of Permission Voucher

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Reaz, Khan, Wunder, Gerhard
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Expectation Entropy as a Password Strength Metric
by: Reaz, Khan, et al.
Published: (2024)

ASOP: A Sovereign and Secure Device Onboarding Protocol for Cloud-based IoT Services
by: Reaz, Khan, et al.
Published: (2024)

A Comprehensive Framework for Building Highly Secure, Network-Connected Devices: Chip to App
by: Reaz, Khan, et al.
Published: (2025)

Towards a Decentralized IoT Onboarding for Smart Homes Using Consortium Blockchain
by: Dadkhah, Narges, et al.
Published: (2025)

Tuning Block Size for Workload Optimization in Consortium Blockchain Networks
by: Dadkhah, Narges, et al.
Published: (2025)

From Worst to Average Case to Incremental Search Bounds of the Strong Lucas Test
by: Einsele, Semira, et al.
Published: (2024)

From Permissioned to Proof-of-Stake Consensus
by: Komatovic, Jovan, et al.
Published: (2025)

Formal Verification for Blockchain-based Insurance Claims Processing
by: Neupane, Roshan Lal, et al.
Published: (2024)

Demystifying Progressive Web Application Permission Systems
by: Wang, Mengxiao, et al.
Published: (2025)

ChainGuards: Verification of Sensed Data using Permissioned Blockchain Technology
by: Aguincha, Sara, et al.
Published: (2026)

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
by: Ginesin, Jacob, et al.
Published: (2024)

VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL
by: Antón, Anna Lena Duque, et al.
Published: (2024)

Bridging Threat Models and Detections: Formal Verification via CADP
by: Prelipcean, Dumitru-Bogdan, et al.
Published: (2025)

A Scalable Formal Verification Methodology for Data-Oblivious Hardware
by: Deutschmann, Lucas, et al.
Published: (2023)

An Investigation into the Performance of Non-Contrastive Self-Supervised Learning Methods for Network Intrusion Detection
by: Fard, Hamed, et al.
Published: (2025)

Granite: Granular Runtime Enforcement for GitHub Actions Permissions
by: Moazen, Mojtaba, et al.
Published: (2025)

Privacy as Permissible Operations: An ABAC Framework for Policy-Law Compliance
by: Dhakar, Ajay, et al.
Published: (2026)

Beyond the Scope: Security Testing of Permission Management in Team Workspace
by: Wan, Liuhuo, et al.
Published: (2025)

Privacy-Preserving On-chain Permissioning for KYC-Compliant Decentralized Applications
by: Piper, Fabian, et al.
Published: (2025)

Formal Verification of Secure Encrypted Virtualization
by: Weerasena, Hansika, et al.
Published: (2026)

Formal Verification of the Sumcheck Protocol
by: Bosshard, Azucena Garvía, et al.
Published: (2024)

Formal Verification of the Safegcd Implementation
by: O'Connor, Russell, et al.
Published: (2025)

ParikkhaChain: Blockchain-Based Result Processing and Privacy-Preserving Academic Record Management for the Complete Examination Lifecycle
by: Momin, Rabib Jahin Ibn, et al.
Published: (2026)

Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures
by: Figge, Julius, et al.
Published: (2026)

Detecting Malicious Entra OAuth Apps with LLM-Based Permission Risk Scoring
by: Mahara, Ashim
Published: (2025)

Permit: Permission-Aware Representation Intervention for Controlled Generation in Large Language Models
by: Sun, Pengcheng, et al.
Published: (2026)

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems
by: Huang, Wei, et al.
Published: (2020)

Advancements in UWB: Paving the Way for Sovereign Data Networks in Healthcare Facilities
by: Reaz, Khan, et al.
Published: (2024)

NFTDELTA: Detecting Permission Control Vulnerabilities in NFT Contracts through Multi-View Learning
by: Kuang, Hailu, et al.
Published: (2026)

From Chaos to Consistency: The Role of CSAF in Streamlining Security Advisories
by: Wunder, Julia, et al.
Published: (2024)

Automated Formal Verification of a Software Fault Isolation System
by: Sotoudeh, Matthew, et al.
Published: (2025)

Evolution of Android's Permission-based Security Model and Challenges
by: Solanki, Rajendra Kumar, et al.
Published: (2026)

Decentralized Vulnerability Disclosure via Permissioned Blockchain: A Secure, Transparent Alternative to Centralized CVE Management
by: Amirov, Novruz, et al.
Published: (2025)

hChain 4.0: A Secure and Scalable Permissioned Blockchain for EHR Management in Smart Healthcare
by: Alruwaill, Musharraf N., et al.
Published: (2025)

Privacy-Preserving Smart Contracts for Permissioned Blockchains: A zk-SNARK-Based Recipe Part-1
by: Burgos, Aldenio, et al.
Published: (2025)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
by: Liu, Yuwei, et al.
Published: (2026)

Formal Verification of Probing Security via Conditional Independence
by: Kura, Satoshi, et al.
Published: (2026)

EvoChain: a Recovery Approach for Permissioned Blockchain Applications
by: Faria, Francisco, et al.
Published: (2024)

PermRust: A Token-based Permission System for Rust
by: Gehring, Lukas, et al.
Published: (2025)

Understanding Concept Drift with Deprecated Permissions in Android Malware Detection
by: Sabbah, Ahmed, et al.
Published: (2025)