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

Informacje na temat projektu

REWIRE

Identyfikator umowy o grant: 101070627

DOI

10.3030/101070627

Projekt został zamknięty

Data podpisania przez KE 20 Czerwca 2022

Data rozpoczęcia 1 Października 2022

Data zakończenia 30 Września 2025

Finansowanie w ramach

• Civil Security for Society

Koszt całkowity

€ 4 158 961,25

Wkład UE

€ 4 158 961,00

Koordynowany przez

GIOUMPITEK MELETI SCHEDIASMOS YLOPOIISI KAI POLISI ERGON PLIROFORIKIS ETAIREIA PERIORISMENIS EFTHYNIS
Greece

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

Documents, reports (11)

D1.1 Project Handbook

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

D1.3 Legal and Ethical issues and Guidelines

The Legal & Ethics Manual will be prepared to assure the ethical assurance, gender equality, and compliance with national and EU legislation.

D5.1 REWIRE Blockchain architecture, continuous authorisation, and on/off chain data management

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

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

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

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

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.

D2.2 REWIRE Operational landscape, requirements, and Reference Architecture - Final version

Report on the complete developments of T2.3-2.5 and potential updates on the REWIRE reference architecture, as a result of the 1st evaluation of the integrated framework (M21).

D1.2 Data Management Plan

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

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.

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

Other (4)

D4.3 REWIRE Runtime assurance framework - Final Version

Report on the final unified REWIRE Runtime architecture and framework with complete integration.

D5.2 REWIRE continuous authorisation, trust management, monitoring mechanisms and trust evidence collection

Reports the progress of WP5 on unifying the all blockchain-based artifacts.

D3.3 REWIRE Design time secure operational framework - Final Version

Report on the final unified REWIRE Design time architecture and framework with complete integration.

D4.1 Conceptual architecture of REWIRE customizable TEE and attestation models specifications

Reports the progress on blueprinting the architecture of the REWIRE TEE and attestation models.

Publikacje

Conference proceedings (23)

Towards a Methodology to Design Provably Secure Cyber-physical Systems

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

A PUF-based Root-of-Trust for resource-constrained IoT devices

Autorzy: Evgenia-Niovi Sassalou, Stefanos Vasileiadis, Stylianos A. Kazazis, Georgia Protogerou, Nikos Varvitsiotis, Dimitrios S. Karas, Thanassis Giannetsos, Symeon Tsintzos
Opublikowane w: 2025 IEEE International Conference on Cyber Security and Resilience (CSR), 2025
Wydawca: IEEE
DOI: 10.1109/CSR64739.2025.11130114

Query Recovery from Easy to Hard: Jigsaw Attack against SSE

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

CCA-1 Secure Updatable Encryption with Adaptive Security

Autorzy: Chen, H., Galteland, Y.J., Liang, K.
Opublikowane w: Advances in Cryptology – ASIACRYPT 2023, 2023, ISBN 978-981-99-8732-0
Wydawca: Springer, Singapore
DOI: 10.1007/978-981-99-8733-7_12

Prime Masking vs. Faults-Exponential Security Amplification against Selected Classes of Attacks

Autorzy: Moos, Thorben, Sayandeep Saha, and François-Xavier Standaert
Opublikowane w: Cryptology ePrint Archive, 2024
Wydawca: ePrint Archive

Analyzing the Leakage Resistance of the NIST’s Lightweight Crypto Competition’s Finalists

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

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

RETRACT: Expressive Designated Verifier Anonymous Credentials

Autorzy: Heini Bergsson Debes, Thanassis Giannetsos
Opublikowane w: ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023, ISBN 9798400707728
Wydawca: Association for Computing Machinery
DOI: 10.1145/3600160.3600191

Achieving Higher Level of Assurance in Privacy-Preserving Identity Wallets

Autorzy: B. Larsen, N. El Kassem, Th. Giannetsos, I. Krontiris, S. Vasileiadis, L. Chen
Opublikowane w: 2023 IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 2023
Wydawca: IEEE
DOI: 10.5281/ZENODO.8215222

Non-Profiled Side-Channel Assisted Fault Attack: A Case Study on DOMREP

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

Dynamic Multi-Server Updatable Encryption

Autorzy: Jodie Knapp, Elizabeth A. Quaglia
Opublikowane w: Information Security (ISC 2023), 2023, ISBN 978-3-031-49186-3
Wydawca: Springer, Cham
DOI: 10.1007/978-3-031-49187-0_24

Low-Latency Masked Gadgets Robust againstPhysical Defaults with Application to Ascon

Autorzy: Gaëtan Cassiers, François-Xavier Standaert, Corentin Verhamme (UCLouvain)
Opublikowane w: IACR Transactions on Cryptographic Hardware and Embedded Systems, Numer 3, 2024, ISSN 2569-2925
Wydawca: The International Association for Cryptologic Research
DOI: 10.46586/TCHES.V2024.I3.603-633

The Forking Way: When TEEs Meet Consensus

Autorzy: Annika Wilde, Tim Niklas Gruel, Claudio Soriente, Ghassan Karame
Opublikowane w: Proceedings 2025 Network and Distributed System Security Symposium, 2025, ISBN 979-8-9894372-8-3
Wydawca: Internet Society
DOI: 10.14722/NDSS.2025.241934

Primitive-Level vs. Implementation-Level DPA Security: a Certified Case Study

Autorzy: Momin, C., Standaert, F.-X., & Verhamme, C.
Opublikowane w: IACR Transactions on Cryptographic Hardware and Embedded Systems, Numer 3, 2025, ISSN 2569-2925
Wydawca: The International Association for Cryptologic Research
DOI: 10.46586/TCHES.V2025.I3.717-744

From the Standards to Silicon: Formally Proved Memory Controllers

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

Dynamic Group Signatures with Verifier-Local Revocation

Autorzy: Callum London; Daniel Gardham; Constantin Cătălin Drăgan
Opublikowane w: 2025 IEEE 38th Computer Security Foundations Symposium (CSF), 2025, ISSN 2374-8303
Wydawca: IEEE
DOI: 10.1109/CSF64896.2025.00026

Reinforcing Secure Live Migration through Verifiable State Management

Autorzy: Vasileaidis, S., Giannetsos, T., Schunter, M., & Crispo, B.
Opublikowane w: arXiv, Numer 2509.05150, 2025
Wydawca: arXiv
DOI: 10.48550/ARXIV.2509.05150

d-DSE: Distinct Dynamic Searchable Encryption Resisting Volume Leakage in Encrypted Databases

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

ZEKRA: Zero-Knowledge Control-Flow Attestation

Autorzy: Heini Bergsson Debes, Edlira Dushku, Thanassis Giannetsos, Ali Marandi
Opublikowane w: ASIA CCS '23: Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023, ISBN 9798400700989
Wydawca: ACM Digital Library
DOI: 10.1145/3579856.3582833

Blockchain-based Economic Voting with Posterior Security from Lattices

Autorzy: Abapour, Navid; Kafshdar Goharshady, Amir; Dragan, Constantin Catalin; Mahdavi Oliaee, Mahdi
Opublikowane w: IACR Cryptol. ePrint Arch, Numer 1725, 2025
Wydawca: IACR

Trust or Bust: Reinforcing Trust-Aware Path Establishment with Implicit Attestation Capabilities

Autorzy: Nikolaos Fotos, Stefanos Vasileiadis, Thanassis Giannetsos
Opublikowane w: 2025 IEEE International Conference on Cyber Security and Resilience (CSR), 2025
Wydawca: IEEE
DOI: 10.1109/CSR64739.2025.11130147

PRIVÉ: Towards Privacy-Preserving Swarm Attestation

Autorzy: Nada El Kassem, Wouter Hellemans, Ioannis Siachos, Edlira Dushku, Stefanos Vasileiadis, Dimitrios Karas, Liqun Chen, Constantinos Patsakis, Thanassis Giannetsos
Opublikowane w: Proceedings of the 22nd International Conference on Security and Cryptography, 2025, ISSN 2184-7711
Wydawca: SCITEPRESS - Science and Technology Publications
DOI: 10.5220/0013629000003979

Combined Private Circuits - Combined Security Refurbished

Autorzy: Jakob Feldtkeller, Tim Güneysu, Thorben Moos, Jan Richter-Brockmann, Sayandeep Saha, Pascal Sasdrich, Francois-Xavier Standaert
Opublikowane w: CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023, ISBN 9798400700507
Wydawca: ACM Digital Library
DOI: 10.1145/3576915.3623129

Peer reviewed articles (3)

Inject Less, Recover More: Unlocking the Potential of Document Recovery in Injection Attacks Against SSE

Autorzy: Zhang, Manning; Shi, Zeshun; Chen, Huanhuan; Liang, Kaitai
Opublikowane w: 2024 IEEE 37th Computer Security Foundations Symposium (CSF), 2024, ISSN 2374-8303
Wydawca: IEEE
DOI: 10.1109/CSF61375.2024.00029

Prime Masking vs. Faults - Exponential Security Amplification against Selected Classes of Attacks

Autorzy: Thorben Moos; Sayandeep Saha; François-Xavier Standaert
Opublikowane w: IACR Transactions on Cryptographic Hardware and Embedded Systems, Numer 3, 2024, ISSN 2569-2925
Wydawca: The International Association for Cryptologic Research
DOI: 10.46586/TCHES.V2024.I4.690-736

Innovative security and compression for constrained IoT networks

Autorzy: Anthony Feijoo-Añazco, Dan Garcia-Carrillo, Jesús Sanchez-Gomez, Rafael Marin-Perez
Opublikowane w: Internet of Things, Numer 100899, ISSN 2542-6605
Wydawca: Elsevier B.V.
DOI: 10.1016/J.IOT.2023.100899