Buchumschlag

Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Capozucca, Alfredo, Cristiá, Maximiliano, Horne, Ross, Katz, Ricardo
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

zkToken: Empowering Holders to Limit Revocation Checks for Verifiable Credentials
von: Manimaran, Praveensankar, et al.
Veröffentlicht: (2025)

Measuring Compliance of Consent Revocation on the Web
von: Kancherla, Gayatri Priyadarsini, et al.
Veröffentlicht: (2024)

CRSet: Private Non-Interactive Verifiable Credential Revocation
von: Hoops, Felix, et al.
Veröffentlicht: (2025)

Lara: Lightweight Anonymous Authentication with Asynchronous Revocation Auditability
von: Correia, Claudio, et al.
Veröffentlicht: (2025)

Revocable Anonymous Credentials from Attribute-Based Encryption
von: Bartolomeo, Giovanni
Veröffentlicht: (2023)

Towards Privacy-Preserving Revocation of Verifiable Credentials with Time-Flexibility
von: Buccafurri, Francesco, et al.
Veröffentlicht: (2025)

Fast Revocable Attribute-Based Encryption with Data Integrity for Internet of Things
von: Li, Yongjiao, et al.
Veröffentlicht: (2025)

Inner-product Functional Encryption with Fine-grained Revocation for Flexible EHR Sharing
von: Han, Yue, et al.
Veröffentlicht: (2025)

Unlinkability and History Preserving Bisimilarity
von: Aubert, Clément, et al.
Veröffentlicht: (2026)

SD-BLS: Privacy Preserving Selective Disclosure of Verifiable Credentials with Unlinkable Threshold Revocation
von: Roio, Denis, et al.
Veröffentlicht: (2024)

Revocable Encryption, Programs, and More: The Case of Multi-Copy Security
von: Ananth, Prabhanjan, et al.
Veröffentlicht: (2024)

Hybrid Online Certificate Status Protocol with Certificate Revocation List for Smart Grid Public Key Infrastructure
von: Huang, Hong-Sheng, et al.
Veröffentlicht: (2024)

A Multi-Authority Attribute-Based Signcryption Scheme with Efficient Revocation for Smart Grid Downlink Communication
von: Alsharif, Ahmad, et al.
Veröffentlicht: (2019)

Efficient Quantum-resistant Delegable Data Analysis Scheme with Revocation and Keyword Search in Mobile Cloud Computing
von: Han, Yue, et al.
Veröffentlicht: (2025)

Revocable Backdoor for Deep Model Trading
von: Xu, Yiran, et al.
Veröffentlicht: (2024)

Injection, Attack and Erasure: Revocable Backdoor Attacks via Machine Unlearning
von: Song, Baogang, et al.
Veröffentlicht: (2025)

Heartbeat-Bound Hierarchical Credentials: Cryptographic Revocation for AI Agent Swarms
von: Deochake, Saurabh
Veröffentlicht: (2026)

Bayes-Nash Generative Privacy Against Membership Inference Attacks
von: Zhang, Tao, et al.
Veröffentlicht: (2024)

Revocation-Ready CP-ABE Key Management for Blockchain-Based IoT Data Sharing
von: Chiu, Chun Yin
Veröffentlicht: (2026)

Enhancing REST API Fuzzing with Access Policy Violation Checks and Injection Attacks
von: Sahin, Omur, et al.
Veröffentlicht: (2026)

Hybrid Privacy Policy-Code Consistency Check using Knowledge Graphs and LLMs
von: Mao, Zhenyu, et al.
Veröffentlicht: (2025)

On Scalable Integrity Checking for Secure Cloud Disks
von: Burke, Quinn, et al.
Veröffentlicht: (2024)

Privacy-Preserving Identifier Checking in 5G
von: Gräfenstein, Marcel D. S. K., et al.
Veröffentlicht: (2025)

Reality Check for Tor Website Fingerprinting in the Open World
von: Shadbeh, Mohammadhamed, et al.
Veröffentlicht: (2026)

Spatial Discretization for Fine-Grain Zone Checks with STARKs
von: Lee, Sungmin, et al.
Veröffentlicht: (2025)

A Quantum "Lifting Theorem" for Constructions of Pseudorandom Generators from Random Oracles
von: Katz, Jonathan, et al.
Veröffentlicht: (2024)

ReSMT: An SMT-Based Tool for Reverse Engineering
von: Somech, Nir, et al.
Veröffentlicht: (2025)

Write+Sync: Software Cache Write Covert Channels Exploiting Memory-disk Synchronization
von: Chen, Congcong, et al.
Veröffentlicht: (2023)

Deep CNN Face Matchers Inherently Support Revocable Biometric Templates
von: Bhatta, Aman, et al.
Veröffentlicht: (2025)

JITScanner: Just-in-Time Executable Page Check in the Linux Operating System
von: Caporaso, Pasquale, et al.
Veröffentlicht: (2024)

Maude-HCS: Model Checking the Undetectability-Performance Tradeoffs of Hidden Communication Systems
von: Khoury, Joud, et al.
Veröffentlicht: (2026)

ACRIC: Securing Legacy Communication Networks via Authenticated Cyclic Redundancy Integrity Check
von: Lotto, Alessandro, et al.
Veröffentlicht: (2024)

Large-Scale MPC: Scaling Private Iris Code Uniqueness Checks to Millions of Users
von: Bloemen, Remco, et al.
Veröffentlicht: (2024)

If LLMs Would Just Look: Simple Line-by-line Checking Improves Vulnerability Localization
von: Li, Yue, et al.
Veröffentlicht: (2024)

Michscan: Black-Box Neural Network Integrity Checking at Runtime Through Power Analysis
von: Paul, Robi, et al.
Veröffentlicht: (2025)

Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking
von: Iskander, Ray, et al.
Veröffentlicht: (2026)

Writing a Good Security Paper for ISSCC (2025)
von: Banerjee, Utsav, et al.
Veröffentlicht: (2025)

ML Study of MaliciousTransactions in Ethereum
von: Katz, Natan
Veröffentlicht: (2024)

Model-Checking the Implementation of Consent
von: Pardo, Raúl, et al.
Veröffentlicht: (2024)

MATRIX: Multi-Layer Code Watermarking via Dual-Channel Constrained Parity-Check Encoding
von: Nie, Yuqing, et al.
Veröffentlicht: (2026)