Buchumschlag

Model-Checking the Implementation of Consent

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Pardo, Raúl, Métayer, Daniel Le
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Cryptography and Security Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Privacy-Preserving Approach to Conformance Checking
von: Rodríguez-Flores, Luis, et al.
Veröffentlicht: (2026)

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

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

LLM-Assisted Model-Based Fuzzing of Protocol Implementations
von: Huang, Changze, et al.
Veröffentlicht: (2025)

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)

Fast, Fine-Grained Equivalence Checking for Neural Decompilers
von: Dramko, Luke, et al.
Veröffentlicht: (2025)

Options, Not Clicks: Lattice Refinement for Consent-Driven MCP Authorization
von: Li, Ying, et al.
Veröffentlicht: (2026)

Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers
von: Peldszus, Sven, et al.
Veröffentlicht: (2026)

Towards Efficient Verification of Constant-Time Cryptographic Implementations
von: Cai, Luwei, et al.
Veröffentlicht: (2024)

Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains
von: Mohamad, Mazen
Veröffentlicht: (2025)

Enterprise Identity Integration for AI-Assisted Developer Services: Architecture, Implementation, and Case Study
von: Chinthareddy, Manideep Reddy
Veröffentlicht: (2026)

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

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

Policy-Governed RAG - Research Design Study
von: Ray, Jean-Marie Le
Veröffentlicht: (2025)

GView: A Versatile Assistant for Security Researchers
von: Zaharia, Raul, et al.
Veröffentlicht: (2024)

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

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

Automatic, Expressive, and Scalable Fuzzing with Stitching
von: Green, Harrison, et al.
Veröffentlicht: (2026)

Idioms: Neural Decompilation With Joint Code and Type Definition Prediction
von: Dramko, Luke, et al.
Veröffentlicht: (2025)

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

GenSIaC: Toward Security-Aware Infrastructure-as-Code Generation with Large Language Models
von: Li, Yikun, et al.
Veröffentlicht: (2025)

Characterizing and Modeling the GitHub Security Advisories Review Pipeline
von: Segal, Claudio, et al.
Veröffentlicht: (2026)

PrescientFuzz: A more effective exploration approach for grey-box fuzzing
von: Blackwell, Daniel, et al.
Veröffentlicht: (2024)

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

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

AutoFirm: Automatically Identifying Reused Libraries inside IoT Firmware at Large-Scale
von: Chen, YongLe, et al.
Veröffentlicht: (2024)

MAS-SZZ: Multi-Agentic SZZ Algorithm for Vulnerability-Inducing Commit Identification
von: Cao, Sicong, et al.
Veröffentlicht: (2026)

NIFuzz: Estimating Quantified Information Flow with a Fuzzer
von: Blackwell, Daniel, et al.
Veröffentlicht: (2025)

Threat Modelling and Risk Analysis for Large Language Model (LLM)-Powered Applications
von: Tete, Stephen Burabari
Veröffentlicht: (2024)

ThreMoLIA: Threat Modeling of Large Language Model-Integrated Applications
von: Jedrzejewski, Felix Viktor, et al.
Veröffentlicht: (2025)

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

Gotcha! This Model Uses My Code! Evaluating Membership Leakage Risks in Code Models
von: Yang, Zhou, et al.
Veröffentlicht: (2023)

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

Take a Step Further: Understanding Page Spray in Linux Kernel Exploitation
von: Guo, Ziyi, et al.
Veröffentlicht: (2024)

Classport: Designing Runtime Dependency Introspection for Java
von: Cofano, Serena, et al.
Veröffentlicht: (2025)

Identifying Adversary Tactics and Techniques in Malware Binaries with an LLM Agent
von: Xuan, Zhou, et al.
Veröffentlicht: (2026)

Large Language Model assisted Hybrid Fuzzing
von: Meng, Ruijie, et al.
Veröffentlicht: (2024)

Large Language Models-Aided Program Debloating
von: Lin, Bo, et al.
Veröffentlicht: (2025)

State Machine Model for The Update Framework (TUF)
von: Romansky, Brian, et al.
Veröffentlicht: (2025)