| Title | Authors | Year | Event | |
|---|---|---|---|---|
| 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 |
| An Object-Oriented Open Software Architecture for Security Applications | Giuseppe Airò Farulla, Alexander James Pane, Paolo Prinetto, Antonio Varriale |
Abstract | 2017 | EWDTS |
| Holistic Security via Complex HW/SW Platforms | Giuseppe Airò Farulla, Paolo Prinetto, Antonio Varriale |
Abstract | 2016 | DTIS |
| Model Checking of Security Properties: A Case Study on Human-Robot Interaction Processes | Giuseppe Airò Farulla, Anna Lena Lamprecht |
Abstract | 2017 | DTIS |
| Side-channel analysis of SEcube™ platform | Matteo Bonello, Alberto Carelli, Stefano Di Carlo, Paolo Prinetto |
Abstract | 2017 | EWDTS |
| Securing C/C++ applications with a SEcube™-based model-driven approach | Frederik Gosse, Johannes Neubauer, Bernhard Steffen |
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 |
| Analyzing ambient assisted living solutions: A research perspective | Ashalatha Kunnappilly, Axel Legay, Tiziana Margaria, Cristina Seceleanu, Bernhard Steffen, Louis-Marie Traonouez |
Abstract | 2017 | DTIS |