Cover Image

Opacity problems in multi-energy timed automata

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	André, Étienne, Bakiri, Lydia
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Expiring opacity problems in parametric timed automata
by: André, Étienne, et al.
Published: (2024)

Execution-time opacity control for timed automata
by: André, Étienne, et al.
Published: (2024)

The Bright Side of Timed Opacity
by: André, Étienne, et al.
Published: (2024)

ConneX: Automatically Resolving Transaction Opacity of Cross-Chain Bridges for Security Analysis
by: Liang, Hanzhong, et al.
Published: (2025)

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

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

Quantum Opacity, Classical Clarity: A Hybrid Approach to Quantum Circuit Obfuscation
by: Raj, Amal, et al.
Published: (2025)

Finding Incompatible Blocks for Reliable JPEG Steganalysis
by: Levecque, Etienne, et al.
Published: (2024)

Extension of Spatial k-Anonymity: New Metrics for Assessing the Anonymity of Geomasked Data Considering Realistic Attack Scenarios
by: Cremer, Simon, et al.
Published: (2025)

Security Assessment of the LG Cryptosystem
by: Burle, Étienne, et al.
Published: (2024)

Trustchain -- Trustworthy Decentralised Public Key Infrastructure for Digital Credentials
by: Hobson, Tim, et al.
Published: (2023)

Cross-Paradigm Models of Restricted Syndrome Decoding with Application to CROSS
by: Burle, Étienne, et al.
Published: (2026)

TransURL: Improving malicious URL detection with multi-layer Transformer encoding and multi-scale pyramid features
by: Liu, Ruitong, et al.
Published: (2023)

LFFR: Logistic Function For (multi-output) Regression
by: Chiang, John
Published: (2024)

Transformation of the discrete logarithm problem over $\mathbb F_{2^n}$ to the QUBO problem using normal bases
by: Wroński, Michał, et al.
Published: (2024)

DDH-based schemes for multi-party Function Secret Sharing
by: Damie, Marc, et al.
Published: (2026)

Lambda-randomization: multi-dimensional randomized response made easy
by: Ruiz, Nicolas
Published: (2026)

Exploiting Liquidity Exhaustion Attacks in Intent-Based Cross-Chain Bridges
by: Augusto, André, et al.
Published: (2026)

Universal share based quantum multi secret image sharing scheme
by: Rabari, Dipak K., et al.
Published: (2025)

Device-Bound vs. Synced Credentials: A Comparative Evaluation of Passkey Authentication
by: Büttner, Andre, et al.
Published: (2025)

Experience on Automatically Converting a C++ Monolith to Java EE
by: Vehreschild, Andre, et al.
Published: (2026)

On the (In)security of optimized Stern-like signature schemes
by: Chailloux, André, et al.
Published: (2024)

Secure and Privacy-Preserving Authentication for Data Subject Rights Enforcement
by: Hansen, Malte, et al.
Published: (2024)

Evaluating the Influence of Multi-Factor Authentication and Recovery Settings on the Security and Accessibility of User Accounts
by: Büttner, Andre, et al.
Published: (2024)

A multi-layered embedded intrusion detection framework for programmable logic controllers
by: Werth, Rishabh Das. Aaron, et al.
Published: (2025)

The Matrix Subcode Equivalence problem and its application to signature with MPC-in-the-Head
by: Bardet, Magali, et al.
Published: (2025)

A parameter study for LLL and BKZ with application to shortest vector problems
by: Köppl, Tobias, et al.
Published: (2025)

New classes of reversible cellular automata
by: Haugland, Jan Kristian, et al.
Published: (2024)

A cyber-physical digital twin approach to replicating realistic multi-stage cyberattacks on smart grids
by: Sen, Omer, et al.
Published: (2024)

Empirical Evaluation of SMOTE in Android Malware Detection with Machine Learning: Challenges and Performance in CICMalDroid 2020
by: Duarte, Diego Ferreira, et al.
Published: (2026)

PMANet: Malicious URL detection via post-trained language model guided multi-level feature attention network
by: Liu, Ruitong, et al.
Published: (2023)

Principal ideal problem and ideal shortest vector over rational primes in power-of-two cyclotomic fields
by: Cui, Gaohao, et al.
Published: (2026)

Conformidade com os Requisitos Legais de Privacidade de Dados: Um Estudo sobre Técnicas de Anonimização
by: Menolli, André, et al.
Published: (2025)

Blockchain Based Residential Smart Rent
by: Proença, André S., et al.
Published: (2024)

Dual JPEG Compatibility: a Reliable and Explainable Tool for Image Forensics
by: Levecque, Etienne, et al.
Published: (2024)

Digital identity management system with blockchain:An implementation with Ethereum and Ganache
by: Lopes, André Davi, et al.
Published: (2025)

RunPBA -- Runtime attestation for microcontrollers with PACBTI
by: Cirne, André, et al.
Published: (2025)

A Response to: A Note on "Privacy Preserving n-Party Scalar Product Protocol"
by: van Daalen, Florian, et al.
Published: (2024)

SoK: State of the time: On Trustworthiness of Digital Clocks
by: Nasrullah, Adeel, et al.
Published: (2025)

ranDecepter: Real-time Identification and Deterrence of Ransomware Attacks
by: Sajid, Md Sajidul Islam, et al.
Published: (2025)