{"count":203,"next":"https://memento.epfl.ch/api/v1/events/?format=json&limit=10&offset=200&ordering=event__speaker","previous":"https://memento.epfl.ch/api/v1/events/?format=json&limit=10&offset=180&ordering=event__speaker","results":[{"id":71622,"title":"Information Theoretic Methods for Security and Privacy, with Applications to Decentralized Learning","slug":"information-theoretic-methods-for-security-and-p-2","event_url":"https://memento.epfl.ch/event/information-theoretic-methods-for-security-and-p-2","visual_url":"https://memento.epfl.ch/image/32951/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/32951/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/32951/max-size.jpg","lang":"en","start_date":"2026-06-15","end_date":"2026-06-15","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. Yanina Shkel<br>\r\nThesis co-advisor: Prof Rachid Guerraoui<br>\r\nCo-examiner: Prof. Patrick Thiran<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>Rényi Differential Privacy, <a href=\"https://ieeexplore.ieee.org/document/8049725\">ieeexplore.ieee.org/document/8049725 </a></li>\r\n\t<li>Comparing privacy notions for protection against reconstruction attacks in machine learning,<strong> </strong><a href=\"https://arxiv.org/abs/2502.04045\">https://arxiv.org/abs/2502.04045</a></li>\r\n\t<li>Information spreading in stationary Markovian evolving graphs, <a href=\"https://ieeexplore.ieee.org/abstract/document/5160986\">https://ieeexplore.ieee.org/abstract/document/5160986</a></li>\r\n</ul>","image_description":"","creation_date":"2026-04-17T12:29:47","last_modification_date":"2026-04-17T12:29:47","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":"Salim Najib","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/120414/","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":71759,"title":"Exploring new dimensions of the DNA damage response","slug":"exploring-new-dimensions-of-the-dna-damage-respons","event_url":"https://memento.epfl.ch/event/exploring-new-dimensions-of-the-dna-damage-respons","visual_url":"https://memento.epfl.ch/image/33086/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/33086/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/33086/max-size.jpg","lang":"en","start_date":"2026-05-28","end_date":"2026-05-28","start_time":"09:00:00","end_time":"09:45:00","description":"<p>The ELISIR program recruits exceptional young talents directly after their Ph.D. to run a small team of scientists pursuing innovative independent research in the Life Sciences.<br>\r\nFeel free to attend this presentation (in SV 1717 or virtually via the zoom link) !<br>\r\n </p>","image_description":"","creation_date":"2026-04-29T16:37:08","last_modification_date":"2026-04-30T14:39:36","link_label":"","link_url":"","canceled":"False","cancel_reason":"","place_and_room":"SV 1717","url_place_and_room":"https://plan.epfl.ch/?room=%3DSV%201717&dim_floor=1&lang=fr&dim_lang=fr&tree_groups=centres_nevralgiques_grp%2Cmobilite_acces_grp%2Crestauration_et_commerces_grp%2Censeignement%2Cservices_campus_grp%2Cequipements_grp&tree_group_layers_centres_nevralgiques_grp=&tree_group_layers_mobilite_acces_grp=metro&tree_group_layers_restauration_et_commerces_grp=&tree_group_layers_enseignement=guichet_etudiants&tree_group_layers_services_campus_grp=information_epfl&tree_group_layers_equipements_grp=&baselayer_ref=grp_backgrounds&map_x=2532836&map_y=1152453&map_zoom=14","url_online_room":"https://epfl.zoom.us/j/68896362044","spoken_languages":["https://memento.epfl.ch/api/v1/spoken_languages/2/?format=json"],"speaker":"Sarah Moser, Netherlands Cancer Institute (NKI)","organizer":"Pierre Gönczy, ELISIR program committee ","contact":"Pierre Gönczy","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":"Elisir sarah moser gönczy","file":"https://memento.epfl.ch/public/upload/files/Slide1.JPG","icalendar_url":"https://memento.epfl.ch/event/export/120593/","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/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"]},{"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/6/?format=json","https://memento.epfl.ch/api/v1/mementos/27/?format=json","https://memento.epfl.ch/api/v1/mementos/48/?format=json"]},{"id":71848,"title":"9th Sustainable Space Hub Coffee","slug":"9th-sustainable-space-hub-coffee","event_url":"https://memento.epfl.ch/event/9th-sustainable-space-hub-coffee","visual_url":"https://memento.epfl.ch/image/33167/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/33167/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/33167/max-size.jpg","lang":"en","start_date":"2026-06-03","end_date":"2026-06-03","start_time":"12:30:00","end_time":"14:00:00","description":"<p>Join us for the 9th edition of the <a href=\"https://espace.epfl.ch/research/sustainable-space-hub/\" rel=\"noopener\" target=\"_blank\">Sustainable Space Hub</a> (SSH) Coffee, an opportunity to connect with the community and explore the latest developments in space sustainability.<br>\r\n<br>\r\nStephan Hellmich will present the new SSA (Space Situational Awareness) activities: the <strong>NASO</strong> (Extracting Space Object Observations from large Astronomical Data Archives) and <strong>TESSA</strong> (Technologies to Enhance Space Situational Awareness) projects.<br>\r\n<br>\r\nIn collaboration with the University of Bern, the TESSA project continues to advance capabilities in satellite tracking and space object monitoring. Work in 2026 pursues two parallel research tracks: refining 6D pose estimation techniques for the precise determination of object position and orientation in space, and developing adaptive optics solutions for the Zimmerwald Observatory, including the associated algorithms for correcting atmospheric distortion. Together, these efforts contribute to the broader challenge of space situational awareness and safe orbital operations.<br>\r\n<br>\r\nDuring the event, the space semester projects for the fall semester will also be announced.<br>\r\n<strong> </strong><br>\r\n<strong>Provisional schedule</strong><br>\r\n12:30 – Welcome, coffee, cookies &amp; networking<br>\r\n13:00 – Stephan Hellmich will present the new SSA activities: the <strong>NASO</strong> and <strong>TESSA</strong> projects.<br>\r\n13:10 – Presentation of the space semester projects for the fall semester.<br>\r\n13:45 – Q&amp;A and open discussion<br>\r\n<br>\r\nWe look forward to welcoming you for an engaging discussion and informal networking around the latest advances in sustainable space activities.<br>\r\n <br>\r\n<strong>More information</strong><br>\r\nSemester projects: <a href=\"https://espace.epfl.ch/education/student-projects/\" rel=\"noopener\" target=\"_blank\">https://espace.epfl.ch/education/student-projects/</a><br>\r\nPresearch at EPFL Space Center: <a href=\"https://espace.epfl.ch/research/\" rel=\"noopener\" target=\"_blank\">https://espace.epfl.ch/research/</a></p>","image_description":"","creation_date":"2026-05-12T11:53:02","last_modification_date":"2026-05-12T11:53:02","link_label":"9th Sustainable Space Hub Coffee","link_url":"https://espace.epfl.ch/event/9th-sustainable-space-hub-coffee/","canceled":"False","cancel_reason":"","place_and_room":"PPB 019","url_place_and_room":"https://plan.epfl.ch/?room==PPB%20019","url_online_room":"","spoken_languages":["https://memento.epfl.ch/api/v1/spoken_languages/2/?format=json"],"speaker":"Stephan Hellmich","organizer":"<a href=\"https://espace.epfl.ch/research/sustainable-space-hub/\">Sustainable Space Hub</a> / <a href=\"https://space.epfl.ch/\">EPFL Space Center</a>","contact":"<a href=\"https://people.epfl.ch/stephan.hellmich\">Stephan Hellmich</a>","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":"sustainable space hub, coffee, networking, space sustainability","file":null,"icalendar_url":"https://memento.epfl.ch/event/export/120719/","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/1/?format=json","https://memento.epfl.ch/api/v1/mementos/3/?format=json","https://memento.epfl.ch/api/v1/mementos/5/?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/79/?format=json","https://memento.epfl.ch/api/v1/mementos/145/?format=json","https://memento.epfl.ch/api/v1/mementos/179/?format=json"]},{"id":71777,"title":"Zenk & Hess Labs","slug":"zenk-hess-labs","event_url":"https://memento.epfl.ch/event/zenk-hess-labs","visual_url":"https://memento.epfl.ch/image/33099/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/33099/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/33099/max-size.jpg","lang":"en","start_date":"2026-12-16","end_date":"2026-12-16","start_time":"12:15:00","end_time":"13:15:00","description":"<em>Hybrid - By invitation only</em><br>\r\n<br>\r\nZenk Lab: TBC<br>\r\n<br>\r\nTitle:<br>\r\n<br>\r\nHess Lab:  Meg Lane<br>\r\n<br>\r\nTitle: ","image_description":"","creation_date":"2026-05-01T11:11:16","last_modification_date":"2026-05-15T13:10:04","link_label":"","link_url":"","canceled":"False","cancel_reason":"","place_and_room":"SV 1717","url_place_and_room":"","url_online_room":"","spoken_languages":["https://memento.epfl.ch/api/v1/spoken_languages/2/?format=json"],"speaker":"TBD &amp; Joe Griggs","organizer":"SV BMI","contact":"brain_mind@epfl.ch","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/120618/","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/19/?format=json"]},{"id":71256,"title":"Workshop - Detection and Emergence of Complexity : Artificial Life Perspectives","slug":"workshop-detection-and-emergence-of-complexity-a-3","event_url":"https://memento.epfl.ch/event/workshop-detection-and-emergence-of-complexity-a-3","visual_url":"https://memento.epfl.ch/image/32614/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/32614/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/32614/max-size.jpg","lang":"en","start_date":"2026-05-27","end_date":"2026-05-29","start_time":"09:15:00","end_time":"18:00:00","description":"<p>An abundance of systems has been studied as potential models of artificial life: from classical discrete cellular automata, to their randomized versions such as random Boolean networks, continuous systems including neural CAs or Lenia systems, or even simple programming languages. In this workshop, we would like to focus on the fundamental question of how to measure the complexity of such systems and detect emerging patterns within them. The conference will be held at EPFL Bernoulli Center.<br>\r\nMore information : https://www.dem.eco/</p>","image_description":"","creation_date":"2026-02-26T16:24:04","last_modification_date":"2026-02-26T16:30:45","link_label":"","link_url":"https://www.dem.eco/","canceled":"False","cancel_reason":"","place_and_room":"Centre Bernoulli","url_place_and_room":"","url_online_room":"","spoken_languages":["https://memento.epfl.ch/api/v1/spoken_languages/2/?format=json"],"speaker":"Various speakers (from Nof1, Sony Computer Science Lab, Zhaw Universtiy, Google, Harvard, Cross Labs, EPFL, Berkeley)","organizer":"Barbora Hudcova - Vassilis Papadopoulos","contact":"Barbora Hudcova","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":"","file":null,"icalendar_url":"https://memento.epfl.ch/event/export/119907/","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/1/?format=json","https://memento.epfl.ch/api/v1/mementos/6/?format=json"]},{"id":71626,"title":"Persona Formation in LLMs: Pretraining Origins, Alignment Persistence, and Safety Implications","slug":"persona-formation-in-llms-pretraining-origins-alig","event_url":"https://memento.epfl.ch/event/persona-formation-in-llms-pretraining-origins-alig","visual_url":"https://memento.epfl.ch/image/32954/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/32954/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/32954/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. Martin Jaggi<br>\r\nThesis advisor: Prof. Bob West<br>\r\nCo-examiner: Prof. Antoine Bosselut<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>\r\n\t<ul>\r\n\t\t<li>Safety Pretraining: Toward the Next Generation of Safe AI<br>\r\n\t\t(<a href=\"https://arxiv.org/abs/2504.16980\">https://arxiv.org/abs/2504.16980</a>)</li>\r\n\t\t<li>Persona Vectors: Monitoring and Controlling Character Traits in Language Models (<a href=\"https://arxiv.org/abs/2507.21509\">https://arxiv.org/abs/2507.21509</a>)</li>\r\n\t\t<li>The Assistant Axis: Situating and Stabilizing the Default Persona of Language Models (<a href=\"https://arxiv.org/abs/2601.10387v1\">https://arxiv.org/abs/2601.10387v1</a>)</li>\r\n\t</ul>\r\n\t</li>\r\n</ul>","image_description":"","creation_date":"2026-04-17T13:31:08","last_modification_date":"2026-04-20T11:56:35","link_label":"","link_url":"","canceled":"False","cancel_reason":"","place_and_room":"BC 333","url_place_and_room":"https://plan.epfl.ch/?room==BC%20333","url_online_room":"","spoken_languages":[],"speaker":"Viktor Moskvoretskii","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/120418/","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":69448,"title":"Seminar in Finance","slug":"seminar-in-finance-19","event_url":"https://memento.epfl.ch/event/seminar-in-finance-19","visual_url":"https://memento.epfl.ch/image/30959/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/30959/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/30959/max-size.jpg","lang":"en","start_date":"2026-06-19","end_date":"2026-06-19","start_time":"11:00:00","end_time":"12:15:00","description":"","image_description":"","creation_date":"2025-07-07T16:10:33","last_modification_date":"2026-03-19T09:46:44","link_label":"Homepage","link_url":"https://fnce.wharton.upenn.edu/profile/wdou/","canceled":"False","cancel_reason":"","place_and_room":"UNIL, Extranef, room 126","url_place_and_room":"","url_online_room":"","spoken_languages":["https://memento.epfl.ch/api/v1/spoken_languages/2/?format=json"],"speaker":"Winston Dou - University of Pennsylvania","organizer":"","contact":"sophie.cadenakauz@epfl.ch","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/117095/","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/3/?format=json","https://memento.epfl.ch/api/v1/mementos/105/?format=json","https://memento.epfl.ch/api/v1/mementos/112/?format=json","https://memento.epfl.ch/api/v1/mementos/116/?format=json"]},{"id":71764,"title":"Modeling tumor mutation trees for evolution-guided precision oncology","slug":"modeling-tumor-mutation-trees-for-evolution-guided","event_url":"https://memento.epfl.ch/event/modeling-tumor-mutation-trees-for-evolution-guided","visual_url":"https://memento.epfl.ch/image/33089/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/33089/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/33089/max-size.jpg","lang":"en","start_date":"2026-05-28","end_date":"2026-05-28","start_time":"16:00:00","end_time":"16:45:00","description":"<p>The ELISIR program recruits exceptional young talents directly after their Ph.D. to run a small team of scientists pursuing innovative independent research in the Life Sciences.<br>\r\nFeel free to attend this presentation (in SV 1717 or virtually via the zoom link) !</p>","image_description":"","creation_date":"2026-04-30T11:05:09","last_modification_date":"2026-04-30T14:40:21","link_label":"","link_url":"","canceled":"False","cancel_reason":"","place_and_room":"SV 1717","url_place_and_room":"https://plan.epfl.ch/?room==SV%201717","url_online_room":"https://epfl.zoom.us/j/68896362044","spoken_languages":["https://memento.epfl.ch/api/v1/spoken_languages/2/?format=json"],"speaker":"Xiang Ge Luo, ETH Zurich","organizer":"Pierre Gönczy, ELISIR program committee","contact":"Pierre Gönczy","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":"elisir Xiang Ge Luo gönczy","file":"https://memento.epfl.ch/public/upload/files/Elisir2026SVluo.jpg","icalendar_url":"https://memento.epfl.ch/event/export/120600/","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/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"]},{"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":"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/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=json","https://memento.epfl.ch/api/v1/mementos/27/?format=json","https://memento.epfl.ch/api/v1/mementos/48/?format=json"]}]}