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

Informazioni relative al progetto

REWIRE

ID dell’accordo di sovvenzione: 101070627

DOI 10.3030/101070627

Data della firma CE 20 Giugno 2022

Data di avvio 1 Ottobre 2022

Data di completamento 30 Settembre 2025

Finanziato da

• Civil Security for Society

Costo totale € 4 158 961,25

Contributo UE € 4 158 961,00

Coordinato da

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

Pubblicazioni

Conference proceedings (7)

Towards a Methodology to Design Provably Secure Cyber-physical Systems

Autori: Felipe Lisboa Malaquias, Georgios Giantamidis, Stylianos Basagiannis, Simone Fulvio Rollini, Isaac Admundson
Pubblicato in: ACM SIGAda Ada Letters, Numero 43:1, 2023
Editore: ACM Digital Library
DOI: 10.1145/3631483.3631499

Query Recovery from Easy to Hard: Jigsaw Attack against SSE

Autori: Hao Nie, Wei Wang, Peng Xu, Xianglong Zhang, Laurence T. Yang, Kaitai Liang
Pubblicato in: USENIX SECURITY 2024, Numero 2403.01155, 2024
Editore: arXiv
DOI: 10.48550/arXiv.2403.01155

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

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

Machine-Checked Proofs of Accountability: How to sElect Who is to Blame

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

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

Autori: Sayandeep Saha, Prasanna Ravi, Dirmanto Jap, Shivam Bhasin
Pubblicato in: 2023 Design, Automation & Test in Europe Conference & Exhibition, Numero 10137176, 2023, ISBN 979-8-3503-9624-9
Editore: IEEE
DOI: 10.23919/DATE56975.2023.10137176

From the Standards to Silicon: Formally Proved Memory Controllers

Autori: Felipe Lisboa Malaquias, Mihail Asavoae & Florian Brandner
Pubblicato in: Lecture Notes in Computer Science, Numero 13903, 2023, ISBN 978-3-031-33170-1
Editore: Springer, Cham
DOI: 10.1007/978-3-031-33170-1_18

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

Autori: Dongli Liu and Wei Wang and Peng Xu and Laurence T. Yang and Bo Luo and Kaitai Liang
Pubblicato in: ArXiv & 33rd USENIX Security Symposium 2024, Numero abs/2403.01182, 2024
DOI: 10.48550/arXiv.2403.01182