End-to-end security for IoT

Asset-Driven Approach for Security Risk Assessment in IoT Systems

Rigorous System Design: The BIP framework

Statistical Model Checking BIP tool

D6.4 – Phase 1 Evaluation Report

D5.6 – Final AAA layer for IoT cross platform models

D5.5 – Final Threat Modeling and Security Assessment of Target Scenarios, Solutions

D2.7 – Final Architecture and Test Sites Specifications

Privacy Awareness, Risk Assessment, and Control Measures in IoT Platforms: BRAIN-IoT Approach

Model-Based Methodology and Framework for Design and Management of Next-Gen IoT Systems