Zobrazeno 1 - 10
of 224
pro vyhledávání: '"P. Lefaucheux"'
Parametric timed automata (PTAs) extend the concept of timed automata, by allowing timing delays not only specified by concrete values but also by parameters, allowing the analysis of systems with uncertainty regarding timing behaviors. The full exec
Externí odkaz:
http://arxiv.org/abs/2410.01659
Publikováno v:
Scientific Reports, Vol 11, Iss 1, Pp 1-10 (2021)
Abstract Cryogenic Atomic Layer Etching (cryo-ALE) of SiO2 based on alternating a C4F8 molecule physisorption step and an argon plasma step, has been enhanced thanks to a better understanding of the mechanism. First, we used Quadrupole Mass spectrome
Externí odkaz:
https://doaj.org/article/0a7f4f228c87483582d3a8e6f0585dd8
Publikováno v:
Springer LNCS volume 15280, pages 347-365, 2024
Timing leaks in timed automata (TA) can occur whenever an attacker is able to deduce a secret by observing some timed behavior. In execution-time opacity, the attacker aims at deducing whether a private location was visited, by observing only the exe
Externí odkaz:
http://arxiv.org/abs/2409.10336
In 2009, Franck Cassez showed that the timed opacity problem, where an attacker can observe some actions with their timestamps and attempts to deduce information, is undecidable for timed automata (TAs). Moreover, he showed that the undecidability ho
Externí odkaz:
http://arxiv.org/abs/2408.12240
A linear constraint loop is specified by a system of linear inequalities that define the relation between the values of the program variables before and after a single execution of the loop body. In this paper we consider the problem of determining w
Externí odkaz:
http://arxiv.org/abs/2405.12992
Publikováno v:
Scientific Reports, Vol 12, Iss 1, Pp 1-1 (2022)
Externí odkaz:
https://doaj.org/article/ba4145238f7e4139841b9675123f3738
Autor:
M. Kulsreshath, A. Vital, P. Lefaucheux, C. Sinturel, T. Tillocher, M. Vayer, M. Boufnichel, R. Dussart
Publikováno v:
Micro and Nano Engineering, Vol 1, Iss , Pp 42-48 (2018)
Cryogenic plasma deep-etching for silicon sub-micron structures was studied with the use of modified poly(styrene) (PS) perforated masks obtained from laterally phase separated PS and poly (lactic acid) PLA blend thin films. PS mask was stained by he
Externí odkaz:
https://doaj.org/article/e82f07428e0f4011912d982d22f23f86
Publikováno v:
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023), pages 89-98
Information leakage can have dramatic consequences on the security of real-time systems. Timing leaks occur when an attacker is able to infer private behavior depending on timing information. In this work, we propose a definition of expiring timed op
Externí odkaz:
http://arxiv.org/abs/2403.07647
Publikováno v:
EPTCS 392, 2023, pp. 1-26
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 c
Externí odkaz:
http://arxiv.org/abs/2310.20392
Publikováno v:
Proceedings of the 8th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2022)
We introduce a prototype tool strategFTO addressing the verification of a security property in critical software. We consider a recent definition of timed opacity where an attacker aims to deduce some secret while having access only to the total exec
Externí odkaz:
http://arxiv.org/abs/2211.14233