| Title | Authors | Year | Event | |
|---|---|---|---|---|
| Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification | Christian Colombo, Mark Vella |
Download | 2021 | |
| RV-TEE-Based Trustworthy Secure Shell Deployment: An Empirical Evaluation | Axel Curmi, Christian Colombo, Mark Vella |
Download | 2021 | |
| D-Cloud-Collector: Admissible Forensic Evidence from Mobile Cloud Storage | Mark Vella, Christian Colombo |
Download | 2021 | |
| Secure Implementation of a Quantum-Future GAKE Protocol | Robert Abela, Christian Colombo, Peter Malo, Peter Sýs, Tomáš Fabšič, Ondrej Gallo, Viliam Hromada, Mark Vella |
Abstract | 2021 | |
| Runtime verification for trustworthy secure shell deployment | Axel Curmi, Christian Colombo, Mark Vella |
Abstract | 2021 | |
| RV-TEE: secure cryptographic protocol execution based on runtime verification | Mark Vella, Christian Colombo, Robert Abela & Peter Špaček |
Abstract | 2021 | |
| A FPGA-based Control-Flow Integrity Solution for Securing Bare-Metal Embedded Systems | Nicolò Maunero, Paolo Prinetto, Gianluca Roascio, Antonio Varriale |
Abstract | 2020 | DTIS |
| SEkey: A Distributed Hardware-based Key Management System | Matteo Fornero, Nicolò Maunero, Paolo Prinetto, Antonio Varriale |
Abstract | 2020 | EWDTS |
| Hardware-based Capture-The-Flag Challenges | Paolo Prinetto, Gianluca Roascio, Antonio Varriale |
Abstract | 2020 | EWDTS |
| Analyzing ambient assisted living solutions: A research perspective | Ashalatha Kunnappilly, Axel Legay, Tiziana Margaria, Cristina Seceleanu, Bernhard Steffen, Louis-Marie Traonouez |
Abstract | 2017 | DTIS |
| A fully model-based approach to the design of the SEcube™ community web app | Steve Boßelmann; Dennis Kühn; Tiziana Margaria |
Abstract | 2017 | DTIS |
| Securing C/C++ applications with a SEcube™-based model-driven approach | Frederik Gosse, Johannes Neubauer, Bernhard Steffen |
Abstract | 2017 | DTIS |
| Side-channel analysis of SEcube™ platform | Matteo Bonello, Alberto Carelli, Stefano Di Carlo, Paolo Prinetto |
Abstract | 2017 | EWDTS |
| Model Checking of Security Properties: A Case Study on Human-Robot Interaction Processes | Giuseppe Airò Farulla, Anna Lena Lamprecht |
Abstract | 2017 | DTIS |
| An Object-Oriented Open Software Architecture for Security Applications | Giuseppe Airò Farulla, Alexander James Pane, Paolo Prinetto, Antonio Varriale |
Abstract | 2017 | EWDTS |
| SEcube™: an Open Security Platform - General Approach and Strategies | Antonio Varriale, Giorgio Di Natale, Paolo Prinetto, Bernhard Steffen, Tiziana Margaria |
Download | 2016 | SAM |
| SEcube™: Data at Rest and Data in Motion Protection | Antonio Varriale, Giorgio Di Natale, Paolo Prinetto, Alberto Carelli, Pascal Trotta |
Download | 2016 | SAM |
| Model driven design of secure properties for vision-based applications: A case study | Giuseppe Airò Farulla, Marco Indaco, Axel Legay, Tiziana Margaria |
Download | 2016 | SAM |
| SEcube™: An Open-Source Security Platform in a Single SoC | Antonio Varriale, Elena Ioana Vatajelu, Giorgio Di Natale, Paolo Prinetto, Pascal Trotta, Tiziana Margaria |
Abstract | 2016 | DTIS |
| Holistic Security via Complex HW/SW Platforms | Giuseppe Airò Farulla, Paolo Prinetto, Antonio Varriale |
Abstract | 2016 | DTIS |