Title: Smoothed analysis of deterministic discounted and mean-payoff games Speaker: Mateusz Skomra (LAAS-CNRS) Invited by: Bruno Loff (LASIGE, DM/FCUL) When: March 04 and 05, 2024, 14:00 Where: FCUL, C6.2.33 Video recording: part 1, part 2 Abstract: Deterministic...
Title: Discovering Web Vulnerabilities at an Intermediate Language Level Speaker: Paulo Antunes, LASIGE/DI-FCUL When: June 27, 2024, 12h Where: Sala 6.3.27 Abstract: Web applications are a prime target for malicious actors to obtain private user information, such as...
Title: MVP-ORAM: a Concurrent ORAM for Confidential BFT Services Speaker: Robin Vassantlal, LASIGE/DI-FCUL When: May 16, 2024, 11h Where: Zoom Abstract: It is well known that encryption alone is not enough to protect data privacy. Access patterns, revealed when...
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: Session-typed Metaprogramming Speaker: Pedro Ângelo...