Cross-platform Open Security Stack for Connected Devices

Rezultaty

Extended description of use cases and scenarios including technical diagrams and specification of all scenarios’ components, security services, settings (T1.1).

Validation Criteria Initial Version

Presents the identified validation criteria for the CROSSCON IoT stack (T1.3).

CROSSCON Open Security Stack Documentation - Draft

A report on first research and development results of the CROSSCON stack components across tasks T3.1 to T3.5.

Requirements Elicitation Final Technical Specification

Second and final specification of CROSSCON IoT stack requirement elicitation based on technical and end users’ feedback (T1.2).

Use Cases Definition Initial Version

First version of use cases and scenarios definition including architecture, infrastructure, security services, and stakeholders’ relation (T1.1).

Requirements Elicitation Initial Technical Specification

First version of requirement elicitation for the CROSSCON IoT security stack (T1.2).

Dissemination and Communication Plan

A detailed plan for dissemination and communication of project results including stakeholders’ engagement plan and online channels development (T6.1).

Project Website

A report on the Website created, its layout, structure, and content management (T6.1).

CROSSCON Extensions to Domain Specific Hardware Architectures Documentation - Draft

A report of the first research and development results of the CROSSCON hardware/software extension primitives, algorithms and APIs for domain specific hardware architectures (T4.1, T4.2, T4.3).

Dissemination, Communication and Community Building First Report

A report on the dissemination and communication, stakeholders’ engagement, advisory board, and training activities for the first half of the project (T6.1, T6.3, T6.4).

Data Management Plan

A report describing the project’s data management plan, ethics and gender policy (T7.4).

CROSSCON Open Specification - Draft

A document with code and diagrams describing the initial version of the developed Open Specification and HW/SW co-design (T2.1,T2.3).

CROSSCON Open Security Stack - Initial Version

Software, technical diagrams and algorithms of experimental proof of concept of the CROSSCON stack components developed across tasks T3.1 to T3.5. TRL 3.

CROSSCON Extension Primitives to Domain Specific Hardware Architectures - Initial Version

Development board FPGA implementation of hardware/software extension primitives complemented with technical diagrams of the initial versions, experimental proof of concept, of the CROSSCON extension primitives and mechanisms developed across tasks T4.1, T4.2, and T4.3. TRL 3.

CROSSCON Formal Framework - Draft

A document with code, diagrams, repositories describing the initial formal framework and the developed/adapted tools (T2.2).

Publikacje

Securing Embedded and IoT Systems with SPMP-based Virtualization

Autorzy: Sandro Pinto, José Martins, Manuel Rodriguez, Tilen Nedanovski, Ziga Putrle, Matjaz Breskvar
Opublikowane w: RISC-V Summit Europe 2024, 2024
Wydawca: RISC-V Summit Europe 2024

WhisperFuzz: White-Box Fuzzing for Detecting and Locating Timing Vulnerabilities in Processors

Autorzy: Pallavi Borkar, Chen Chen, Mohamadreza Rostami, Nikhilesh Singh, Rahul Kande, Ahmad-Reza Sadeghi, Chester Rebeiro, Jeyavijayan Rajendran
Opublikowane w: USENIX, 2024
Wydawca: USENIX

μIPS: Software-Based Intrusion Prevention for Bare-Metal Embedded Systems

Autorzy: Luca Degani , Majid Salehi , Fabio Martinelli, Bruno Crispo
Opublikowane w: ESORICS 2023, 2023
Wydawca: Springer-Verlag
DOI: 10.1007/978-3-031-51482-1_16

BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect

Autorzy: Cristiano Rodrigues, Daniel Oliveira, Sandro Pinto
Opublikowane w: 2024 IEEE Symposium on Security and Privacy (SP), 2024, ISSN 2375-1207
Wydawca: IEEE Computer Society
DOI: 10.1109/SP54263.2024.00062

CROSSCON: Interoperable IoT Security Stack - The RISC-V Opportunity

Autorzy: Sandro Pinto, Matjaz Breskvar, Tiago Gomes, Hristo Koshutanski, Aljosa Pasic, Piotr Król, Emna Amri, David Purón, Zoltan Hornak, Marco Roveri, Alexandra Dmitrienko, Ahmad-Reza Sadeghi, Bruno Crispo
Opublikowane w: RISC-V Europe Summit 2023, 2023
Wydawca: RISC-V Europe Summit

Lost and Found in Speculation: Hybrid Speculative Vulnerability Detection

Autorzy: Mohamadreza Rostami,Shaza Zeitouni,Rahul Kande, Chen Chen, Pouya Mahmoody, Jeyavijayan Rajendran, Ahmad-Reza Sadeghi
Opublikowane w: Design Automation Conference, 2024, 2024
Wydawca: Design Automation Conference

Misbehavior Detection and Mitigation on 5G Core Services in Kubernetes

Autorzy: H. Koshutanski, S. Kahvazadeh, J. Villalobos, A. Garcia Bedoya, and J. Mangues-Bafalluy
Opublikowane w: NDSS, 2026
Wydawca: n.a.

One for All and All for One: GNN-based Control-Flow Attestation for Embedded Devices

Autorzy: Marco Chilese,Richard Mitev,Meni Orenbach, Robert Thorburn, Ahmad Atamli, Ahmad-Reza Sadeghi
Opublikowane w: 2024 IEEE Symposium on Security and Privacy (SP), 2024, ISSN 2375-1207
Wydawca: IEEE Computer Society
DOI: 10.1109/SP54263.2024.00182

AppBox: A Black-Box Application Sandboxing Technique for Mobile App Management Solutions

Autorzy: Maqsood Ahmad, Francesco Bergadano, Valerio Costamagna, Bruno Crispo, Giovanni Russello
Opublikowane w: IEEE Symposium on Computers and Communications (ISCC), 2023, ISSN 2642-7389
Wydawca: IEEE
DOI: 10.1109/ISCC58397.2023.10217861

The Nonce-nce of Web Security: an Investigation of CSP Nonces Reuse

Autorzy: Matteo Golinelli; Francesco Bonomi; Bruno Crispo
Opublikowane w: Computer Security. ESORICS 2023 International Workshops, 2023, ISBN 978-3-031-54129-2
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-54129-2_27

Beyond random inputs: A novel ML-based hardware fuzzing

Autorzy: Mohamadreza Rostami, Marco Chilese, Shaza Zeitouni, Rahul Kande, Jeyavijayan Rajendran, Ahmad-Reza Sadeghi
Opublikowane w: IEEE Design, Automation and Test in Europe Conference (DATE), 2024
Wydawca: IEEE Design, Automation and Test in Europe

Open-source SPMP-based CVA6 Virtualization

Autorzy: Manuel Rodríguez, José Martins, Bruno Sá and Sandro Pinto
Opublikowane w: RISC-V Summit EU, 2025
Wydawca: N.A.

CVA6 MMU-less Virtualization – From Hardware to Software, and Vice Versa!

Autorzy: Sandro Pinto
Opublikowane w: Embedded World, 2025
Wydawca: N.A.

A Novel Trusted Execution Environment for Next-Generation RISC-V MCUs

Autorzy: Sandro Pinto, Matjaz Breskvar
Opublikowane w: Embedded World, 2024
Wydawca: n.a.

LightShed: Defeating Perturbation-based Image Copyright Protections

Autorzy: Hanna Foerster, Sasha Behrouzi, Phillip Rieger, Murtuza Jadliwala, Ahmad-Reza Sadeghi
Opublikowane w: Usenix Security Symposium, 2025
Wydawca: N.A.

Cyber-physical metropolitan area digital substations test bench for evaluating intrusion detection systems

Autorzy: Santiago Sanchez-Acevedo, Tesfaye Amare Zerihun, Hristo Koshutanski, Alejandro Garcia-Bedoya
Opublikowane w: IEEE GPECOM 2024, 2024
Wydawca: IEEE GPECOM 2024
DOI: 10.36227/techrxiv.171778519.94792591/v1

An open-source Trusted Execution Environment for Resource-Constrained RISC-V MCUs

Autorzy: Luís Cunha∗ , Daniel Oliveira, João Sousa, Tiago Gomes, Sandro Pinto
Opublikowane w: RISC-V Summit EU, 2025
Wydawca: N.A.

Efficient and Safe I/O Operations for Intermittent Systems

Autorzy: Eren Yıldız, Saad Ahmed, Bashima Islam, Josiah Hester, Kasım Sinan Yıldırım
Opublikowane w: EuroSys: European Conference on Computer Systems, 2023, ISBN 9781450394871
Wydawca: Association for Computing Machinery
DOI: 10.1145/3552326.3587435

GenHuzz: An Efficient Generative Hardware Fuzzer

Autorzy: Lichao Wu, Mohamadreza Rostami, Huimin Li, Jeyavijayan Rajendran, Ahmad-Reza Sadeghi
Opublikowane w: Usenix Security Symposium, 2025
Wydawca: N.A

AuthentiSafe: Lightweight and Future-Proof Device-to-Device Authentication for IoT

Autorzy: T. Krauß, L. Petzi, G. Tsudik, and A. Dmitrienko.
Opublikowane w: ACM ASIA Conference on Computer and Communications Security, 2025
Wydawca: N.A.

RLFuzz: Accelerating Hardware Fuzzing with Deep Reinforcement Learning

Autorzy: Raphael Götz, Christoph Sendner, Nico Ruck, Mohamadreza Rostami, Alexandra Dmitrienko, Ahmad-Reza Sadeghi
Opublikowane w: 2025 IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2025
Wydawca: IEEE
DOI: 10.1109/HOST64725.2025.11050051

Mind the CORS

Autorzy: Golinelli, Matteo; Arshad, Elham; Kashchuk, Dmytro; Crispo, Bruno
Opublikowane w: IEEE International Conference on Trust, Privacy and Security in Intelligent Systems and Applications (TPS-ISA), 2023
Wydawca: N.A.
DOI: 10.1109/TPS-ISA58951.2023.00035

Lichao Wu, Mohamadreza Rostami, Huimin Li, Nikhilesh Singh, Ahmad-Reza Sadeghi

Autorzy: Kavita Kumari, Sasha Behrouzi, Alessandro Pegoraro, Ahmad-Reza Sadeghi
Opublikowane w: NDSS, 2026
Wydawca: n.a.

PUF-based Authentication in IoT against Strong Physical Adversary using Zero-Knowledge Proofs

Autorzy: Lukas Petzi, Alexandra Dmitrienko, Ivan Visconti
Opublikowane w: SafeThings 2024, 2024
Wydawca: SafeThings

Device Behavioral Profiling for Autonomous Protection Using Deep Neural Networks

Autorzy: Sandeep Gupta, Bruno Crispo
Opublikowane w: 2023 IEEE Symposium on Computers and Communications (ISCC), 2023
Wydawca: IEEE Computer Society
DOI: 10.1109/ISCC58397.2023.10218275

Shedding Light on Static Partitioning Hypervisors for Arm-based Mixed-Criticality Systems

Autorzy: Martins, José; Pinto, Sandro
Opublikowane w: 2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2023, ISSN 2642-7346
Wydawca: IEEE Computer Society
DOI: 10.1109/rtas58335.2023.00011

Towards a formal verification of the Bao Hypervisor

Autorzy: Alberto Tacchella, Jurij Mihelič, David Cerdeira, José Martins, Sandro Pinto, Bruno Crispo, Marco Roveri
Opublikowane w: FPS, 2025
Wydawca: n.a.

GoldenFuzz: Generative Golden Reference Hardware Fuzzing

Autorzy: Lichao Wu, Mohamadreza Rostami, Huimin Li, Nikhilesh Singh, Ahmad-Reza Sadeghi
Opublikowane w: NDSS, 2026
Wydawca: n.a.

Fuzzilicon: A Post-Silicon Microcode-Guided x86 CPU Fuzzer

Autorzy: Johannes Lenzen, Mohamadreza Rostami, Lichao Wu, Ahmad-Reza Sadeghi
Opublikowane w: NDSS, 2026
Wydawca: n.a.

HFL: Hardware Fuzzing Loop with Reinforcement Learning

Autorzy: Lichao Wu, Mohamadreza Rostami, Huimin Li, Ahmad-Reza Sadeghi
Opublikowane w: 2025 Design, Automation &amp; Test in Europe Conference (DATE), 2025
Wydawca: IEEE
DOI: 10.23919/DATE64628.2025.10993080

VoiceRadar: Voice Deepfake Detection using Micro-Frequency and Compositional Analysis

Autorzy: Kavita Kumari , Maryam Abbasihafshejani , Alessandro Pegoraro, Phillip Rieger, Kamyar Arshi, Murtuza Jadliwala and Ahmad-Reza Sadeghi
Opublikowane w: Network and Distributed System Security (NDSS), 2025
Wydawca: N.A.

Bridging the Interoperability Gaps Among Trusted Architectures in MCUs

Autorzy: Sandro Pinto, Luís Cunha, Daniel Oliveira, Michele Grisafi, Emanuele Beozzo, Bruno Crispo
Opublikowane w: Lecture Notes in Computer Science, Information and Communications Security, 2025
Wydawca: Springer Nature Singapore
DOI: 10.1007/978-981-95-3543-9_15

SafeSplit: A Novel Defense Against Client-Side Backdoor Attacks in Split Learning

Autorzy: Phillip Rieger, Alessandro Pegoraro, Kavita Kumari, Tigist Abera, Jonathan Knauer Ahmad-Reza Sadeghi
Opublikowane w: Network and Distributed System Security (NDSS), 2025
Wydawca: N.A.

Automatic Adversarial Adaption for Stealthy Poisoning Attacks in Federated Learning

Autorzy: Torsten Krauß, Jan König, Alexandra Dmitrienko, Christian Kanzow
Opublikowane w: NDSS, 2024
Wydawca: N.A.

Valkyrie: A Response Framework to Augment Runtime Detection of Time-Progressive Attacks

Autorzy: Nikhilesh Singh, Chester Rebeiro
Opublikowane w: 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2025
Wydawca: IEEE
DOI: 10.1109/DSN64029.2025.00053

CROSSCON: Interoperable IoT Security Stack for Embedded Connected Devices

Autorzy: Sandro Pinto, Matjaz Breskvar, Tiago Gomes, Hristo Koshutanski, Aljosa Pasic, Piotr Król, Emna Amri, David Purón, Zoltan Hornak, Marco Roveri, Alexandra Dmitrienko, Ahmad-Reza Sadeghi, Bruno Crispo
Opublikowane w: Embbeded World 2024, 2024
Wydawca: Embbeded World Exhibition&Conference

Certified Secure Updates for IoT Devices

Autorzy: Tacchella, A., Beozzo, E., Crispo, B., Roveri, M.
Opublikowane w: ICT Systems Security and Privacy Protection, 2025
Wydawca: Springer, Cham
DOI: 10.1007/978-3-031-92882-6_11

Virtualization today, Virtualization tomorrow

Autorzy: Sandro Pinto
Opublikowane w: Embedded World, 2023
Wydawca: N.A.

FreqFed: A Frequency Analysis-Based Approach for Mitigating Poisoning Attacks in Federated Learning

Autorzy: Fereidooni, Hossein; Pegoraro, Alessandro; Rieger, Phillip; Dmitrienko, Alexandra; Sadeghi, Ahmad-Reza
Opublikowane w: Network and Distributed System Security (NDSS) Symposium, 2024
Wydawca: Network and Distributed System Security (NDSS) Symposium
DOI: 10.48550/arxiv.2312.04432

Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements

Autorzy: Chahoki, A. Z.; Roveri, M.; Amyot, D.; Mylopoulos, J.
Opublikowane w: CEUR-WS, 2023
Wydawca: N.A.

Software and Systems Modeling

Autorzy: Aidin Rasti; Amal Ahmed Anda; Sofana Alfuhaid; Alireza Parvizimosaed; Daniel Amyot; Marco Roveri; Luigi Logrippo; John Mylopoulos
Opublikowane w: Software and Systems Modeling, 2024, ISSN 1619-1366
Wydawca: Springer-Verlag
DOI: 10.5281/ZENODO.7897782

FLAShadow: A Flash-based Shadow Stack for Low-end Embedded Systems

Autorzy: Michele Grisafi, Mahmoud Ammar, Marco Roveri, Bruno Crispo
Opublikowane w: ACM Transactions on Internet of Things, Numer 5, 2025, ISSN 2691-1914
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3670413

Beyond Random Inputs: A Novel ML-Based Hardware Fuzzing

Autorzy: Rostami, Mohamadreza; Chilese, Marco; Zeitouni, Shaza; Kande, Rahul; Rajendran, Jeyavijayan; Sadeghi, Ahmad-Reza
Opublikowane w: DATE, 2024, ISSN 0000-0000
Wydawca: IEEE
DOI: 10.23919/DATE58400.2024.10546625

Phantom: Untargeted Poisoning Attacks on Semi-Supervised Learning (Full Version)

Autorzy: Knauer, Jonathan; Rieger, Phillip; Fereidooni, Hossein; Sadeghi, Ahmad-Reza
Opublikowane w: ACM SIGSAC, 2024, ISSN 0000-0000
Wydawca: Association for Computing Machinery
DOI: 10.1145/3658644.3690369

Marionette: Manipulate Your Touchscreen via A Charging Cable

Autorzy: Yan Jiang, Xiaoyu Ji,Kai Wang,Chen Yan, Richard Mitev, Ahmad-Reza Sadeghi, Wenyuan Xu
Opublikowane w: IEEE Transactions on Dependable and Secure Computing, 2023, ISSN 1941-0018
Wydawca: IEEE Computer Society
DOI: 10.1109/TDSC.2023.3326181

AnyTEE: An Open and Interoperable Software Defined TEE Framework

Autorzy: David Cerdeira, José Martins, Nuno Santos, Sandro Pinto
Opublikowane w: IEEE Access, Numer 13, 2025, ISSN 2169-3536
Wydawca: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/ACCESS.2025.3581487

CryptojackingTrap: An Evasion Resilient Nature-Inspired Algorithm to Detect Cryptojacking Malware

Autorzy: Atefeh Zareh Chahoki; Hamid Reza Shahriari; Marco Roveri
Opublikowane w: IEEE Transactions on Information Forensics and Security, 2024, ISSN 1556-6021
Wydawca: IEEE Transactions on Information Forensics and Security
DOI: 10.21227/kwh4-0g27

Automatic Adversarial Adaption for Stealthy Poisoning Attacks in Federated Learning

Autorzy: Torsten Krauß; Jan König; Alexandra Dmitrienko; Christian Kanzow
Opublikowane w: Network and Distributed System Security Symposium, 2024, ISSN 0000-0000
Wydawca: N.A.
DOI: 10.14722/NDSS.2024.241366

Fuzzerfly Effect: Hardware Fuzzing for Memory Safety

Autorzy: Mohamadreza Rostami, Chen Chen, Rahul Kande, Huimin Li, Jeyavijayan Rajendran, Ahmad-Reza Sadeghi
Opublikowane w: IEEE Security & Privacy, Numer 22, 2024, ISSN 1540-7993
Wydawca: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/MSEC.2024.3365070

BiRtIO: VirtIO for Real-Time Network Interface Sharing on the Bao Hypervisor

Autorzy: João Peixoto; José Martins; David Cerdeira; Sandro Pinto
Opublikowane w: IEEE Access, 2024, ISSN 0000-0000
Wydawca: N.A.
DOI: 10.1109/ACCESS.2024.3512777

Firmware Secure Updates meet Formal Verification

Autorzy: Alberto Tacchella, Emanuele Beozzo, Bruno Crispo, Marco Roveri
Opublikowane w: ACM Transactions on Cyber-Physical Systems, 2025, ISSN 2378-962X
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3754455

HSP-V: Hypervisor-less Static Partitioning for RISC-V COTS Platforms

Autorzy: João Sousa; José Martins; Tiago Gomes; Sandro Pinto
Opublikowane w: IEEE Access, 2024, ISSN 2169-3536
Wydawca: IEEE Access
DOI: 10.1109/ACCESS.2024.3399601

Gain insights into the latest empirical Cyber Security trends and results from Horizon Europe Funded Projects

Autorzy: AI4CYBER, CERTIFY, CROSSCON, ENCRYPT, KINAITICS, REWIRE, TRUMPET and TRUSTEE
Opublikowane w: CROSSCON Website, 2025
Wydawca: N.A.

NeuroStrike: Neuron-Level Attacks on Aligned LLMs

Autorzy: Lichao Wu, Sasha Behrouzi, Mohamadreza Rostami, Maximilian Thang, Stjepan Picek, Ahmad-Reza Sadeghi
Opublikowane w: NDSS, 2026
Wydawca: N.A.

Automated Generation of Smart Contract Code from Legal Contract Specifications with Symboleo2SC

Autorzy: Aidin Rasti; Amal Ahmed Anda; Sofana Alfuhaid; Alireza Parvizimosaed; Daniel Amyot; Marco Roveri; Luigi Logrippo; John Mylopoulos
Opublikowane w: Zenodo Platform, 2023
Wydawca: N.A.
DOI: 10.5281/ZENODO.7897782

CROSSCON: Cross-platform Open Security Stack for Connected Devices

Autorzy: Bruno Crispo, Marco Roveri; Sandro Pinto, Tiago Gomes; Aljosa Pasic; Akos Milankovich; David Purón, Ainara Garcia; Ziga Putrle; Peter Ten; Malvina Catalano
Opublikowane w: 2024
Wydawca: CROSSCON Project

Rezultaty

Publikacje

Udostępnij tę stronę Udostępnij tę stronę w mediach społecznościowych

Pobierz Pobierz zawartość strony