Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Capozucca, Alfredo, Cristiá, Maximiliano, Horne, Ross, Katz, Ricardo
Formato:	Preprint
Publicado:	2024
Materias:	Cryptography and Security
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

zkToken: Empowering Holders to Limit Revocation Checks for Verifiable Credentials
por: Manimaran, Praveensankar, et al.
Publicado: (2025)

Measuring Compliance of Consent Revocation on the Web
por: Kancherla, Gayatri Priyadarsini, et al.
Publicado: (2024)

CRSet: Private Non-Interactive Verifiable Credential Revocation
por: Hoops, Felix, et al.
Publicado: (2025)

Lara: Lightweight Anonymous Authentication with Asynchronous Revocation Auditability
por: Correia, Claudio, et al.
Publicado: (2025)

Revocable Anonymous Credentials from Attribute-Based Encryption
por: Bartolomeo, Giovanni
Publicado: (2023)

Towards Privacy-Preserving Revocation of Verifiable Credentials with Time-Flexibility
por: Buccafurri, Francesco, et al.
Publicado: (2025)

Fast Revocable Attribute-Based Encryption with Data Integrity for Internet of Things
por: Li, Yongjiao, et al.
Publicado: (2025)

Unlinkability and History Preserving Bisimilarity
por: Aubert, Clément, et al.
Publicado: (2026)

Inner-product Functional Encryption with Fine-grained Revocation for Flexible EHR Sharing
por: Han, Yue, et al.
Publicado: (2025)

Revocable Backdoor for Deep Model Trading
por: Xu, Yiran, et al.
Publicado: (2024)

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

Revocable Encryption, Programs, and More: The Case of Multi-Copy Security
por: Ananth, Prabhanjan, et al.
Publicado: (2024)

Injection, Attack and Erasure: Revocable Backdoor Attacks via Machine Unlearning
por: Song, Baogang, et al.
Publicado: (2025)

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

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

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

{log}: From a Constraint Logic Programming Language to a Formal Verification Tool
por: Cristiá, Maximiliano, et al.
Publicado: (2025)

Heartbeat-Bound Hierarchical Credentials: Cryptographic Revocation for AI Agent Swarms
por: Deochake, Saurabh
Publicado: (2026)

Revocation-Ready CP-ABE Key Management for Blockchain-Based IoT Data Sharing
por: Chiu, Chun Yin
Publicado: (2026)

Deep CNN Face Matchers Inherently Support Revocable Biometric Templates
por: Bhatta, Aman, et al.
Publicado: (2025)

Enhancing REST API Fuzzing with Access Policy Violation Checks and Injection Attacks
por: Sahin, Omur, et al.
Publicado: (2026)

Hybrid Privacy Policy-Code Consistency Check using Knowledge Graphs and LLMs
por: Mao, Zhenyu, et al.
Publicado: (2025)

Bayes-Nash Generative Privacy Against Membership Inference Attacks
por: Zhang, Tao, et al.
Publicado: (2024)

On Scalable Integrity Checking for Secure Cloud Disks
por: Burke, Quinn, et al.
Publicado: (2024)

Privacy-Preserving Identifier Checking in 5G
por: Gräfenstein, Marcel D. S. K., et al.
Publicado: (2025)

A Quantum "Lifting Theorem" for Constructions of Pseudorandom Generators from Random Oracles
por: Katz, Jonathan, et al.
Publicado: (2024)

ReSMT: An SMT-Based Tool for Reverse Engineering
por: Somech, Nir, et al.
Publicado: (2025)

Write+Sync: Software Cache Write Covert Channels Exploiting Memory-disk Synchronization
por: Chen, Congcong, et al.
Publicado: (2023)

Reality Check for Tor Website Fingerprinting in the Open World
por: Shadbeh, Mohammadhamed, et al.
Publicado: (2026)

Spatial Discretization for Fine-Grain Zone Checks with STARKs
por: Lee, Sungmin, et al.
Publicado: (2025)

ML Study of MaliciousTransactions in Ethereum
por: Katz, Natan
Publicado: (2024)

JITScanner: Just-in-Time Executable Page Check in the Linux Operating System
por: Caporaso, Pasquale, et al.
Publicado: (2024)

Model-Checking the Implementation of Consent
por: Pardo, Raúl, et al.
Publicado: (2024)

Maude-HCS: Model Checking the Undetectability-Performance Tradeoffs of Hidden Communication Systems
por: Khoury, Joud, et al.
Publicado: (2026)

Writing a Good Security Paper for ISSCC (2025)
por: Banerjee, Utsav, et al.
Publicado: (2025)

ACRIC: Securing Legacy Communication Networks via Authenticated Cyclic Redundancy Integrity Check
por: Lotto, Alessandro, et al.
Publicado: (2024)

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

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

Michscan: Black-Box Neural Network Integrity Checking at Runtime Through Power Analysis
por: Paul, Robi, et al.
Publicado: (2025)

Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking
por: Iskander, Ray, et al.
Publicado: (2026)