Buchumschlag

Execution-time opacity control for timed automata

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	André, Étienne, Duflot, Marie, Laversa, Laetitia, Lefaucheux, Engel
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Expiring opacity problems in parametric timed automata
von: André, Étienne, et al.
Veröffentlicht: (2024)

Execution-time opacity problems in one-clock parametric timed automata
von: André, Étienne, et al.
Veröffentlicht: (2024)

Opacity problems in multi-energy timed automata
von: André, Étienne, et al.
Veröffentlicht: (2025)

The Bright Side of Timed Opacity
von: André, Étienne, et al.
Veröffentlicht: (2024)

A 10-bit S-box generated by Feistel construction from cellular automata
von: Prévost, Thomas, et al.
Veröffentlicht: (2025)

Testing a cellular automata construction method to obtain 9-variable cryptographic Boolean functions
von: Prévost, Thomas, et al.
Veröffentlicht: (2025)

Disassembling Obfuscated Executables with LLM
von: Rong, Huanyao, et al.
Veröffentlicht: (2024)

STRIDE: Simple Type Recognition In Decompiled Executables
von: Green, Harrison, et al.
Veröffentlicht: (2024)

On Abnormal Execution Timing of Conditional Jump Instructions
von: Wilde, Annika, et al.
Veröffentlicht: (2026)

Global Microprocessor Correctness in the Presence of Transient Execution
von: Walter, Andrew T., et al.
Veröffentlicht: (2025)

Provable Execution in Real-Time Embedded Systems
von: Neto, Antonio Joia, et al.
Veröffentlicht: (2025)

Parametric disjunctive timed networks
von: André, Étienne, et al.
Veröffentlicht: (2025)

Securing LLM Agents Need Intent-to-Execution Integrity
von: Qu, Wenjie, et al.
Veröffentlicht: (2026)

Feedback-Driven Execution for LLM-Based Binary Analysis
von: Zhang, XiangRui, et al.
Veröffentlicht: (2026)

$\mathsf{CRATE}$: Cross-Rollup Atomic Transaction Execution
von: Kaklamanis, Ioannis, et al.
Veröffentlicht: (2025)

EILID: Execution Integrity for Low-end IoT Devices
von: Jakkamsetti, Sashidhar, et al.
Veröffentlicht: (2025)

SoK: Trusted Execution in SoC-FPGAs
von: Perkins, Garrett, et al.
Veröffentlicht: (2025)

Finding Incompatible Blocks for Reliable JPEG Steganalysis
von: Levecque, Etienne, et al.
Veröffentlicht: (2024)

Ruledger: Ensuring Execution Integrity in Trigger-Action IoT Platforms
von: Fan, Jingwen, et al.
Veröffentlicht: (2024)

Reverse Engineering Structure and Semantics of Input of a Binary Executable
von: Narasimha, Seshagiri Prabhu, et al.
Veröffentlicht: (2024)

Trusted-Execution Environment (TEE) for Solving the Replication Crisis in Academia
von: Li, Jiasun, et al.
Veröffentlicht: (2026)

Adversarially Robust Assembly Language Model for Packed Executables Detection
von: Li, Shijia, et al.
Veröffentlicht: (2025)

Enhancing Smart Contract Security Analysis with Execution Property Graphs
von: Qin, Kaihua, et al.
Veröffentlicht: (2023)

Hybrid Privilege Escalation and Remote Code Execution Exploit Chains
von: Tulla, Miguel, et al.
Veröffentlicht: (2025)

An Approach for Safe and Secure Software Protection Supported by Symbolic Execution
von: Dorfmeister, Daniel, et al.
Veröffentlicht: (2026)

Empc: Effective Path Prioritization for Symbolic Execution with Path Cover
von: Yao, Shuangjie, et al.
Veröffentlicht: (2025)

Space Fabric: A Satellite-Enhanced Trusted Execution Architecture
von: Rezabek, Filip, et al.
Veröffentlicht: (2026)

Specular: Towards Secure, Trust-minimized Optimistic Blockchain Execution
von: Ye, Zhe, et al.
Veröffentlicht: (2022)

Practical Secure Aggregation by Combining Cryptography and Trusted Execution Environments
von: de Laage, Romain, et al.
Veröffentlicht: (2025)

Web Execution Bundles: Reproducible, Accurate, and Archivable Web Measurements
von: Hantke, Florian, et al.
Veröffentlicht: (2025)

TENNOR: Trustworthy Execution for Neural Networks through Obliviousness and Retrievals
von: Qu, Zifan, et al.
Veröffentlicht: (2026)

TikTag: Breaking ARM's Memory Tagging Extension with Speculative Execution
von: Kim, Juhee, et al.
Veröffentlicht: (2024)

JITScanner: Just-in-Time Executable Page Check in the Linux Operating System
von: Caporaso, Pasquale, et al.
Veröffentlicht: (2024)

The Road to Compliance: Executive Federal Agencies and the NIST Risk Management Framework
von: Stoltz, Michael
Veröffentlicht: (2024)

Sharing without Showing: Secure Cloud Analytics with Trusted Execution Environments
von: Birgersson, Marcus, et al.
Veröffentlicht: (2024)

MPC-EVM: Enabling MPC Execution by Smart Contracts In An Asynchronous Manner
von: Zhou, Yichen, et al.
Veröffentlicht: (2025)

Verification of Lightning Network Channel Balances with Trusted Execution Environments (TEE)
von: Singh, Vikash, et al.
Veröffentlicht: (2025)

Favicon Trojans: Executable Steganography Via Ico Alpha Channel Exploitation
von: Noever, David, et al.
Veröffentlicht: (2025)

Proof of Trusted Execution: A Consensus Paradigm for Deterministic Blockchain Finality
von: Habib, Kyle, et al.
Veröffentlicht: (2025)

Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution
von: Rattanavipanon, Norrathep, et al.
Veröffentlicht: (2024)