The work “Flow Correlation Attacks on Tor Onion Service Sessions with Sliding Subset Sum”, co-authored by Bernardo Ferreira, LASIGE integrated member, was awarded Best Portuguese Internet Research of Internet Society 2024. This article identifies and...
RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods. Title: Programming Languages for Quantum Polynomial Time...
João Mendes, LASIGE PhD Student, was awarded the Best Poster Prize at the 1st ‘Innovation in Medicine and Biomedical Engineering: Synergies and Challenges’ Forum, organized by the recently created Medicine and Biomedical Engineering Section of the Lisbon Society of...
Title: On the Power of Interactive Proofs for Learning Speaker: Ninad Rajgopal (University of Cambridge) Invited by: Bruno Loff (LASIGE, DM/FCUL) When: March 20, 2024, 14:00 Where: FCUL, C6.2.33 Video recording: https://youtu.be/ydpcPfmEJws Abstract: Interactive proof...
On Friday, October 11, 2024, the Smart2B Project held its Final Conference at EDP Headquarters in Lisbon, Portugal. The LASIGE team was represented by Pedro Ferreira, Manuel Fonseca, Cristiana Rosa, Miracle Aniakor, Nuno Dionísio, and Zygimantas Jasiuanas. The...
Title: Navigating the Temporal Challenges of Secure Data Storage and Sharing Speaker: Vinicius Cogo (LASIGE/Ciências ULisboa) When: October 22, 14h50 Where: CIÊNCIAS Grand Auditorium (Building C3, 2nd floor) This talk is included in the flash talks “Leading-Edge...
