Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Claire Loiseaux"'
Autor:
Erwin Schoitsch, Claire Loiseaux, Lijun Shan, Behrooz Sangchoolie, Peter Folkesson, Jonny Vinter
Publikováno v:
EDCC
Safety-critical systems are required to comply with safety standards. These systems are increasingly digitized and networked to an extent where they need to also comply with security and privacy standards. This paper aims to provide insights into how
Autor:
Jonny Vinter, Claire Loiseaux, Lijun Shan, Erwin Schoitsch, Behrooz Sangchoolie, Peter Folkesson
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030262495
SAFECOMP Workshops
SAFECOMP Workshops
Safety-critical systems are required to comply with safety standards. These systems are increasingly digitized and networked to an extent where they need to also comply with security and privacy standards. This paper aims to provide insights into how
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3c778c8a44a76071a6725ac3884b6d3d
https://doi.org/10.1007/978-3-030-26250-1_6
https://doi.org/10.1007/978-3-030-26250-1_6
Autor:
Florian Stahl, Claire Loiseaux, Hayk Hamazaryan, Alexandr Vasenev, Zhendong Ma, Lijun Shan, Joerg Kemmerich
Publikováno v:
O.Helfert, M. gusikhin, VEHITS 2019-Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems, 5th International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS 2019, 3 May 2019 through 5 May 2019, 550-555
VEHITS
VEHITS
Keeping a vehicle secure implies provide of a long-term support, where over-the-air updates (OTA) play an essential role. Clear understanding of OTA threats is essential to counter them efficiently. Existing research on OTA threats often exclude huma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2ff60054196ca7f520a587442b2b8f53
http://resolver.tudelft.nl/uuid:72ac3afa-e9c3-47ae-b2a4-36bef3376a32
http://resolver.tudelft.nl/uuid:72ac3afa-e9c3-47ae-b2a4-36bef3376a32
Autor:
Daniel Le Métayer, Claire Loiseaux
Publikováno v:
Proceedings of The Ifip Tc 11 23rd International Information Security Conference ISBN: 9780387096988
SEC
SEC
ASTRA is a security analysis method based on the systematic collection and analysis of security relevant information to detect inconsistencies and assess residual risks. ASTRA can accommodate organizational as well as technical aspects of security an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::58f33e774757900a38a2d8caba3e71d7
https://doi.org/10.1007/978-0-387-09699-5_35
https://doi.org/10.1007/978-0-387-09699-5_35
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540421672
Java Card Workshop
Java Card Workshop
The benefits of formal methods for software engineering have been described at length in many research papers. They include among others: • Better understanding and improved communication through unambiguous descriptions. • Early bug detection th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0f1afc1bdb1210ac45629a04c9755ce2
https://doi.org/10.1007/3-540-45165-x_1
https://doi.org/10.1007/3-540-45165-x_1
Publikováno v:
Modeling and Verification of Parallel Processes ISBN: 9783540427872
MOVEP
MOVEP
Our goal in this paper is not to enrich the literature with yet another defence of formal methods, but rather to build on our experience of using and studying formal methods in security to provide an industrial point of view, with a strong emphasis o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5b9f0568766a28f56d05c799f70c016c
https://doi.org/10.1007/3-540-45510-8_7
https://doi.org/10.1007/3-540-45510-8_7
Autor:
Susanne Graf, Claire Loiseaux
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540566106
TAPSOFT
TAPSOFT
We study property preserving transformations for reactive systems. A key idea is the use of ϱ-simulations which are simulations parametrized by a relation ϱ, relating the domains of two systems. We particularly address the problem of property prese
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::23d4c2b0a8782ec3755b840ff8ec51e0
https://doi.org/10.1007/3-540-56610-4_95
https://doi.org/10.1007/3-540-56610-4_95
Autor:
Susanne Graf, Claire Loiseaux
Publikováno v:
Computer Aided Verification ISBN: 9783540569220
CAV
CAV
We give the description of a verification tool taking boolean programs of guarded commands as input; internal representation of programs are sets of Binary Decision Diagrams (BDD) (one for each guarded command). It allows to construct an abstract pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e9188a63ce3bb11ba8450628b1f34587
https://doi.org/10.1007/3-540-56922-7_7
https://doi.org/10.1007/3-540-56922-7_7
Publikováno v:
Computer Aided Verification ISBN: 9783540564966
CAV
CAV
We study property preserving transformations for reactive systems. A key idea is the use of -simulations which are simulations parameterized by a Galois connection (ϕ, ψ), relating the lattices of properties of two systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f3a3cc01ed16ca74cc074aaf7d646d64
https://doi.org/10.1007/3-540-56496-9_21
https://doi.org/10.1007/3-540-56496-9_21
Autor:
Joerg Kemmerich, Christoph Striecks, Hayk Hamazaryan, Reinhard Schwarz, Stefan Marksteiner, Claire Loiseaux, Lijun Shan, Alexandr Vasenev, Joaquim Maria Castella Triginer, Tobias Braun, Nadja Marko
Publikováno v:
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops
Lecture Notes in Computer Science ISBN: 9783030839055
SAFECOMP Workshops
Lecture Notes in Computer Science-Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops
Lecture Notes in Computer Science ISBN: 9783030839055
SAFECOMP Workshops
Vehicle systems engineering experiences new challenges with vehicle electrification, advanced driving systems, and connected vehicles. Modern architectural designs cope with an increasing number of functionalities integrated into complex Electric/Ele
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::54c52af8c343cf4c28664c95044437e2