Resources

Papers

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