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) 

Events

Check incoming events

Incoming events

Follow the link below for information on upcoming and past MAP-i events.

Check it

FAQ

For incoming Students

Incoming Students

Check FAQ's for incoming students for answers to commonly asked questions.

Check it

FAQ

For current Students

Current Students

Check FAQ's for current students for answers to commonly asked questions.

Check it

Mailing List

Subscription

Mailing List

Find out how to subscribe to MAP-i mailing list.

Check it