Tecnhical Program for Thursday, October 21st

Session 1 (Invited Papers - 08h30 until 09h30)

• 08h30 - 08h50 Addressing Verification and Validation Challenges in Future Cyber-Physical Systems Nuno Laranjeiro (UC, PT), Camilo Gomez( Universidad de los Andes, CO), Enrico Schiavone ( ResilTech S.R.L, IT), Leonardo Montecchi (UNICAMP, BR), Manoel J. M. Carvalho (INPE, BR), Paolo Lollini (UNIFI, IT) and Zoltán Micskei ( Budapest University of Technology and Economics, HU)
• 08h50 - 09h10 ATMOSPHERE: Adaptive, Trustworthy, Manageable, Orchestrated, Secure, Privacy-assuring, Hybrid Ecosystem for REsilient cloud computing Andrey Brito (UFCG, BR), Francisco Brasileiro (UFCG, BR), Ignacio Blanquer (UPV, ES), Altigran Silva (UFAM BR), André Carvalho (UFAM, BR)
• 09h10 - 09h30 End-to-end Security in the IoT Computing Continuum: Perspectives in the SWAMP Project João H. Kleinschmidt (UFABC, BR), Carlos Kamienski (UFABC, BR), Ronaldo C. Prati (UFABC, BR), Kari Kolehmainen (VTT, FI), Cristiano Aguzzi (University of Bologna, IT)

Session 2 (09h30 until 10h30)

• 09h30 - 09h50 Optimizing resource availability in composable data center infrastructures Leylane Ferreira (UFPE, BR), Elisson da Silva Rochay (UPE, BR), Kayo Henrique C. Monteiroy (UPE, BR), Guto Leoni Santos (UFPE, BR), Francisco Airton Silva (UFPI, BR), Judith Kelner (UFPE, BR), Djamel Sadok (UFPE, BR), Carmelo J. A. Bastos Filho (UPE, BR), Pierangelo Rosati (DCU, IRL), Theo Lynnx (DCU, IRL), Patricia Takako Endo (UPE, BR / DCU, IRL)
• 09h50 - 10h10 STAMP-based Approach to Analyze Safety, Security and Data Privacy Nivio Paula de Souza (ITA, BR ), Cecília de Azevedo Castro César (ITA, BR), Juliana de Melo Bezerra (ITA, BR), Celso Massaki Hirata (ITA, BR)
• 10h10 - 10h30: Student Forum Paper Securing Confidential Documents in BYOD Devices Herath H.M.S.N., Karunarathna A.M.S.S., Sampath D.M.C., Peramunugama K.P., Abeywardena K.Y.

Panel Session: Shared with LADC Panel (17h30 - 18h30)

For further information, please refer to the LADC Conference website.