SecOPERA — Secure OPen source softwarE and hardwaRe Adaptable framework

Funding Agency: EU H2020
Project type: RTD
Web site: https://secopera.eu/
Starting date: 2023-01-01
Ending date: 2026-12-30
Total budget: 4,994,330 euros

Description

SecOPERA aims to provide a one-stop hub for complex OSS/OSH solutions delivering to a connected device designer, implementer and operator as well as any open-source software/hardware developer, the means to analyse, assess, secure/harden and share open-source solutions as those are integrated in an overall complex product developed for a networked connected environment. The SecOPERA hub offers to the open-source community a framework supporting the open-source DevSecOps lifecycle and generates secure open-source solutions along with appropriate, verifiable security guarantees.

Partners

    • Athens University of Economics & Business (GR)

    • Technical University of Crete (GR)

    • THALES (FR)

    • University of Cyprus (CY)

    • Athena Research Center (GR)

    • Security Labs Consulting (IE)

    • Aegis (DE)

    • KTM (AUST)

    • Sphynx (SWTZ)

Publications

Conference Publications

    • Georgios-Petros Drosos, Thodoris Sotiropoulos, Diomidis Spinellis, and Dimitris Mitropoulos. Bloat beneath Python's scales: a fine-grained inter-project dependency analysis. In Proceedings of the ACM on Software Engineering, FSE '24. ACM, July 2024.

    • Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou, Rafaila Galanopoulou, Arthur Gervais, Dimitris Mitropoulos, and Ben Livshits. Smart contract and DeFi security tools: do they meet the needs of practitioners? In 45th International Conference on Software Engineering, ICSE '24. 2024. To appear.

    • Apostolos P. Fournaris, Christos Tselios, Evangelos Haleplidis, Elias Athanasopoulos, Antreas Dionysiou, Dimitrios Mitropoulos, Panos Louridas, Georgios Christou, Manos Athanatos, George Hatzivasilis, Konstantinos Georgopoulos, Costas Kalogeros, Christos Kotselidis, Simon Vogl, Francois Hamon, and Sotiris Ioannidis. Providing security assurance & hardening for open source software/hardware: the secopera approach. In 2023 IEEE 28th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD), 80–86. 2023.

Datasets

    • Georgios-Petros Drosos, Thodoris Sotiropoulos, Diomidis Spinellis, and Dimitris Mitropoulos. Bloat beneath python's scales: a fine-grained inter-project dependency analysis. July 2024.