Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

REWiring the ComposItional Security VeRification and AssurancE of Systems of Systems Lifecycle

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

D1.1 Project Handbook (odnośnik otworzy się w nowym oknie)

A handbook describing the project management, quality control and risk assessment procedures adopted in the project.

D5.1 REWIRE Blockchain architecture, continuous authorisation, and on/off chain data management (odnośnik otworzy się w nowym oknie)

Reports the progress of WP5 presenting the blockchain architecture and the specifications of the smart contracts, on/off chain data management and continuous authorisation based on verifiable credentials.

D7.1 Dissemination, Exploitation and Communication Plan (odnośnik otworzy się w nowym oknie)

Report the project’s web site and on the planned dissemination, exploitation, and communication activities.

D2.1 REWIRE Operational landscape, requirements, and Reference Architecture - Initial version (odnośnik otworzy się w nowym oknie)

Report on the complete documentation of REWIRE requirements of T2.1 and the REWIRE reference architecture of T2.2. It will also include the 1st report on the progress of T2.3-2.5 documenting the trust indicators, threat landscape, the modes of operation during design time, and runtime validation properties.

D3.2 REWIRE Design time secure operational framework - Initial Version (odnośnik otworzy się w nowym oknie)

Report on the 1st unified REWIRE Design time architecture and framework including the Risk Assessment methodology.

D3.1 Architectural blueprint of formal verification tool chain, operation and interactions (odnośnik otworzy się w nowym oknie)

Reports the progress of tasks T3.1-T3.3 on blueprinting the architecture of the tool chain to be used for the formal verification and theorem proofs.

D1.2 Data Management Plan (odnośnik otworzy się w nowym oknie)

The DMP will provide an analysis of the data management policy that will be used by the applications regarding all the research datasets that will be generated by the project.

D4.2 REWIRE Runtime assurance framework - Initial Version (odnośnik otworzy się w nowym oknie)

Report on the 1st unified REWIRE Runtime architecture including Runtime auditing and federated learning aspects.

Report the project's web site and on the planned dissemination, exploitation, and communication activities. (odnośnik otworzy się w nowym oknie)

Report documenting the dissemination, communication, clustering, standardisation, and exploitation activities. Highlighting open-source contributions and workshop organization activities.

Publikacje

Towards a Methodology to Design Provably Secure Cyber-physical Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Felipe Lisboa Malaquias, Georgios Giantamidis, Stylianos Basagiannis, Simone Fulvio Rollini, Isaac Admundson
Opublikowane w: ACM SIGAda Ada Letters, Numer 43:1, 2023
Wydawca: ACM Digital Library
DOI: 10.1145/3631483.3631499

Query Recovery from Easy to Hard: Jigsaw Attack against SSE (odnośnik otworzy się w nowym oknie)

Autorzy: Hao Nie, Wei Wang, Peng Xu, Xianglong Zhang, Laurence T. Yang, Kaitai Liang
Opublikowane w: USENIX SECURITY 2024, Numer 2403.01155, 2024
Wydawca: arXiv
DOI: 10.48550/arXiv.2403.01155

Analyzing the Leakage Resistance of the NIST’s Lightweight Crypto Competition’s Finalists (odnośnik otworzy się w nowym oknie)

Autorzy: Corentin Verhamme, Gaëtan Cassiers, François-Xavier Standaert
Opublikowane w: Smart Card Research and Advanced Applications Lecture Notes in Computer Science, Numer 13820, 2023, ISBN 978-3-031-25319-5
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-031-25319-5_15

Machine-Checked Proofs of Accountability: How to sElect Who is to Blame (odnośnik otworzy się w nowym oknie)

Autorzy: Constantin Cătălin Drăgan, François Dupressoir, Kristian Gjøsteen, Thomas Haines, Peter B. Rønne, Morten Rotvold Solberg
Opublikowane w: Computer Security – ESORICS 2023, Numer 14346, 2024, ISBN 978-3-031-51479-1
Wydawca: Springer, Cham
DOI: 10.1007/978-3-031-51479-1_24

Non-Profiled Side-Channel Assisted Fault Attack: A Case Study on DOMREP (odnośnik otworzy się w nowym oknie)

Autorzy: Sayandeep Saha, Prasanna Ravi, Dirmanto Jap, Shivam Bhasin
Opublikowane w: 2023 Design, Automation & Test in Europe Conference & Exhibition, Numer 10137176, 2023, ISBN 979-8-3503-9624-9
Wydawca: IEEE
DOI: 10.23919/DATE56975.2023.10137176

From the Standards to Silicon: Formally Proved Memory Controllers (odnośnik otworzy się w nowym oknie)

Autorzy: Felipe Lisboa Malaquias, Mihail Asavoae & Florian Brandner
Opublikowane w: Lecture Notes in Computer Science, Numer 13903, 2023, ISBN 978-3-031-33170-1
Wydawca: Springer, Cham
DOI: 10.1007/978-3-031-33170-1_18

d-DSE: Distinct Dynamic Searchable Encryption Resisting Volume Leakage in Encrypted Databases (odnośnik otworzy się w nowym oknie)

Autorzy: Dongli Liu and Wei Wang and Peng Xu and Laurence T. Yang and Bo Luo and Kaitai Liang
Opublikowane w: ArXiv & 33rd USENIX Security Symposium 2024, Numer abs/2403.01182, 2024
DOI: 10.48550/arXiv.2403.01182

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0