The formosa crypto approach to formally verified Cryptography 20 Oct 2026 FC6 0.28 14:30 By Professor Manuel Barbosa Published at: 2 Oct 2026 News Events Lecture Talks@DCC
Talk: Risk, Dependability, and Diversity - An Overview of Research at the Centre for Software Reliability 9 Jul 2026 FC6 0.29 11:00 By Ilir Gashi Published at: 1 Jul 2026 News Events Lecture Talks@DCC
Talk: Integrated Sensing and Communications - Private Attribute Inference and Privacy Preservation 2 Jul 2026 FC6 0.29 11:00 By Óscar Martins Published at: 29 Jun 2026 News Events Lecture Talks@DCC
Talk: Asynchronous Team Automata 26 Jun 2026 FC6 0.29 14:00 By José Proença Published at: 16 Jun 2026 News Events Lecture Talks@DCC
Talk: Formal Verification and Runtime Assurance of Distributed Cyber-Physical Systems 19 Jun 2026 FC6 0.29 14:00 By Marjan Sirjani Published at: 28 May 2026 News Events Lecture Talks@DCC
