Event List
retrieve:
Return the details about the given Event id.
list:
List all Event objects.
GET /api/v1/events/?format=api&offset=120&ordering=-event__place_and_room
{ "count": 203, "next": "https://memento.epfl.ch/api/v1/events/?format=api&limit=10&offset=130&ordering=-event__place_and_room", "previous": "https://memento.epfl.ch/api/v1/events/?format=api&limit=10&offset=110&ordering=-event__place_and_room", "results": [ { "id": 71754, "title": "Towards Understanding Large Language Models", "slug": "towards-understanding-large-language-models", "event_url": "https://memento.epfl.ch/event/towards-understanding-large-language-models", "visual_url": "https://memento.epfl.ch/image/33080/200x112.jpg", "visual_large_url": "https://memento.epfl.ch/image/33080/720x405.jpg", "visual_maxsize_url": "https://memento.epfl.ch/image/33080/max-size.jpg", "lang": "en", "start_date": "2026-06-12", "end_date": "2026-06-12", "start_time": "15:30:00", "end_time": "17:30:00", "description": "<u>EDIC candidacy exam</u><br>\r\nExam president: Prof. Robert West<br>\r\nThesis advisor: Prof. Nicolas Flammarion<br>\r\nCo-examiner: Prof. Martin Jaggi<br>\r\n<br>\r\n<u>Abstract</u><br>\r\ncoming soon<br>\r\n<br>\r\n<u>Selected papers</u><br>\r\ncoming soon", "image_description": "", "creation_date": "2026-04-29T09:57:35", "last_modification_date": "2026-05-08T11:16:06", "link_label": "", "link_url": "", "canceled": "False", "cancel_reason": "", "place_and_room": "BC 329", "url_place_and_room": "https://plan.epfl.ch/?room==BC%20329", "url_online_room": "", "spoken_languages": [], "speaker": "Mark Rofin", "organizer": "", "contact": "[email protected]", "is_internal": "False", "theme": "", "vulgarization": { "id": 1, "fr_label": "Tout public", "en_label": "General public" }, "registration": { "id": 3, "fr_label": "Entrée libre", "en_label": "Free" }, "keywords": "EDIC candidacy exam", "file": null, "icalendar_url": "https://memento.epfl.ch/event/export/120586/", "category": { "id": 1, "code": "CONF", "fr_label": "Conférences - Séminaires", "en_label": "Conferences - Seminars", "activated": true }, "academic_calendar_category": null, "domains": [], "mementos": [ "https://memento.epfl.ch/api/v1/mementos/6/?format=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api", "https://memento.epfl.ch/api/v1/mementos/48/?format=api" ] }, { "id": 71755, "title": "Controllable Generative Models via Test-Time Adaptation", "slug": "controllable-generative-models-via-test-time-adapt", "event_url": "https://memento.epfl.ch/event/controllable-generative-models-via-test-time-adapt", "visual_url": "https://memento.epfl.ch/image/33081/200x112.jpg", "visual_large_url": "https://memento.epfl.ch/image/33081/720x405.jpg", "visual_maxsize_url": "https://memento.epfl.ch/image/33081/max-size.jpg", "lang": "en", "start_date": "2026-07-07", "end_date": "2026-07-07", "start_time": "09:30:00", "end_time": "11:30:00", "description": "<u>EDIC candidacy exam</u><br>\r\nExam president: Prof. Martin Rajman<br>\r\nThesis advisor: Prof. Pascal Fua<br>\r\nCo-examiner: Prof. Jean-Philippe Thiran<br>\r\n<br>\r\n<u>Abstract</u><br>\r\ncoming soon<br>\r\n<br>\r\n<u>Selected papers</u><br>\r\ncoming soon", "image_description": "", "creation_date": "2026-04-29T10:00:51", "last_modification_date": "2026-05-08T11:17:00", "link_label": "", "link_url": "", "canceled": "False", "cancel_reason": "", "place_and_room": "BC 329", "url_place_and_room": "https://plan.epfl.ch/?room==BC%20329", "url_online_room": "", "spoken_languages": [], "speaker": "Hantao Zhang", "organizer": "", "contact": "[email protected]", "is_internal": "False", "theme": "", "vulgarization": { "id": 1, "fr_label": "Tout public", "en_label": "General public" }, "registration": { "id": 3, "fr_label": "Entrée libre", "en_label": "Free" }, "keywords": "EDIC candidacy exam", "file": null, "icalendar_url": "https://memento.epfl.ch/event/export/120587/", "category": { "id": 1, "code": "CONF", "fr_label": "Conférences - Séminaires", "en_label": "Conferences - Seminars", "activated": true }, "academic_calendar_category": null, "domains": [], "mementos": [ "https://memento.epfl.ch/api/v1/mementos/6/?format=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api", "https://memento.epfl.ch/api/v1/mementos/48/?format=api" ] }, { "id": 71750, "title": "Efficiency Datalog Engine for Formal Research", "slug": "efficiency-datalog-engine-for-formal-research", "event_url": "https://memento.epfl.ch/event/efficiency-datalog-engine-for-formal-research", "visual_url": "https://memento.epfl.ch/image/33076/200x112.jpg", "visual_large_url": "https://memento.epfl.ch/image/33076/720x405.jpg", "visual_maxsize_url": "https://memento.epfl.ch/image/33076/max-size.jpg", "lang": "en", "start_date": "2026-06-17", "end_date": "2026-06-17", "start_time": "10:00:00", "end_time": "12:00:00", "description": "<u>EDIC candidacy exam</u><br>\r\nExam president: Prof. Martin Odersky<br>\r\nThesis advisor: Prof. Christoph Koch<br>\r\nCo-examiner: Prof. Viktor Kuncak<br>\r\n<br>\r\n<u>Abstract</u><br>\r\nDatalog engines are starting to show their potential in a wide range of data-intensive applications. This thesis will investigate techniques for developing a fast Datalog engines, specifically focusing on datalog program rewriting and cost-based optimization for recursive queries. Furthermore, I will explore how Datalog can be specialized for specific tasks, such as static program analysis.<br>\r\n<br>\r\n<u>Selected papers</u><br>\r\ncoming soon", "image_description": "", "creation_date": "2026-04-29T09:25:41", "last_modification_date": "2026-04-29T09:25:41", "link_label": "", "link_url": "", "canceled": "False", "cancel_reason": "", "place_and_room": "BC 233", "url_place_and_room": "https://plan.epfl.ch/?room==BC%20233", "url_online_room": "", "spoken_languages": [], "speaker": "Christian Fattebert", "organizer": "", "contact": "[email protected]", "is_internal": "False", "theme": "", "vulgarization": { "id": 1, "fr_label": "Tout public", "en_label": "General public" }, "registration": { "id": 3, "fr_label": "Entrée libre", "en_label": "Free" }, "keywords": "EDIC candidacy exam", "file": null, "icalendar_url": "https://memento.epfl.ch/event/export/120582/", "category": { "id": 1, "code": "CONF", "fr_label": "Conférences - Séminaires", "en_label": "Conferences - Seminars", "activated": true }, "academic_calendar_category": null, "domains": [], "mementos": [ "https://memento.epfl.ch/api/v1/mementos/48/?format=api", "https://memento.epfl.ch/api/v1/mementos/6/?format=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api" ] }, { "id": 71623, "title": "Sublinear algorithms for Attention and beyond", "slug": "sublinear-algorithms-for-attention-and-beyond", "event_url": "https://memento.epfl.ch/event/sublinear-algorithms-for-attention-and-beyond", "visual_url": "https://memento.epfl.ch/image/32952/200x112.jpg", "visual_large_url": "https://memento.epfl.ch/image/32952/720x405.jpg", "visual_maxsize_url": "https://memento.epfl.ch/image/32952/max-size.jpg", "lang": "en", "start_date": "2026-06-05", "end_date": "2026-06-05", "start_time": "10:00:00", "end_time": "12:00:00", "description": "<u>EDIC candidacy exam</u><br>\r\nExam president: Prof. Ola Svensson<br>\r\nThesis advisor: Prof. Michael Kapralov<br>\r\nCo-examiner: Prof. Mika Göös<br>\r\n<br>\r\n<u>Abstract</u><br>\r\ncoming soon<br>\r\n<br>\r\n<u>Selected papers</u>\r\n<ol>\r\n\t<li><a href=\"https://arxiv.org/pdf/2502.07861\" title=\"https://arxiv.org/pdf/2502.07861\">Streaming Attention Approximation via Discrepancy Theory</a></li>\r\n\t<li><a href=\"https://theory.stanford.edu/~virgi/cs367/papers/corrFull.pdf\" title=\"https://theory.stanford.edu/~virgi/cs367/papers/corrFull.pdf\">Finding Correlations in Subquadratic Time, with Applications to Learning Parities and the Closest Pair Problem</a></li>\r\n\t<li>Fast and Compact Random Mappings with Uniform Guarantees and Applications (by Piotr Indyk (MIT) and Ying Feng (MIT), to appear in STOC 2026) - web link not yet available.</li>\r\n</ol>", "image_description": "", "creation_date": "2026-04-17T12:41:25", "last_modification_date": "2026-04-30T14:14:41", "link_label": "", "link_url": "", "canceled": "False", "cancel_reason": "", "place_and_room": "BC 229", "url_place_and_room": "", "url_online_room": "", "spoken_languages": [], "speaker": "Boris Prokhorov ", "organizer": "", "contact": "[email protected]", "is_internal": "False", "theme": "", "vulgarization": { "id": 1, "fr_label": "Tout public", "en_label": "General public" }, "registration": { "id": 3, "fr_label": "Entrée libre", "en_label": "Free" }, "keywords": "EDIC candidacy exam", "file": null, "icalendar_url": "https://memento.epfl.ch/event/export/120415/", "category": { "id": 1, "code": "CONF", "fr_label": "Conférences - Séminaires", "en_label": "Conferences - Seminars", "activated": true }, "academic_calendar_category": null, "domains": [], "mementos": [ "https://memento.epfl.ch/api/v1/mementos/6/?format=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api", "https://memento.epfl.ch/api/v1/mementos/48/?format=api" ] }, { "id": 71591, "title": "Decision Making under Risk and Uncertainty", "slug": "decision-making-under-risk-and-uncertainty", "event_url": "https://memento.epfl.ch/event/decision-making-under-risk-and-uncertainty", "visual_url": "https://memento.epfl.ch/image/32924/200x112.jpg", "visual_large_url": "https://memento.epfl.ch/image/32924/720x405.jpg", "visual_maxsize_url": "https://memento.epfl.ch/image/32924/max-size.jpg", "lang": "en", "start_date": "2026-06-08", "end_date": "2026-06-08", "start_time": "10:00:00", "end_time": "12:00:00", "description": "<u>EDIC candidacy exam</u><br>\r\nExam president: Prof. Emre Telatar<br>\r\nThesis advisor: Prof. Michael Gastpar<br>\r\nCo-examiner: Prof. Negar Kiyavash<br>\r\n<br>\r\n<u>Abstract</u><br>\r\nIn real-world decision problems, human needs can differ widely in background, culture, and objectives, making it difficult to design a single universal value function for agents. To design a model dealing with specific tasks, a natural starting point is to specify an appropriate utility (reward) function and optimize it. However, in practice, there are many factors that require attention when making decisions. This work mainly considers two factors: risk and uncertainty, and aims to study decision making through an information-theoretic lens, developing algorithms and interpretations for optimizing risk-sensitive utility functions under uncertainty.<br>\r\n<br>\r\n<u>Selected papers</u><br>\r\n1. 1968 - Mossin - Optimal Multiperiod Portfolio Policies<br>\r\n<a href=\"https://www.jstor.org/stable/2351447\">https://www.jstor.org/stable/2351447</a><br>\r\n<br>\r\n2. 1984 - Cover - An Algorithm for Maximizing Expected Log Investment Return<br>\r\n<a href=\"https://ieeexplore.ieee.org/abstract/document/1056869\">https://ieeexplore.ieee.org/abstract/document/1056869</a><br>\r\n<br>\r\n3. 2019 - Bleuler-Lapidoth-Pfister - Gambling and Rényi Divergence<br>\r\n<a href=\"https://ieeexplore.ieee.org/abstract/document/8849800\">https://ieeexplore.ieee.org/abstract/document/8849800</a><br>\r\n ", "image_description": "", "creation_date": "2026-04-14T14:29:53", "last_modification_date": "2026-04-20T21:12:06", "link_label": "", "link_url": "", "canceled": "False", "cancel_reason": "", "place_and_room": "BC 133", "url_place_and_room": "https://plan.epfl.ch/?room==BC%20133", "url_online_room": "", "spoken_languages": [], "speaker": "Bo-Yu Yang", "organizer": "", "contact": "[email protected]", "is_internal": "False", "theme": "", "vulgarization": { "id": 1, "fr_label": "Tout public", "en_label": "General public" }, "registration": { "id": 3, "fr_label": "Entrée libre", "en_label": "Free" }, "keywords": "EDIC candidacy exam", "file": null, "icalendar_url": "https://memento.epfl.ch/event/export/120375/", "category": { "id": 1, "code": "CONF", "fr_label": "Conférences - Séminaires", "en_label": "Conferences - Seminars", "activated": true }, "academic_calendar_category": null, "domains": [], "mementos": [ "https://memento.epfl.ch/api/v1/mementos/6/?format=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api", "https://memento.epfl.ch/api/v1/mementos/48/?format=api" ] }, { "id": 71751, "title": "From Exploitation to Mitigation: Analyzing Memory Corruption Primitives to Harden the Linux Kernel", "slug": "from-exploitation-to-mitigation-analyzing-memory-c", "event_url": "https://memento.epfl.ch/event/from-exploitation-to-mitigation-analyzing-memory-c", "visual_url": "https://memento.epfl.ch/image/33078/200x112.jpg", "visual_large_url": "https://memento.epfl.ch/image/33078/720x405.jpg", "visual_maxsize_url": "https://memento.epfl.ch/image/33078/max-size.jpg", "lang": "en", "start_date": "2026-06-23", "end_date": "2026-06-23", "start_time": "10:00:00", "end_time": "12:00:00", "description": "<u>EDIC candidacy exam</u><br>\r\nExam president: Prof. George Candea<br>\r\nThesis advisor: Prof. Mathias Payer<br>\r\nThesis co-advisor: Dr. Anil Kurmus<br>\r\nCo-examiner: Prof. Sanidhya Kashyap<br>\r\n<br>\r\n<u>Abstract</u><br>\r\ncoming soon<br>\r\n<br>\r\n<u>Selected papers</u><br>\r\ncoming soon", "image_description": "", "creation_date": "2026-04-29T09:44:15", "last_modification_date": "2026-04-29T09:44:15", "link_label": "", "link_url": "", "canceled": "False", "cancel_reason": "", "place_and_room": "BC 133", "url_place_and_room": "https://plan.epfl.ch/?room==BC%20133", "url_online_room": "", "spoken_languages": [], "speaker": "Claudio Migliorelli", "organizer": "", "contact": "[email protected]", "is_internal": "False", "theme": "", "vulgarization": { "id": 1, "fr_label": "Tout public", "en_label": "General public" }, "registration": { "id": 3, "fr_label": "Entrée libre", "en_label": "Free" }, "keywords": "EDIC candidacy exam", "file": null, "icalendar_url": "https://memento.epfl.ch/event/export/120583/", "category": { "id": 1, "code": "CONF", "fr_label": "Conférences - Séminaires", "en_label": "Conferences - Seminars", "activated": true }, "academic_calendar_category": null, "domains": [], "mementos": [ "https://memento.epfl.ch/api/v1/mementos/6/?format=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api", "https://memento.epfl.ch/api/v1/mementos/48/?format=api" ] }, { "id": 71834, "title": "Language-Based Safety and Isolation Across System Composition Boundaries", "slug": "language-based-safety-and-isolation-across-system", "event_url": "https://memento.epfl.ch/event/language-based-safety-and-isolation-across-system", "visual_url": "https://memento.epfl.ch/image/33154/200x112.jpg", "visual_large_url": "https://memento.epfl.ch/image/33154/720x405.jpg", "visual_maxsize_url": "https://memento.epfl.ch/image/33154/max-size.jpg", "lang": "en", "start_date": "2026-06-19", "end_date": "2026-06-19", "start_time": "09:00:00", "end_time": "11:00:00", "description": "<u>DIC candidacy exam</u><br>\r\nExam president: Prof. Anne-Marie Kermarrec<br>\r\nThesis advisor: Prof. Mathias Payer<br>\r\nCo-examiner: Prof. Thomas Bourgeat<br>\r\n<br>\r\n<u>Abstract</u><br>\r\nThe OS kernel was exposed due to vulnerable drivers as one vulnerability could bring down the whole system. Since fixing all driver bugs is nearly impossible, isolation of drivers is necessary to be a fundamental mechanism for reducing the attack surface between system composition boundaries. Compared with hardware-based isolation(Xen, Nooks, etc) and software-based isolation (e.g. SFI), language-based isolation often gains fine-grained safety, such as type constraints and thread-safety properties. <br>\r\nSafeDrive was an early effort to protect Linux C drivers using type checks, memory-safety invariants, and recovery support, but it still had overhead and incomplete safety. RedLeaf, built in Rust completely, reduces runtime checks by relying on Rust's ownership system while enabling efficient communication through validated interfaces. As Rust enters mainline Linux, a new challenge appears: Rust components need to interact with legacy foreign-language code, where safety guarantees can break. Omniglot addresses this by enabling safe, zero-copy interaction between Rust and unmodified untrusted code using carefully designed memory isolation primitives.<br>\r\nGoing forward, my research will continue to focus on the intersection of operating systems and programming languages.<br>\r\n<br>\r\n<u>Selected papers</u><br>\r\n<strong>Paper 1: </strong>SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques [OSDI'06]\r\n<ul>\r\n\t<li><a href=\"https://dl.acm.org/doi/10.5555/1298455.1298461\">https://dl.acm.org/doi/10.5555/1298455.1298461</a></li>\r\n</ul>\r\n<strong>Paper 2: </strong>RedLeaf: Isolation and Communication in a Safe Operating System [OSDI'20]\r\n\r\n<ul>\r\n\t<li><a href=\"https://www.usenix.org/conference/osdi20/presentation/narayanan-vikram\">https://www.usenix.org/conference/osdi20/presentation/narayanan-vikram</a></li>\r\n</ul>\r\n<strong>Paper 3: </strong>Building Bridges: Safe Interactions with Foreign Languages through Omniglot [OSDI'25]\r\n\r\n<ul>\r\n\t<li><a href=\"https://www.usenix.org/conference/osdi25/presentation/schuermann\">https://www.usenix.org/conference/osdi25/presentation/schuermann</a></li>\r\n</ul>", "image_description": "", "creation_date": "2026-05-08T11:09:55", "last_modification_date": "2026-05-08T11:10:13", "link_label": "", "link_url": "", "canceled": "False", "cancel_reason": "", "place_and_room": "BC 133", "url_place_and_room": "https://plan.epfl.ch/?room==BC%20133", "url_online_room": "", "spoken_languages": [], "speaker": "Yiwen Xu", "organizer": "", "contact": "[email protected]", "is_internal": "False", "theme": "", "vulgarization": { "id": 1, "fr_label": "Tout public", "en_label": "General public" }, "registration": { "id": 3, "fr_label": "Entrée libre", "en_label": "Free" }, "keywords": "EDIC candidacy exam", "file": null, "icalendar_url": "https://memento.epfl.ch/event/export/120700/", "category": { "id": 1, "code": "CONF", "fr_label": "Conférences - Séminaires", "en_label": "Conferences - Seminars", "activated": true }, "academic_calendar_category": null, "domains": [], "mementos": [ "https://memento.epfl.ch/api/v1/mementos/6/?format=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api", "https://memento.epfl.ch/api/v1/mementos/48/?format=api" ] }, { "id": 71835, "title": "Testing the Hypervisor Boundary: Semantic Oracles and Adversarial Input Generation for pKVM", "slug": "testing-the-hypervisor-boundary-semantic-oracles-a", "event_url": "https://memento.epfl.ch/event/testing-the-hypervisor-boundary-semantic-oracles-a", "visual_url": "https://memento.epfl.ch/image/33155/200x112.jpg", "visual_large_url": "https://memento.epfl.ch/image/33155/720x405.jpg", "visual_maxsize_url": "https://memento.epfl.ch/image/33155/max-size.jpg", "lang": "en", "start_date": "2026-06-22", "end_date": "2026-06-22", "start_time": "13:00:00", "end_time": "15:00:00", "description": "<u>EDIC candidacy exam</u><br>\r\nExam president: Prof. Katerina Argyraki<br>\r\nThesis advisor: Prof. Mathias Payer<br>\r\nCo-examiner: Prof. Thomas Bourgeat<br>\r\n<br>\r\n<u>Abstract</u><br>\r\nHypervisors underpin modern confidential computing stacks, yet their exposed interfaces - hypercalls, fault handlers, and device interactions - remain a large and under-tested attack surface. Existing approaches fall short: coverage-driven fuzzers (e.g., HYPERPILL) explore broadly but rely on crash oracles, missing non-crashing vulnerabilities, while specification-based systems (e.g., Ghost) detect semantic violations but constrain input generation and under explore adversarial cases.<br>\r\n<br>\r\nThis thesis focuses on systematic bug finding in pKVM by combining semantic oracles with coverage-guided, adversarial fuzzing. Executable interface specifications are used to flag behavioral inconsistencies, while mutation-based input generation deliberately produces both valid and model-violating inputs to reach boundary conditions and deep execution paths. The approach further incorporates EL2 coverage feedback and concurrent vCPU sequences to expose bugs such as silent state corruption, ownership violations, and TOCTOU races.<br>\r\n<br>\r\nThe goal is to uncover security-critical vulnerabilities that evade both crash-based fuzzing and model-constrained testing, particularly in unspecified or adversarial input classes. More broadly, the work aims to establish a practical methodology for bug-driven testing of production hypervisors.<br>\r\n<br>\r\n<u>Selected papers</u><br>\r\ncoming soon", "image_description": "", "creation_date": "2026-05-08T11:14:42", "last_modification_date": "2026-05-08T11:14:42", "link_label": "", "link_url": "", "canceled": "False", "cancel_reason": "", "place_and_room": "BC 133", "url_place_and_room": "https://plan.epfl.ch/?room==BC%20133", "url_online_room": "", "spoken_languages": [], "speaker": "Sofiia Saltovskaia", "organizer": "", "contact": "[email protected]", "is_internal": "False", "theme": "", "vulgarization": { "id": 1, "fr_label": "Tout public", "en_label": "General public" }, "registration": { "id": 3, "fr_label": "Entrée libre", "en_label": "Free" }, "keywords": "EDIC candidacy exam", "file": null, "icalendar_url": "https://memento.epfl.ch/event/export/120701/", "category": { "id": 1, "code": "CONF", "fr_label": "Conférences - Séminaires", "en_label": "Conferences - Seminars", "activated": true }, "academic_calendar_category": null, "domains": [], "mementos": [ "https://memento.epfl.ch/api/v1/mementos/6/?format=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api", "https://memento.epfl.ch/api/v1/mementos/48/?format=api" ] }, { "id": 71917, "title": "Securing Next Generation Cellular Networks", "slug": "securing-next-generation-cellular-networks", "event_url": "https://memento.epfl.ch/event/securing-next-generation-cellular-networks", "visual_url": null, "visual_large_url": null, "visual_maxsize_url": null, "lang": "en", "start_date": "2026-06-09", "end_date": "2026-06-09", "start_time": "10:30:00", "end_time": "12:30:00", "description": "<u>EDIC candidacy exam</u><br>\r\nExam president: Prof. Nate Foster<br>\r\nThesis advisor: Prof. Mathias Payer<br>\r\nCo-thesis advisor: Prof. Haitham Al Hassanieh<br>\r\nCo-examiner: Prof. Thomas Bourgeat<br>\r\n<br>\r\n<u>Abstract</u><br>\r\nThis thesis studies cellular security from a state-aware, system-level perspective spanning user equipment, access networks, core networks, and higher-layer voice and messaging services. These systems form a distributed, heterogeneous infrastructure whose security depends on complex and largely opaque implementations across the stack. Cellular infrastructure underpins everyday communication, emergency response, transport, and industrial systems, yet existing research often focuses on isolated components or stateless message handling, leaving state-dependent vulnerabilities and cross-component interactions insufficiently explored. <br>\r\n<br>\r\nThis thesis aims to develop methods to infer and explore protocol state in closed and partially observable implementations, combining active automata learning, dynamic analysis, and targeted testing. It begins with baseband firmware and core-network components, then extends across key trust boundaries such as the Radio Interface Layer, non-cellular interworking, and voice and messaging infrastructure. The goal is to identify vulnerabilities arising from logical flaws, memory-safety issues, and inconsistencies in how state and trust are handled across components.<br>\r\n<br>\r\nBuilding on these insights, the thesis derives lightweight hardening for deployed systems, including boundary mediation and flow-based policy validation. By improving how cellular systems are tested and defended, the project strengthens critical infrastructure and Swiss expertise in 5G security.<br>\r\n<br>\r\n<u>Selected papers</u><br>\r\n[1]: <a href=\"https://www.ndss-symposium.org/ndss-paper/auto-draft-200/\">https://www.ndss-symposium.org/ndss-paper/auto-draft-200/</a><br>\r\n[2]:<a href=\"https://www.ndss-symposium.org/ndss-paper/basespec-comparative-analysis-of-baseband-software-and-cellular-specifications-for-l3-protocols/\">https://www.ndss-symposium.org/ndss-paper/basespec-comparative-analysis-of-baseband-software-and-cellular-specifications-for-l3-protocols/</a><br>\r\n[3]:<a href=\"https://www.usenix.org/conference/usenixsecurity25/presentation/dong-yilu\">https://www.usenix.org/conference/usenixsecurity25/presentation/dong-yilu</a><br>\r\n ", "image_description": "", "creation_date": "2026-05-21T13:32:02", "last_modification_date": "2026-05-22T10:07:52", "link_label": "", "link_url": "", "canceled": "False", "cancel_reason": "", "place_and_room": "BC 133", "url_place_and_room": "https://plan.epfl.ch/?room==BC%20133", "url_online_room": "", "spoken_languages": [], "speaker": "Eduard Vlad", "organizer": "", "contact": "edic@epfl,ch", "is_internal": "False", "theme": "", "vulgarization": { "id": 1, "fr_label": "Tout public", "en_label": "General public" }, "registration": { "id": 3, "fr_label": "Entrée libre", "en_label": "Free" }, "keywords": "EDIC candidacy exam", "file": null, "icalendar_url": "https://memento.epfl.ch/event/export/120822/", "category": { "id": 1, "code": "CONF", "fr_label": "Conférences - Séminaires", "en_label": "Conferences - Seminars", "activated": true }, "academic_calendar_category": null, "domains": [], "mementos": [ "https://memento.epfl.ch/api/v1/mementos/6/?format=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api", "https://memento.epfl.ch/api/v1/mementos/48/?format=api" ] }, { "id": 71932, "title": "Failure-Aware LLM Serving for Agentic Workloads", "slug": "failure-aware-llm-serving-for-agentic-workloads", "event_url": "https://memento.epfl.ch/event/failure-aware-llm-serving-for-agentic-workloads", "visual_url": null, "visual_large_url": null, "visual_maxsize_url": null, "lang": "en", "start_date": "2026-06-17", "end_date": "2026-06-17", "start_time": "09:00:00", "end_time": "11:00:00", "description": "<u>EDIC candidacy exam</u><br>\r\nExam president: Prof. Anastasia Ailamaki<br>\r\nThesis advisor: Prof. Anne-Marie Kermarrec<br>\r\nCo-examiner: Prof. Robert West<br>\r\n<br>\r\n<u>Abstract</u><br>\r\n<br>\r\n<br>\r\n<u>Selected papers</u>\r\n<ul>\r\n\t<li>ReAct (<a href=\"https://arxiv.org/pdf/2210.03629\" target=\"_blank\">https://arxiv.org/pdf/2210.03629</a>)</li>\r\n\t<li>Agentix (<a href=\"https://www.usenix.org/system/files/nsdi26-luo.pdf\" target=\"_blank\">https://www.usenix.org/system/files/nsdi26-luo.pdf</a>)</li>\r\n\t<li>Why do multi-agent systems fail? (<a href=\"https://arxiv.org/pdf/2503.13657\" target=\"_blank\">https://arxiv.org/pdf/2503.13657</a>)</li>\r\n</ul>", "image_description": "", "creation_date": "2026-05-22T13:11:09", "last_modification_date": "2026-05-22T13:12:05", "link_label": "", "link_url": "", "canceled": "False", "cancel_reason": "", "place_and_room": "BC 133", "url_place_and_room": "https://plan.epfl.ch/?room==BC%20133", "url_online_room": "", "spoken_languages": [], "speaker": "Palak", "organizer": "", "contact": "[email protected]", "is_internal": "False", "theme": "", "vulgarization": { "id": 1, "fr_label": "Tout public", "en_label": "General public" }, "registration": { "id": 3, "fr_label": "Entrée libre", "en_label": "Free" }, "keywords": "EDIC candidacy exam", "file": null, "icalendar_url": "https://memento.epfl.ch/event/export/120839/", "category": { "id": 1, "code": "CONF", "fr_label": "Conférences - Séminaires", "en_label": "Conferences - Seminars", "activated": true }, "academic_calendar_category": null, "domains": [], "mementos": [ "https://memento.epfl.ch/api/v1/mementos/48/?format=api", "https://memento.epfl.ch/api/v1/mementos/6/?format=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api" ] } ] }
