Cover Image

Model-Checking the Implementation of Consent

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Pardo, Raúl, Métayer, Daniel Le
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Privacy-Preserving Approach to Conformance Checking
by: Rodríguez-Flores, Luis, et al.
Published: (2026)

Automatically Detecting Checked-In Secrets in Android Apps: How Far Are We?
by: Li, Kevin, et al.
Published: (2024)

Secure Conformance Checking using Token-based Replay and Homomorphic Encryption
by: Rodríguez-Flores, Luis-Armando, et al.
Published: (2026)

LLM-Assisted Model-Based Fuzzing of Protocol Implementations
by: Huang, Changze, et al.
Published: (2025)

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

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

Fast, Fine-Grained Equivalence Checking for Neural Decompilers
by: Dramko, Luke, et al.
Published: (2025)

Options, Not Clicks: Lattice Refinement for Consent-Driven MCP Authorization
by: Li, Ying, et al.
Published: (2026)

Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers
by: Peldszus, Sven, et al.
Published: (2026)

Towards Efficient Verification of Constant-Time Cryptographic Implementations
by: Cai, Luwei, et al.
Published: (2024)

Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains
by: Mohamad, Mazen
Published: (2025)

Enterprise Identity Integration for AI-Assisted Developer Services: Architecture, Implementation, and Case Study
by: Chinthareddy, Manideep Reddy
Published: (2026)

In Specs we Trust? Conformance-Analysis of Implementation to Specifications in Node-RED and Associated Security Risks
by: Schneider, Simon, et al.
Published: (2025)

Towards Context-aware Mobile Privacy Notice: Implementation of A Deployable Contextual Privacy Policies Generator
by: Gong, Haochen, et al.
Published: (2025)

Policy-Governed RAG - Research Design Study
by: Ray, Jean-Marie Le
Published: (2025)

GView: A Versatile Assistant for Security Researchers
by: Zaharia, Raul, et al.
Published: (2024)

An Open Source Python Library for Anonymizing Sensitive Data
by: Díaz, Judith Sáinz-Pardo, et al.
Published: (2024)

CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models
by: Zhou, Qilin, et al.
Published: (2024)

Automatic, Expressive, and Scalable Fuzzing with Stitching
by: Green, Harrison, et al.
Published: (2026)

Idioms: Neural Decompilation With Joint Code and Type Definition Prediction
by: Dramko, Luke, et al.
Published: (2025)

Mining the YARA Ecosystem: From Ad-Hoc Sharing to Data-Driven Threat Intelligence
by: Esteban, Dectot--Le Monnier de Gouville, et al.
Published: (2026)

GenSIaC: Toward Security-Aware Infrastructure-as-Code Generation with Large Language Models
by: Li, Yikun, et al.
Published: (2025)

Characterizing and Modeling the GitHub Security Advisories Review Pipeline
by: Segal, Claudio, et al.
Published: (2026)

PrescientFuzz: A more effective exploration approach for grey-box fuzzing
by: Blackwell, Daniel, et al.
Published: (2024)

Stop Starving or Stuffing Me: Boosting Firmware Fuzzing Efficiency with On-demand Input Delivery
by: Shen, Shandian, et al.
Published: (2026)

LuaTaint: A Static Analysis System for Web Configuration Interface Vulnerability of Internet of Things Devices
by: Xiang, Jiahui, et al.
Published: (2024)

AutoFirm: Automatically Identifying Reused Libraries inside IoT Firmware at Large-Scale
by: Chen, YongLe, et al.
Published: (2024)

MAS-SZZ: Multi-Agentic SZZ Algorithm for Vulnerability-Inducing Commit Identification
by: Cao, Sicong, et al.
Published: (2026)

NIFuzz: Estimating Quantified Information Flow with a Fuzzer
by: Blackwell, Daniel, et al.
Published: (2025)

Threat Modelling and Risk Analysis for Large Language Model (LLM)-Powered Applications
by: Tete, Stephen Burabari
Published: (2024)

ThreMoLIA: Threat Modeling of Large Language Model-Integrated Applications
by: Jedrzejewski, Felix Viktor, et al.
Published: (2025)

Model Context Protocol Threat Modeling and Analyzing Vulnerabilities to Prompt Injection with Tool Poisoning
by: Huang, Charoes, et al.
Published: (2026)

Gotcha! This Model Uses My Code! Evaluating Membership Leakage Risks in Code Models
by: Yang, Zhou, et al.
Published: (2023)

Models Are Codes: Towards Measuring Malicious Code Poisoning Attacks on Pre-trained Model Hubs
by: Zhao, Jian, et al.
Published: (2024)

Take a Step Further: Understanding Page Spray in Linux Kernel Exploitation
by: Guo, Ziyi, et al.
Published: (2024)

Classport: Designing Runtime Dependency Introspection for Java
by: Cofano, Serena, et al.
Published: (2025)

Identifying Adversary Tactics and Techniques in Malware Binaries with an LLM Agent
by: Xuan, Zhou, et al.
Published: (2026)

Large Language Model assisted Hybrid Fuzzing
by: Meng, Ruijie, et al.
Published: (2024)

Large Language Models-Aided Program Debloating
by: Lin, Bo, et al.
Published: (2025)

State Machine Model for The Update Framework (TUF)
by: Romansky, Brian, et al.
Published: (2025)