Automated penetration testing

Report on parameterizable models of the SerIoT IoT platform; Software tool for the automated generation of abstract test cases; methodology for deployment of the tool; implementation of adaptors that bridge the levels of abstraction between the model and the implementation; evaluation criteria for assessing the effectiveness and efficiency of the tool. This deliverable aims to be periodically updated throughout the project's lifetime. In particular, the initial version of this deliverable is foreseen to be produced in M12, an updated version will follow in M24, while the final on shall be expected by M36. In particular, the final version also contains an evaluation report on automated penetration testing applied to SerIoT use cases.