2023
DOI: 10.4204/eptcs.392.1
|View full text |Cite
|
Sign up to set email alerts
|

Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata

Étienne André,
Engel Lefaucheux,
Didier Lime
et al.

Abstract: Timing information leakage occurs whenever an attacker successfully deduces confidential internal information by observing some timed information such as events with timestamps. Timed automata are an extension of finite-state automata with a set of clocks evolving linearly and that can be tested or reset, making this formalism able to reason on systems involving concurrency and timing constraints. In this paper, we summarize a recent line of works using timed automata as the input formalism, in which we assume… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2024
2024
2024
2024

Publication Types

Select...
2
1

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
references
References 39 publications
(96 reference statements)
0
0
0
Order By: Relevance