Configuring timing parameters to ensure execution-time opacity in timed automata

• Main Authors: André, Étienne, Lefaucheux, Engel, Lime, Didier, Marinho, Dylan, SUN, Jun
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2023
• Subjects: Information Security; Theory and Algorithms
• Online Access: https://ink.library.smu.edu.sg/sis_research/8461; https://ink.library.smu.edu.sg/context/sis_research/article/9464/viewcontent/TimingParameters_2023_pvoa_cc_by.pdf
• Institution: Singapore Management University

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...