Technical Program

Wafers S1: Wednesday Nov 23 (09:00 - 10:30 Local time, 13:00 - 14:30 CET)

• Modeling attacker behavior in Cyber-Physical-Systems Samuel Rodriguez, Juan Betancourt Osorio, German Pardo Gonzalez, Daniel Cuellar, Camilo Gomez, Francesco Mariotti, Leonardo Montecchi, Paolo Lollini
• Simplifying Operational Scenario Simulation for CubeSat Mission Analysis Purposes Pedro Ângelo Vaz de Carvalho, Gustavo Vicari Duarte, Matheus Miranda, André Ivo, Fatima Mattiello-Francisco, Guilherme Venticinque
• Application of Concurrent Engineering for G.O.L.D.S Constellation as a Cyber-Physical System-of-Systems Moisés Souto, Lucas Silva, Andrea Zotovici, Fatima Mattiello-Francisco, Geilson Loureiro

Wafers S2: Thursday Nov 24 (09:00 - 10:30 Local time, 13:00 - 14:30 CET)

• Evaluation of SMT solvers in abstraction-based software model checking Mihály Dobos-Kovács, András Vörös
• Design of a Federated Learning System for IT Security: Towards Secure Human Resource Management Lisa Verlande, Steffi Rudel, Ulrike Lechner

LADC Conference program