{"count":234,"next":"https://memento.epfl.ch/api/v1/events/?format=json&limit=10&offset=150&ordering=-last_modification_date","previous":"https://memento.epfl.ch/api/v1/events/?format=json&limit=10&offset=130&ordering=-last_modification_date","results":[{"id":69172,"title":"Dynamic Decisions and Temporal Frictions in On-Demand Mobility","slug":"dynamic-decisions-and-temporal-frictions-in-on-d-2","event_url":"https://memento.epfl.ch/event/dynamic-decisions-and-temporal-frictions-in-on-d-2","visual_url":"https://memento.epfl.ch/image/33200/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/33200/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/33200/max-size.jpg","lang":"en","start_date":"2026-06-22","end_date":"2026-06-22","start_time":"10:30:00","end_time":"11:30:00","description":"<strong>ABSTRACT</strong><br>\r\nApp-based, on-demand transport systems have transformed urban mobility by enabling real-time coordination between vehicles and users. Yet behind this flexibility lies a fundamental tension: operational decisions that appear beneficial in the present can deteriorate the future state of the system. This talk explores these temporal frictions in assigned on-demand systems—where passengers and vehicles are matched before meeting—and how they shape the performance and reliability of shared mobility services.<br>\r\nFirst, we show how assignment decisions evolve through what we term the Increasing Gap Dynamics, a negative feedback cycle through which vehicles progressively concentrate in space, reducing system efficiency over time. We then examine how a tension between efficiency and reliability emerges: while highly dynamic operations can improve short-term efficiency and flexibility, they may also increase unreliability by exposing passengers to future, uncertain requests. We discuss how this tension manifests both in routing decisions and in the selection of pickup and dropoff locations, and show how carefully designed anticipatory techniques can help reconcile these competing objectives.<br>\r\n<br>\r\n <br>\r\n<strong>SHORT BIO</strong><br>\r\nDr Andrés Fielbaum is a Senior Lecturer in Transport Engineering at the University of Sydney and a DECRA Fellow of the Australian Research Council. His work lies at the intersection of transport systems and applied mathematics, with a focus on public transport, on-demand mobility, and developing analytical models to inform system design and operations. He completed his PhD in Systems Engineering at Universidad de Chile in 2019 and held a postdoctoral appointment at TU Delft between 2019-2023.<br>\r\n<br>\r\nDr Fielbaum has authored over 35 peer-reviewed journal articles in leading outlets and serves as an Associate Editor for Transportation Research Part B: Methodological,  and the Journal of Intelligent Transportation Systems.<br>\r\n<br>\r\n ","image_description":"","creation_date":"2025-05-15T16:13:27","last_modification_date":"2026-05-13T08:28:12","link_label":"","link_url":"","canceled":"False","cancel_reason":"","place_and_room":"GC B1 10","url_place_and_room":"https://plan.epfl.ch/?room==GC%20B1%2010","url_online_room":"","spoken_languages":["https://memento.epfl.ch/api/v1/spoken_languages/2/?format=json"],"speaker":"Dr Andrés Fielbaum","organizer":"HOMES - Prof. Kenan Zhang","contact":"Prof. Kenan Zhang<br>\r\nAdministrative: Mélanie Thuillard","is_internal":"False","theme":"","vulgarization":{"id":2,"fr_label":"Public averti","en_label":"Informed public"},"registration":{"id":3,"fr_label":"Entrée libre","en_label":"Free"},"keywords":"","file":null,"icalendar_url":"https://memento.epfl.ch/event/export/116691/","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/4/?format=json","https://memento.epfl.ch/api/v1/mementos/6/?format=json","https://memento.epfl.ch/api/v1/mementos/8/?format=json","https://memento.epfl.ch/api/v1/mementos/27/?format=json","https://memento.epfl.ch/api/v1/mementos/433/?format=json"]},{"id":71819,"title":"Be Seen and Heard - Seminar and Workshop","slug":"be-seen-and-heard-seminar-and-workshop","event_url":"https://memento.epfl.ch/event/be-seen-and-heard-seminar-and-workshop","visual_url":"https://memento.epfl.ch/image/33142/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/33142/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/33142/max-size.jpg","lang":"en","start_date":"2026-06-10","end_date":"2026-06-10","start_time":"12:00:00","end_time":"17:15:00","description":"<p>The BIOP and SV Communications teams invite you to a <strong>Seminar </strong>and an afternoon of <strong>hands-on</strong> sessions on best practices and tools for communicating your data.<br>\r\n<br>\r\n<u><strong>Program</strong></u><br>\r\n<br>\r\n<strong>12:00 - 13:15 - Seminar</strong>\r\n</p><ul>\r\n\t<li>Introductory talk - <em>Arne Seitz</em></li>\r\n\t<li>EPFL Standard guidelines - <em>Eva Schier &amp; Laurence Mauro</em></li>\r\n\t<li>How to create impactful and effective posters - <em>Eva Schier &amp; Laurence Mauro</em></li>\r\n</ul>\r\n<strong>13:30 - 17:15 - Workshop </strong>(limited to 30 participants)\r\n\r\n<ul>\r\n\t<li>Image Ethics &amp;  Quarep’s checklist - <em>Arne Seitz</em></li>\r\n\t<li>Make use of OMERO to augment your figure with interactive content - <em>Rémy Dornier</em></li>\r\n\t<li>How to create 3D rendered data, make videos and publish them on mediaspace - <em>Romain Guiet</em></li>\r\n\t<li>Make use of story telling to make your talk more engaging - <em>Anjalie Schlaeppi</em></li>\r\n</ul>\r\n<br>\r\nCome and learn to make the best of your data!<br>\r\n<br>\r\n<a href=\"https://forms.gle/6LkaftTrDQpFdchY9\">Free - registration mandatory</a> <em>You can register for the seminar only, the afternoon workshops only, or the full program.</em>","image_description":"","creation_date":"2026-05-06T15:36:11","last_modification_date":"2026-05-12T17:06:56","link_label":"Registration","link_url":"https://forms.gle/6LkaftTrDQpFdchY9","canceled":"False","cancel_reason":"","place_and_room":"AI 1153","url_place_and_room":"https://plan.epfl.ch/?room==AI%201153","url_online_room":"","spoken_languages":["https://memento.epfl.ch/api/v1/spoken_languages/2/?format=json"],"speaker":"BIOP &amp; SV Communications Teams","organizer":"BIOP &amp; SV Communications Teams","contact":"communicationsv@epfl.ch","is_internal":"True","theme":"","vulgarization":{"id":2,"fr_label":"Public averti","en_label":"Informed public"},"registration":{"id":1,"fr_label":"Sur inscription","en_label":"Registration required"},"keywords":"","file":null,"icalendar_url":"https://memento.epfl.ch/event/export/120680/","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/8/?format=json","https://memento.epfl.ch/api/v1/mementos/9/?format=json","https://memento.epfl.ch/api/v1/mementos/26/?format=json","https://memento.epfl.ch/api/v1/mementos/111/?format=json","https://memento.epfl.ch/api/v1/mementos/284/?format=json","https://memento.epfl.ch/api/v1/mementos/412/?format=json"]},{"id":71852,"title":"Engineered DCs reprogram the TME to unleash immunotherapy and CAR-T efficacy in lung cancer models","slug":"engineered-dcs-reprogram-the-tme-to-unleash-immuno","event_url":"https://memento.epfl.ch/event/engineered-dcs-reprogram-the-tme-to-unleash-immuno","visual_url":"https://memento.epfl.ch/image/33170/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/33170/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/33170/max-size.jpg","lang":"en","start_date":"2026-06-12","end_date":"2026-06-12","start_time":"17:00:00","end_time":null,"description":"<p>Thesis Director: Prof. M. De Palma,<br>\r\nMolecular Life Sciences doctoral program<br>\r\nThesis Nr. 11572<br>\r\n<br>\r\nTo take part in the public defense, please contact directly the speaker</p>","image_description":"","creation_date":"2026-05-12T14:59:02","last_modification_date":"2026-05-12T14:59:02","link_label":"","link_url":"","canceled":"False","cancel_reason":"","place_and_room":"Auditoire Paternot, AGORA, Rue du Bugnon 25A, 1011 Lausanne","url_place_and_room":"","url_online_room":"","spoken_languages":[],"speaker":"<strong>Luqing LI</strong>","organizer":"","contact":"<strong>Luqing LI</strong>","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":"EDMS","file":null,"icalendar_url":"https://memento.epfl.ch/event/export/120724/","category":{"id":12,"code":"SOUTE","fr_label":"Soutenances de thèses","en_label":"Thesis defenses","activated":true},"academic_calendar_category":null,"domains":[],"mementos":["https://memento.epfl.ch/api/v1/mementos/1/?format=json","https://memento.epfl.ch/api/v1/mementos/9/?format=json","https://memento.epfl.ch/api/v1/mementos/6/?format=json"]},{"id":71650,"title":"Approximation Complexity of QMA-hard Optimization Problems","slug":"approximation-complexity-of-qma-hard-optimization","event_url":"https://memento.epfl.ch/event/approximation-complexity-of-qma-hard-optimization","visual_url":"https://memento.epfl.ch/image/32975/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/32975/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/32975/max-size.jpg","lang":"en","start_date":"2026-06-16","end_date":"2026-06-16","start_time":"16:00:00","end_time":"18:00:00","description":"<u>EDIC candidacy exam</u><br>\r\nExam president: Prof. Nicolas Macris<br>\r\nThesis advisor: Prof. Thomas Vidick<br>\r\nCo-examiner: Prof. Yihui Quek<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<ul>\r\n\t<li>Relations between average case complexity and approximation complexity (<a href=\"https://dl.acm.org/doi/abs/10.1145/509907.509985\">https://dl.acm.org/doi/abs/10.1145/509907.509985</a>)</li>\r\n\t<li>Efficient algorithm for a quantum analogue of 2-SAT (<a href=\"https://arxiv.org/abs/quant-ph/0602108\">https://arxiv.org/abs/quant-ph/0602108</a>) </li>\r\n\t<li>An Approximation Algorithm for the MAX-2-Local Hamiltonian Problem (<a href=\"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.APPROX/RANDOM.2020.59\">https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.APPROX/RANDOM.2020.59</a>)</li>\r\n</ul>","image_description":"","creation_date":"2026-04-20T21:24:26","last_modification_date":"2026-05-12T13:33:58","link_label":"","link_url":"","canceled":"False","cancel_reason":"","place_and_room":"BC 129","url_place_and_room":"https://plan.epfl.ch/?room==BC%20129","url_online_room":"","spoken_languages":[],"speaker":"Petra Arabadjieva ","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/120447/","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=json","https://memento.epfl.ch/api/v1/mementos/27/?format=json","https://memento.epfl.ch/api/v1/mementos/48/?format=json"]},{"id":71849,"title":"Decentralized by Design: Efficient, Trustworthy, and Scalable Collaborative AI","slug":"decentralized-by-design-efficient-trustworthy-an-2","event_url":"https://memento.epfl.ch/event/decentralized-by-design-efficient-trustworthy-an-2","visual_url":"https://memento.epfl.ch/image/33168/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/33168/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/33168/max-size.jpg","lang":"en","start_date":"2026-09-03","end_date":"2026-09-03","start_time":"17:00:00","end_time":null,"description":"<p>Thesis Director: Prof. A.-M. Kermarrec,<br>\r\nComputer and Communication Sciences doctoral program<br>\r\nThesis Nr. 11369<br>\r\n<br>\r\nTo take part in the public defense, please contact directly the speaker</p>","image_description":"","creation_date":"2026-05-12T12:10:37","last_modification_date":"2026-05-12T12:10:40","link_label":"","link_url":"","canceled":"False","cancel_reason":"","place_and_room":"BC 420","url_place_and_room":"https://plan.epfl.ch/?room==BC%20420","url_online_room":"https://epfl.zoom.us/j/3943366819?pwd=MlZGcXc3WStpY3Uya2JZM0M0eUV4UT09&omn=66236027926","spoken_languages":[],"speaker":"<a href=\"mailto:rishi.sharma@epfl.ch\"><strong>Rishi SHARMA</strong></a>","organizer":"","contact":"<a href=\"mailto:rishi.sharma@epfl.ch\"><strong>Rishi SHARMA</strong></a><br>\r\n ","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","file":null,"icalendar_url":"https://memento.epfl.ch/event/export/120721/","category":{"id":12,"code":"SOUTE","fr_label":"Soutenances de thèses","en_label":"Thesis defenses","activated":true},"academic_calendar_category":null,"domains":[],"mementos":["https://memento.epfl.ch/api/v1/mementos/1/?format=json","https://memento.epfl.ch/api/v1/mementos/6/?format=json","https://memento.epfl.ch/api/v1/mementos/27/?format=json"]},{"id":71846,"title":"Reprogramming Tumor-Infiltrating Exhausted CD8+ T Cells for Enhanced and Durable Antitumor Immunity","slug":"reprogramming-tumor-infiltrating-exhausted-cd8-t-2","event_url":"https://memento.epfl.ch/event/reprogramming-tumor-infiltrating-exhausted-cd8-t-2","visual_url":"https://memento.epfl.ch/image/33165/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/33165/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/33165/max-size.jpg","lang":"en","start_date":"2026-06-19","end_date":"2026-06-19","start_time":"16:00:00","end_time":null,"description":"<p>Thesis Director: Prof. L. Tang,<br>\r\nMolecular Life Sciences doctoral program<br>\r\nThesis Nr. 10996<br>\r\n<br>\r\nTo take part in the public defense, please contact directly the speaker</p>","image_description":"","creation_date":"2026-05-11T17:17:21","last_modification_date":"2026-05-11T17:17:23","link_label":"","link_url":"","canceled":"False","cancel_reason":"","place_and_room":"MED 0 1618","url_place_and_room":"https://plan.epfl.ch/?room==MED%200%201618","url_online_room":"https://epfl.zoom.us/j/4493736015?omn=68160212356","spoken_languages":[],"speaker":"<strong>Rongrong LI</strong>","organizer":"","contact":"<strong>Rongrong LI</strong>","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":"EDMS","file":null,"icalendar_url":"https://memento.epfl.ch/event/export/120716/","category":{"id":12,"code":"SOUTE","fr_label":"Soutenances de thèses","en_label":"Thesis defenses","activated":true},"academic_calendar_category":null,"domains":[],"mementos":["https://memento.epfl.ch/api/v1/mementos/1/?format=json","https://memento.epfl.ch/api/v1/mementos/6/?format=json","https://memento.epfl.ch/api/v1/mementos/9/?format=json"]},{"id":71752,"title":"Idiap Create Challenge (ICC), 15th edition","slug":"idiap-create-challenge-icc-15th-edition","event_url":"https://memento.epfl.ch/event/idiap-create-challenge-icc-15th-edition","visual_url":"https://memento.epfl.ch/image/33083/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/33083/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/33083/max-size.jpg","lang":"en","start_date":"2026-08-20","end_date":"2026-08-28","start_time":null,"end_time":null,"description":"<div class=\"AutoHeight\">\r\n<div>\r\n<div class=\"post-message post-message--collapsed\">\r\n<div class=\"post-message__text-container\">\r\n<div class=\"post-message__text\">A <strong>9-day AI hackathon</strong> blending learning, innovation, coding, and entrepreneurship. During the 9 days, selected teams will work on-site on their prototypes and get access to dedicated mentorship from Idiap's R&amp;D and AI experts, networking opportunities, speaker sessions and more.<br>\r\n<br>\r\n<strong>This year</strong>, the challenge focuses on the <strong>creative and cultural industries</strong>. Participants are invited to submit projects that <strong>explore new uses, services, or experiences</strong> across nine areas: performing arts and live entertainment, radio and music, fashion, books and publishing, television and film, news and media, architecture and urban planning, the art market, and cultural heritage.<br>\r\nThe event will take place at <strong><a class=\"theme markdown__link\" href=\"https://www.idiap.ch/\" rel=\"noreferrer\" target=\"_blank\">Idiap</a></strong> in <strong>Martigny</strong>, from August 20 until August 28, 2026. Registrations are open until May 31, 2026.<br>\r\n<strong>Full details and registration:</strong> <a class=\"theme markdown__link\" href=\"https://icc.idiap.ch\" rel=\"noreferrer\" target=\"_blank\" title=\"https://icc.idiap.ch\">https://icc.idiap.ch</a></div>\r\n</div>\r\n</div>\r\n</div>\r\n</div>","image_description":"ICC Idiap Create Challenge 2026","creation_date":"2026-04-29T09:47:38","last_modification_date":"2026-05-11T15:38:32","link_label":"Idiap Create Challenge (ICC)","link_url":"https://icc.idiap.ch","canceled":"False","cancel_reason":"","place_and_room":"","url_place_and_room":"","url_online_room":"","spoken_languages":["https://memento.epfl.ch/api/v1/spoken_languages/2/?format=json"],"speaker":"","organizer":"Idiap Research Institute","contact":"<a href=\"mailto:icc@idiap.ch\">icc@idiap.ch</a>","is_internal":"False","theme":"","vulgarization":{"id":1,"fr_label":"Tout public","en_label":"General public"},"registration":{"id":1,"fr_label":"Sur inscription","en_label":"Registration required"},"keywords":"AI,hackathon,ideas,prototypes,start-up,entrepreneurship,innovation,machine learning,coding","file":null,"icalendar_url":"https://memento.epfl.ch/event/export/120584/","category":{"id":19,"code":"PUBLICSCIENCE","fr_label":"Evènements scientifiques grand public","en_label":"Public Science Events","activated":true},"academic_calendar_category":null,"domains":[],"mementos":["https://memento.epfl.ch/api/v1/mementos/1/?format=json","https://memento.epfl.ch/api/v1/mementos/6/?format=json","https://memento.epfl.ch/api/v1/mementos/8/?format=json","https://memento.epfl.ch/api/v1/mementos/9/?format=json","https://memento.epfl.ch/api/v1/mementos/27/?format=json","https://memento.epfl.ch/api/v1/mementos/110/?format=json","https://memento.epfl.ch/api/v1/mementos/145/?format=json","https://memento.epfl.ch/api/v1/mementos/264/?format=json","https://memento.epfl.ch/api/v1/mementos/416/?format=json","https://memento.epfl.ch/api/v1/mementos/417/?format=json"]},{"id":71838,"title":"Composable Performance Interfaces with Controlled Resolution","slug":"composable-performance-interfaces-with-controlled","event_url":"https://memento.epfl.ch/event/composable-performance-interfaces-with-controlled","visual_url":"https://memento.epfl.ch/image/33158/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/33158/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/33158/max-size.jpg","lang":"en","start_date":"2026-06-26","end_date":"2026-06-26","start_time":"11:15:00","end_time":"13:15:00","description":"<u>EDIC candidacy exam</u><br>\r\nExam president: Prof. Nate Foster<br>\r\nThesis advisor: Prof. George Candea<br>\r\nCo-examiner: Prof. Rachid Guerraoui<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-05-08T16:49:17","last_modification_date":"2026-05-08T16:49:17","link_label":"","link_url":"","canceled":"False","cancel_reason":"","place_and_room":"INN 326","url_place_and_room":"https://plan.epfl.ch/?room==INN%20326","url_online_room":"","spoken_languages":[],"speaker":"Alexandre Piveteau","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/120704/","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=json","https://memento.epfl.ch/api/v1/mementos/6/?format=json","https://memento.epfl.ch/api/v1/mementos/27/?format=json"]},{"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":"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/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=json","https://memento.epfl.ch/api/v1/mementos/27/?format=json","https://memento.epfl.ch/api/v1/mementos/48/?format=json"]},{"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":"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/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/48/?format=json","https://memento.epfl.ch/api/v1/mementos/6/?format=json","https://memento.epfl.ch/api/v1/mementos/27/?format=json"]}]}