Buchumschlag

Secure Conformance Checking using Token-based Replay and Homomorphic Encryption

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Rodríguez-Flores, Luis-Armando, García-Bañuelos, Luciano, Armas-Cervantes, Abel, Rivera-Partida, Astrid-Monserrat
Format:	Preprint
Veröffentlicht:	2026
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)

From Struggle to Simplicity with a Usable and Secure API for Encryption in Java
von: Firouzi, Ehsan, et al.
Veröffentlicht: (2024)

X.509 Information Security Certification Based on Post-Quantum Cryptography
von: Chen, Abel C. H.
Veröffentlicht: (2024)

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

Hybrid Privacy Policy-Code Consistency Check using Knowledge Graphs and LLMs
von: Mao, Zhenyu, et al.
Veröffentlicht: (2025)

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)

Model-Checking the Implementation of Consent
von: Pardo, Raúl, et al.
Veröffentlicht: (2024)

One Signature, Multiple Payments: Demystifying and Detecting Signature Replay Vulnerabilities in Smart Contracts
von: Wang, Zexu, et al.
Veröffentlicht: (2025)

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

Enhancing REST API Fuzzing with Access Policy Violation Checks and Injection Attacks
von: Sahin, Omur, et al.
Veröffentlicht: (2026)

The Security Performance Analysis of Blockchain System Based on Post-Quantum Cryptography -- A Case Study of Cryptocurrency Exchanges
von: Chen, Abel C. H.
Veröffentlicht: (2024)

Security study based on the Chatgptplugin system: ldentifying Security Vulnerabilities
von: Ren, Ruomai
Veröffentlicht: (2025)

Leveraging Security Observability to Strengthen Security of Digital Ecosystem Architecture
von: Ramachandran, Renjith
Veröffentlicht: (2024)

Learning to Generate Secure Code via Token-Level Rewards
von: Quan, Jiazheng, et al.
Veröffentlicht: (2026)

Security Incentivization: An Empirical Study of how Micropayments Impact Code Security
von: Rass, Stefan, et al.
Veröffentlicht: (2026)

SoK: Analysis of Software Supply Chain Security by Establishing Secure Design Properties
von: Okafor, Chinenye, et al.
Veröffentlicht: (2024)

How Secure is Secure Code Generation? Adversarial Prompts Put LLM Defenses to the Test
von: Tessa, Melissa, et al.
Veröffentlicht: (2026)

Lightweight Vulnerability Detection from Code Metrics and Token Features
von: Chiu, Chun Yin
Veröffentlicht: (2026)

Numeric Truncation Security Predicate
von: Mezhuev, Timofey, et al.
Veröffentlicht: (2023)

LLM Security Guard for Code
von: Kavian, Arya, et al.
Veröffentlicht: (2024)

An Introduction to Adaptive Software Security
von: Nia, Mehran Alidoost
Veröffentlicht: (2023)

Securing Tomorrow's Smart Cities: Investigating Software Security in Internet of Vehicles and Deep Learning Technologies
von: Jain, Ridhi, et al.
Veröffentlicht: (2024)

Give LLMs a Security Course: Securing Retrieval-Augmented Code Generation via Knowledge Injection
von: Lin, Bo, et al.
Veröffentlicht: (2025)

Decoding Secret Memorization in Code LLMs Through Token-Level Characterization
von: Nie, Yuqing, et al.
Veröffentlicht: (2024)

LineBreaker: Finding Token-Inconsistency Bugs with Large Language Models
von: Chen, Hongbo, et al.
Veröffentlicht: (2024)

An Empirical Study on the Security Vulnerabilities of GPTs
von: Wu, Tong, et al.
Veröffentlicht: (2025)

120 Domain-Specific Languages for Security
von: Krausz, Markus, et al.
Veröffentlicht: (2024)

An Exploratory Study on the Engineering of Security Features
von: Hermann, Kevin, et al.
Veröffentlicht: (2025)

LLMs for Cyber Security: New Opportunities
von: Divakaran, Dinil Mon, et al.
Veröffentlicht: (2024)

A User-centered Security Evaluation of Copilot
von: Asare, Owura, et al.
Veröffentlicht: (2023)

Operationalizing Research Software for Supply Chain Security
von: Kalu, Kelechi G., et al.
Veröffentlicht: (2026)

Fixing Security Vulnerabilities with AI in OSS-Fuzz
von: Zhang, Yuntong, et al.
Veröffentlicht: (2024)

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

Secure Coding with AI -- From Detection to Repair
von: Belozerov, Vladislav, et al.
Veröffentlicht: (2025)

Software Supply Chain Security of Web3
von: Monperrus, Martin
Veröffentlicht: (2025)

A Survey of Web Application Security Tutorials
von: Chembakottu, Bhagya, et al.
Veröffentlicht: (2026)

Managing Security Evidence in Safety-Critical Organizations
von: Mohamad, Mazen, et al.
Veröffentlicht: (2024)

Clawdrain: Exploiting Tool-Calling Chains for Stealthy Token Exhaustion in OpenClaw Agents
von: Dong, Ben, et al.
Veröffentlicht: (2026)

R+R: Reassessing Java Security API Misuse in Current LLMs: A Replication on JCA and JSSE APIs with External Security Knowledge
von: Lu, Tianhe, et al.
Veröffentlicht: (2026)

TELSAFE: Security Gap Quantitative Risk Assessment Framework
von: Siddiqui, Sarah Ali, et al.
Veröffentlicht: (2025)