Parametric Timed Model Checking for Guaranteeing Timed Opacity

DOI10.1007/978-3-030-31784-3_7zbMath1437.68110arXiv1907.00537OpenAlexW4288088678MaRDI QIDQ3297588

Étienne André, Jun Sun

Publication date: 20 July 2020

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1907.00537

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

\textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability

Uses Software

• IMITATOR
• CacheAudit

Cites Work

• Unnamed Item
• A theory of timed automata
• Linear parametric model checking of timed automata
• Secure information release in timed automata
• Non-Interference Control Synthesis for Security Timed Automata
• Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
• AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
• Information Flow for Timed Automata
• Parametric real-time reasoning
• Control and synthesis of non-interferent timed systems
• \textsc{SCInfer}: refinement-based verification of software countermeasures against side-channel attacks

This page was built for publication: Parametric Timed Model Checking for Guaranteeing Timed Opacity