Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Cédric Meuter"'
Publikováno v:
Information Processing Letters. 106:120-126
The theoretical complexity of CTL*, CTL and LTL model checking over finite partial order traces are studied. CTL* and CTL model checking are PSPACE-complete and that the LTL model checking is coNP-complete. Since CTL is a fragment of CTL*, it implies
Publikováno v:
Formal Aspects of Computing. 17:177-200
We study the formal verification of programs written in d SL, an extension of the standard ST language used to program industrial controllers. It proposes a trade off between industrial and formal verification worlds. The main advantage of d SL is to
Autor:
Nikita Veshchikov, Liran Lerman, Olivier Markowitch, Cédric Meuter, Stephane Fernandes Medeiros, Gianluca Bontempi
Publikováno v:
Constructive Side-Channel Analysis and Secure Design ISBN: 9783642400254
COSADE
COSADE
Side channel attacks take advantage of information leakages in cryptographic devices. Template attacks form a family of side channel attacks which is reputed to be extremely effective. This kind of attacks assumes that the attacker fully controls a c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ef64d125dd30f9b62c181b65d0c3d230
https://doi.org/10.1007/978-3-642-40026-1_12
https://doi.org/10.1007/978-3-642-40026-1_12
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540731955
FORTE
FORTE
The observation of a distributed system's finite execution can be abstracted as a partial ordered set of events generally called finite (partial order) trace. In practice, this trace can be obtained through a standard code instrumentation, which take
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::74f323081ff0a25d9e11c7b9d19bfd8c
https://doi.org/10.1007/978-3-540-73196-2_17
https://doi.org/10.1007/978-3-540-73196-2_17
Publikováno v:
FM 2006: Formal Methods ISBN: 9783540372158
FM
FM
It is well known that through code instrumentation, a distributed system's finite execution can generate a finite trace as a partially ordered set of events. We motivate the need to use LTL model-checking on sequences and not on traces as defined by
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1295a778ece483c21e58b0b2efc4a098
https://doi.org/10.1007/11813040_37
https://doi.org/10.1007/11813040_37
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540226673
OPODIS
OPODIS
We present and motivate the definition and use of the language and environment dSL, an imperative and event driven language designed to program distributed industrial control systems. dSL provides transparent code distribution using simple mechanisms
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d0e5e9823142fca069e94d84564b02b3
https://doi.org/10.1007/978-3-540-27860-3_14
https://doi.org/10.1007/978-3-540-27860-3_14
Publikováno v:
Formal Aspects of Computing; Aug2005, Vol. 17 Issue 2, p177-200, 24p