Image de couverture de livre

Model-Checking the Implementation of Consent

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Pardo, Raúl, Métayer, Daniel Le
Format:	Preprint
Publié:	2024
Sujets:	Cryptography and Security Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Privacy-Preserving Approach to Conformance Checking
par: Rodríguez-Flores, Luis, et autres
Publié: (2026)

Automatically Detecting Checked-In Secrets in Android Apps: How Far Are We?
par: Li, Kevin, et autres
Publié: (2024)

Secure Conformance Checking using Token-based Replay and Homomorphic Encryption
par: Rodríguez-Flores, Luis-Armando, et autres
Publié: (2026)

LLM-Assisted Model-Based Fuzzing of Protocol Implementations
par: Huang, Changze, et autres
Publié: (2025)

Enhancing REST API Fuzzing with Access Policy Violation Checks and Injection Attacks
par: Sahin, Omur, et autres
Publié: (2026)

Hybrid Privacy Policy-Code Consistency Check using Knowledge Graphs and LLMs
par: Mao, Zhenyu, et autres
Publié: (2025)

Fast, Fine-Grained Equivalence Checking for Neural Decompilers
par: Dramko, Luke, et autres
Publié: (2025)

Options, Not Clicks: Lattice Refinement for Consent-Driven MCP Authorization
par: Li, Ying, et autres
Publié: (2026)

Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers
par: Peldszus, Sven, et autres
Publié: (2026)

Towards Efficient Verification of Constant-Time Cryptographic Implementations
par: Cai, Luwei, et autres
Publié: (2024)

Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains
par: Mohamad, Mazen
Publié: (2025)

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

In Specs we Trust? Conformance-Analysis of Implementation to Specifications in Node-RED and Associated Security Risks
par: Schneider, Simon, et autres
Publié: (2025)

Towards Context-aware Mobile Privacy Notice: Implementation of A Deployable Contextual Privacy Policies Generator
par: Gong, Haochen, et autres
Publié: (2025)

Policy-Governed RAG - Research Design Study
par: Ray, Jean-Marie Le
Publié: (2025)

GView: A Versatile Assistant for Security Researchers
par: Zaharia, Raul, et autres
Publié: (2024)

An Open Source Python Library for Anonymizing Sensitive Data
par: Díaz, Judith Sáinz-Pardo, et autres
Publié: (2024)

CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models
par: Zhou, Qilin, et autres
Publié: (2024)

Automatic, Expressive, and Scalable Fuzzing with Stitching
par: Green, Harrison, et autres
Publié: (2026)

Idioms: Neural Decompilation With Joint Code and Type Definition Prediction
par: Dramko, Luke, et autres
Publié: (2025)

Mining the YARA Ecosystem: From Ad-Hoc Sharing to Data-Driven Threat Intelligence
par: Esteban, Dectot--Le Monnier de Gouville, et autres
Publié: (2026)

GenSIaC: Toward Security-Aware Infrastructure-as-Code Generation with Large Language Models
par: Li, Yikun, et autres
Publié: (2025)

Characterizing and Modeling the GitHub Security Advisories Review Pipeline
par: Segal, Claudio, et autres
Publié: (2026)

PrescientFuzz: A more effective exploration approach for grey-box fuzzing
par: Blackwell, Daniel, et autres
Publié: (2024)

Stop Starving or Stuffing Me: Boosting Firmware Fuzzing Efficiency with On-demand Input Delivery
par: Shen, Shandian, et autres
Publié: (2026)

LuaTaint: A Static Analysis System for Web Configuration Interface Vulnerability of Internet of Things Devices
par: Xiang, Jiahui, et autres
Publié: (2024)

AutoFirm: Automatically Identifying Reused Libraries inside IoT Firmware at Large-Scale
par: Chen, YongLe, et autres
Publié: (2024)

MAS-SZZ: Multi-Agentic SZZ Algorithm for Vulnerability-Inducing Commit Identification
par: Cao, Sicong, et autres
Publié: (2026)

NIFuzz: Estimating Quantified Information Flow with a Fuzzer
par: Blackwell, Daniel, et autres
Publié: (2025)

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

ThreMoLIA: Threat Modeling of Large Language Model-Integrated Applications
par: Jedrzejewski, Felix Viktor, et autres
Publié: (2025)

Model Context Protocol Threat Modeling and Analyzing Vulnerabilities to Prompt Injection with Tool Poisoning
par: Huang, Charoes, et autres
Publié: (2026)

Gotcha! This Model Uses My Code! Evaluating Membership Leakage Risks in Code Models
par: Yang, Zhou, et autres
Publié: (2023)

Models Are Codes: Towards Measuring Malicious Code Poisoning Attacks on Pre-trained Model Hubs
par: Zhao, Jian, et autres
Publié: (2024)

Take a Step Further: Understanding Page Spray in Linux Kernel Exploitation
par: Guo, Ziyi, et autres
Publié: (2024)

Classport: Designing Runtime Dependency Introspection for Java
par: Cofano, Serena, et autres
Publié: (2025)

Identifying Adversary Tactics and Techniques in Malware Binaries with an LLM Agent
par: Xuan, Zhou, et autres
Publié: (2026)

Large Language Model assisted Hybrid Fuzzing
par: Meng, Ruijie, et autres
Publié: (2024)

Large Language Models-Aided Program Debloating
par: Lin, Bo, et autres
Publié: (2025)

State Machine Model for The Update Framework (TUF)
par: Romansky, Brian, et autres
Publié: (2025)