Image de couverture de livre

A Privacy-Preserving Approach to Conformance Checking

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Rodríguez-Flores, Luis, García-Bañuelos, Luciano, Armas-Cervantes, Abel, Rivera-Partida, Astrid
Format:	Preprint
Publié:	2026
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

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

An Architecture for Privacy-Preserving Telemetry Scheme
par: Odoh, Kenneth
Publié: (2025)

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

Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements
par: Wang, Huaijin, et autres
Publié: (2024)

zkSBOM: Privacy-Preserving SBOM Sharing with Zero-Knowledge Sets
par: Sorger, Tom, et autres
Publié: (2026)

LLM-Redactor: An Empirical Evaluation of Eight Techniques for Privacy-Preserving LLM Requests
par: Agyemang, Justice Owusu, et autres
Publié: (2026)

A Privacy-Preserving DAO Model Using NFT Authentication for the Punishment not Reward Blockchain Architecture
par: Bayan, Talgar, et autres
Publié: (2024)

SoK: Enhancing Privacy-Preserving Software Development from a Developers' Perspective
par: Wijesundara, Tharaka, et autres
Publié: (2025)

Model-Checking the Implementation of Consent
par: Pardo, Raúl, et autres
Publié: (2024)

{A New Hope}: Contextual Privacy Policies for Mobile Applications and An Approach Toward Automated Generation
par: Pan, Shidong, et autres
Publié: (2024)

Privacy Bills of Materials: A Transparent Privacy Information Inventory for Collaborative Privacy Notice Generation in Mobile App Development
par: Tao, Zhen, et autres
Publié: (2025)

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

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

X.509 Information Security Certification Based on Post-Quantum Cryptography
par: Chen, Abel C. H.
Publié: (2024)

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

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

Do Privacy Policies Match with the Logs? An Empirical Study of Privacy Disclosure in Android Application Logs
par: Chen, Zhiyuan, et autres
Publié: (2026)

Finding Privacy-relevant Source Code
par: Tang, Feiyang, et autres
Publié: (2024)

A LINDDUN-based Privacy Threat Modeling Framework for GenAI
par: Liao, Qianying, et autres
Publié: (2026)

A Multi-Store Privacy Measurement of Virtual Reality App Ecosystem
par: Yan, Chuan, et autres
Publié: (2025)

Privacy and Confidentiality Requirements Engineering for Process Data
par: Haertel, Fabian, et autres
Publié: (2025)

Towards Privacy-Preserving Code Generation: Differentially Private Code Language Models
par: Catal, Melih, et autres
Publié: (2025)

Privacy Management and Interface Design for a Smart House
par: Comeaga, Ana-Maria, et autres
Publié: (2024)

Visualizing Privacy-Relevant Data Flows in Android Applications
par: Khedkar, Mugdha, et autres
Publié: (2025)

Assessing Privacy Compliance of Android Third-Party SDKs
par: Meng, Mark Huasong, et autres
Publié: (2024)

A First Look at Privacy Risks of Android Task-executable Voice Assistant Applications
par: Pan, Shidong, et autres
Publié: (2025)

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

Exploring User Privacy Awareness on GitHub: An Empirical Study
par: Alfieri, Costanza, et autres
Publié: (2024)

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

An Empirical Study on Oculus Virtual Reality Applications: Security and Privacy Perspectives
par: Guo, Hanyang, et autres
Publié: (2024)

Probing Privacy Leaks in LLM-based Code Generation via Test Generation
par: Ge, Yifei, et autres
Publié: (2026)

Train in Vain: Functionality-Preserving Poisoning to Prevent Unauthorized Use of Code Datasets
par: Xiao, Yuan, et autres
Publié: (2026)

A Solution toward Transparent and Practical AI Regulation: Privacy Nutrition Labels for Open-source Generative AI-based Applications
par: Si, Meixue, et autres
Publié: (2024)

Building Privacy-and-Security-Focused Federated Learning Infrastructure for Global Multi-Centre Healthcare Research
par: Zhang, Fan, et autres
Publié: (2026)

Enhancing Pre-Trained Language Models for Vulnerability Detection via Semantic-Preserving Data Augmentation
par: Qi, Weiliang, et autres
Publié: (2024)

Automated Generation of Accurate Privacy Captions From Android Source Code Using Large Language Models
par: Jain, Vijayanta, et autres
Publié: (2026)

The Power of Words: Generating PowerShell Attacks from Natural Language
par: Liguori, Pietro, et autres
Publié: (2024)

Understanding Privacy Risks in Code Models Through Training Dynamics: A Causal Approach
par: Yang, Hua, et autres
Publié: (2025)

Cluster-guided LLM-Based Anonymization of Software Analytics Data: Studying Privacy-Utility Trade-offs in JIT Defect Prediction
par: Khan, Maaz, et autres
Publié: (2025)

MiniScope: Automated UI Exploration and Privacy Inconsistency Detection of MiniApps via Two-phase Iterative Hybrid Analysis
par: Wang, Shenao, et autres
Publié: (2024)