Seminar 2025-2026

MAPi Seminar 2025/2026 - Tuesdays, DI 0.02 (A1, ground floor), 14h30-16h00 (.pt time)

07.10.2025 - Seminar 01 - "From Research to Publication: Disseminating Scientific Knowledge", Prof. Rui Borges Lopes, University of Aveiro 

14.10.2025 - Seminar 02 - "High-Speed High-Assurance Cryptography", Prof. Tiago Oliveira, UM

Abstract: The development of cryptographic implementations is a challenging task. Cryptographic operations are, in general, computationally expensive and often need to be carefully implemented with respect to performance. On top of this concern, implementations also need to include countermeasures against side-channel attacks; attacks that exploit information about the physical execution of the algorithms, such as execution time. Yet another concern is correctness: how can we firmly assert that a given implementation performs the computations that it is supposed to perform? It is important to note that bugs in this context can compromise security. The use of formal methods is the answer. In this talk, the speaker will explain, first, the challenges of implementing high-speed and high-assurance cryptographic algorithms, and second, how these challenges have been tackled by recent research results in which the speaker is involved.

21.10.2025 - Seminar 03 (TBA) 

28.10.2025 - Seminar 04 (TBA 

04.11.2025 - Seminar 05 (TBA) 

11.11.2025 - Seminar 06 (TBA) 

18.11.2025 - Seminar 07 (TBA) 

25.11.2025 - Seminar 08 (TBA) 

02.12.2025 - Seminar 09 (TBA) 

09.12.2025 - Seminar 10 (TBA) 

16.12.2025 - Seminar 11 (Paper Checkpoint,  pmc)