{"count":227,"next":"https://memento.epfl.ch/api/v1/events/?format=json&limit=10&offset=110&ordering=event__id","previous":"https://memento.epfl.ch/api/v1/events/?format=json&limit=10&offset=90&ordering=event__id","results":[{"id":71801,"title":"Single-cell Imaging of Microbial Communities across Different Spatial and Temporal Scales","slug":"single-cell-imaging-of-microbial-communities-acros","event_url":"https://memento.epfl.ch/event/single-cell-imaging-of-microbial-communities-acros","visual_url":null,"visual_large_url":null,"visual_maxsize_url":null,"lang":"en","start_date":"2026-06-12","end_date":"2026-06-12","start_time":"13:00:00","end_time":"14:00:00","description":"BIOENGINEERING SEMINAR
\r\n
\r\nBiofilm is an important lifestyle of bacteria where bacterial cells collectively form surface-associated aggregates embedded in a polymeric matrix they secrete. Important in industry and medicine, biofilms also represent a unique form of growing active matter with unique physical and material properties. In this talk, I will highlight our recent work on developing a platform for imaging live, growing biofilm at single-cell resolution, using Vibrio cholerae as the model organism. I will show how bacterial cells physically communicate with each other and the environment to form ordered architecture reminiscent of  liquid crystals. Moreover, I will talk about our recent discovery that heterogeneity in gene expression leads to unexpected pattern formation in biofilm through a drag-based sorting mechanism. I will also highlight ongoing research in the lab on extending the imaging capability to more natural environments including marine animal hosts. I will end by showing our recent findings on the mechanical properties of the extracellular matrix that underlie the architecture of the biofilm.","image_description":"","creation_date":"2026-05-05T13:16:32","last_modification_date":"2026-06-05T10:13:57","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":"","spoken_languages":["https://memento.epfl.ch/api/v1/spoken_languages/2/?format=json"],"speaker":"Professor Jing Yan, Assistant Professor, Molecular, Cellular and Developmental Biology, Yale University","organizer":"Professor Alexandre Persat","contact":"elke.holderbeke@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/120654/","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/9/?format=json","https://memento.epfl.ch/api/v1/mementos/111/?format=json","https://memento.epfl.ch/api/v1/mementos/5/?format=json","https://memento.epfl.ch/api/v1/mementos/8/?format=json"]},{"id":71803,"title":"Coding Club for Girls in Basel","slug":"coding-club-for-girls-in-basel-9","event_url":"https://memento.epfl.ch/event/coding-club-for-girls-in-basel-9","visual_url":"https://memento.epfl.ch/image/33172/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/33172/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/33172/max-size.jpg","lang":"en","start_date":"2026-10-31","end_date":"2026-11-21","start_time":"09:30:00","end_time":"16:00:00","description":"

Eine App programmieren? Ein Computerspiel erfinden? Eine Animation gestalten?
\r\nWenn dich eines dieser Dinge interessiert, bist du hier am richtigen Ort! Tausche und teile deine Ideen, lerne zu programmieren und entdecke Informatikberufe.
\r\n
\r\nDie Coding Club for Girls Workshops sind für Mädchen im Alter von 11 bis 15 Jahren und die Teilnahme ist kostenlos. Ab der Teilnahme an vier Workshops pro Jahr wird eine Teilnahmebestätigung ausgehändigt. 
\r\n
\r\nOrt: Wird später bestätigt
\r\n
\r\nDatum und Zeit:
\r\n31. Oktober 2026 : 09:30 bis 12:00 oder 13:30 bis 16:00 Uhr  //  GameDesing
\r\n07. Oktober 2026 : 09:30 bis 12:00 oder 13:30 bis 16:00 Uhr  // Pixe Art
\r\n14. November 2026 : 09:30 bis 12:00 oder 13:30 bis 16:00 Uhr  //  Scratch-me
\r\n21. November 2026 : 09:30 bis 12:00 oder 13:30 bis 16:00 Uhr  //  Schildkröte in Python
\r\nDie Inhalte der Workshops sind untenstehend beschrieben.
\r\n
\r\nBedingungen\r\n

\r\nWorkshops:
\r\nGameDesign - Samstag, 31. Oktober 2026
\r\nErlebe neue Abenteuer mit unserem Lieblingskater! Egal ob du Anfängerin oder bereits Scratch-Expertin bist, es warten neuen Aufgaben auf dich! 
\r\n
\r\nPixel Art - Samstag, 07. November 2026
\r\nEntdecke zwei neue Programmiersprachen, JavaScript und HTML, indem du deine eigenen pixelisierten Kunstwerke gestaltest. Du wirst mit deinem Zeichenprogramm auch ein Rätselspiel für zwei Spielerinnen entwickeln.
\r\n
\r\nScratch-me - Samstag, 14. November 2026
\r\nEinführung in die Programmierlogik mit der Konzeption von Animationen, Spielen und vieles mehr! Codieren ist wie eine neue Sprache lernen. Worte zu kennen bedeutet nicht unbedingt, die Sprache zu beherrschen. Man muss die Worte auch in der richtigen Reihenfolge platzieren können. Bei diesem Workshop lernt ihr Scratch, eine vereinfachte Programmiersprache, die sich in der Form von Blöcken präsentiert, die man richtig zusammenstellen muss.
\r\n
\r\nSchildkröte in Python - Samstag, 21. November 2026
\r\nEinführung in die Programmierlogik mit der Konzeption von Animationen, Spielen und vieles mehr! Codieren ist wie eine neue Sprache lernen. Worte zu kennen bedeutet nicht unbedingt, die Sprache zu beherrschen. Man muss die Worte auch in der richtigen Reihenfolge platzieren können. Bei diesem Workshop lernt ihr Scratch, eine vereinfachte Programmiersprache, die sich in der Form von Blöcken präsentiert, die man richtig zusammenstellen muss.
\r\n
\r\nAnmeldung
\r\n ","image_description":"","creation_date":"2026-05-05T13:26:11","last_modification_date":"2026-06-01T11:26:21","link_label":"Anmeldung","link_url":"https://forms.gle/RmtySRRtMtQrZRcMA","canceled":"False","cancel_reason":"","place_and_room":"Wird später bestätigt","url_place_and_room":"","url_online_room":"","spoken_languages":["https://memento.epfl.ch/api/v1/spoken_languages/3/?format=json"],"speaker":"","organizer":"Abteilung für Wissenschaftsförderung (SPS) der EPFL ","contact":"basel.codingclub@epfl.ch ","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":"Coding Club for Girls, Deutsch, SPS, Jugendliche, Basel, BS","file":null,"icalendar_url":"https://memento.epfl.ch/event/export/120656/","category":{"id":18,"code":"YOUTHSCIENCE","fr_label":"Activités scientifiques pour les jeunes","en_label":"Sciences Activities for Youth","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/170/?format=json","https://memento.epfl.ch/api/v1/mementos/6/?format=json","https://memento.epfl.ch/api/v1/mementos/27/?format=json"]},{"id":71804,"title":"Coding Club for Girls in Luzern","slug":"coding-club-for-girls-in-luzern-16","event_url":"https://memento.epfl.ch/event/coding-club-for-girls-in-luzern-16","visual_url":"https://memento.epfl.ch/image/33175/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/33175/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/33175/max-size.jpg","lang":"en","start_date":"2026-11-14","end_date":"2026-11-28","start_time":"09:30:00","end_time":"16:00:00","description":"

Eine App programmieren? Ein Computerspiel erfinden? Eine Animation gestalten?
\r\nWenn dich eines dieser Dinge interessiert, bist du hier am richtigen Ort! Tausche und teile deine Ideen, lerne zu programmieren und entdecke Informatikberufe.
\r\n
\r\nDie Coding Club for Girls Workshops sind für Mädchen im Alter von 11 bis 15 Jahren und die Teilnahme ist kostenlos. Ab der Teilnahme an vier Workshops pro Jahr wird eine Teilnahmebestätigung ausgehändigt. 
\r\n
\r\nOrt:  Kantonschule Musegg, Luzern
\r\n
\r\nDatum und Zeit:
\r\n14. November 2026 : 09:30 bis 12:00 oder 13:30 bis 16:00 Uhr  // Hello 3D World
\r\n28. November 2026 : 09:30 bis 12:00 oder 13:30 bis 16:00 Uhr  // Webdesignerin
\r\n
\r\nDie Inhalte der Workshops sind untenstehend beschrieben.
\r\n
\r\nBedingungen\r\n

\r\nWorkshops:
\r\nHello 3D World - 14. November 2026
\r\nWie denkst du wurden die Figuren und Kulissen in den Filmen Shrek, Cars, Ice Age oder Kung Fu Panda gestaltet? Beim Entwerfen und Animieren von 3D-Objekten kannst Du wie im richtigen Animationsstudio gleichzeitig in die Rolle einer Künstlerin und einer Informatikerin schlüpfen. Du wirst dreidimensionale Objekte rund um das Thema Wald gestalten und in einem zweiten Schritt deiner Fantasie freien Lauf lassen und deine eigenen 3D-Objekte entwerfen!
\r\n
\r\nWebdesignerin - 28. November 2026
\r\nEntdecke den Hintergrund einer Webseite und entwerfe deine eigene von A bis Z mit derselben Sprache wie die Profis! An diesem Workshop wirst du mit HTML vertraut und wirst verstehen, wie Webseiten gestaltet wurden und wie weit du selbst gehen kannst.
\r\n
\r\nAnmeldung
\r\n ","image_description":"","creation_date":"2026-05-05T13:33:02","last_modification_date":"2026-05-19T09:35:22","link_label":"Anmeldung","link_url":"https://forms.gle/ccrAC4MTpoEuBsqX8","canceled":"False","cancel_reason":"","place_and_room":"Kantonschule Musegg, Museggstrasse 22, Luzern","url_place_and_room":"https://ksmusegg.lu.ch/","url_online_room":"","spoken_languages":["https://memento.epfl.ch/api/v1/spoken_languages/3/?format=json"],"speaker":"","organizer":"Abteilung für Wissenschaftsförderung (SPS) der EPFL ","contact":"codingclub@epfl.ch","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":"Coding Club for Girls, Deutsch, SPS, Jugendliche, Luzern, LU","file":null,"icalendar_url":"https://memento.epfl.ch/event/export/120657/","category":{"id":18,"code":"YOUTHSCIENCE","fr_label":"Activités scientifiques pour les jeunes","en_label":"Sciences Activities for Youth","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/170/?format=json","https://memento.epfl.ch/api/v1/mementos/6/?format=json","https://memento.epfl.ch/api/v1/mementos/27/?format=json"]},{"id":71805,"title":"Coding Club for Girls in St. Gallen","slug":"coding-club-for-girls-in-st-gallen-8","event_url":"https://memento.epfl.ch/event/coding-club-for-girls-in-st-gallen-8","visual_url":"https://memento.epfl.ch/image/33173/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/33173/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/33173/max-size.jpg","lang":"en","start_date":"2026-11-18","end_date":"2026-11-25","start_time":"13:30:00","end_time":"16:00:00","description":"

Eine App programmieren? Ein Computerspiel erfinden? Eine Animation gestalten?
\r\nWenn dich eines dieser Dinge interessiert, bist du hier am richtigen Ort! Tausche und teile deine Ideen, lerne zu programmieren und entdecke Informatikberufe.
\r\n
\r\nDie Coding Club for Girls Workshops sind für Mädchen im Alter von 11 bis 15 Jahren und die Teilnahme ist kostenlos. Ab der Teilnahme an vier Workshops pro Jahr wird eine Teilnahmebestätigung ausgehändigt. 
\r\n
\r\nOrt:  Smartfeld, St. Gallen
\r\n
\r\nDatum und Zeit:
\r\nMittwoch, 18. November 2026: 13:30 bis 16:00 Uhr  // Hello 3D World
\r\nMittwoch, 25. November 2026 : 13:30 bis 16:00 Uhr  // Webdesignerin
\r\n
\r\nDie Inhalte der Workshops sind untenstehend beschrieben.
\r\n
\r\nBedingungen\r\n

\r\nWorkshops:
\r\nHello 3D World - Mittwoch, 18. November 2026
\r\nWie denkst du wurden die Figuren und Kulissen in den Filmen Shrek, Cars, Ice Age oder Kung Fu Panda gestaltet? Beim Entwerfen und Animieren von 3D-Objekten kannst Du wie im richtigen Animationsstudio gleichzeitig in die Rolle einer Künstlerin und einer Informatikerin schlüpfen. Du wirst dreidimensionale Objekte rund um das Thema Wald gestalten und in einem zweiten Schritt deiner Fantasie freien Lauf lassen und deine eigenen 3D-Objekte entwerfen!
\r\n
\r\nWebdesignerin - Mittwoch, 25. November 2026
\r\nEntdecke den Hintergrund einer Webseite und entwerfe deine eigene von A bis Z mit derselben Sprache wie die Profis! An diesem Workshop wirst du mit HTML vertraut und wirst verstehen, wie Webseiten gestaltet wurden und wie weit du selbst gehen kannst.
\r\n
\r\nAnmeldung
\r\n ","image_description":"","creation_date":"2026-05-05T13:35:21","last_modification_date":"2026-05-19T08:53:13","link_label":"Anmeldung","link_url":"https://forms.gle/Bk4vieCLDPepMSL37","canceled":"False","cancel_reason":"","place_and_room":"Smartfeld, St. Gallen","url_place_and_room":"https://www.smartfeld.ch/kontakt/","url_online_room":"","spoken_languages":["https://memento.epfl.ch/api/v1/spoken_languages/3/?format=json"],"speaker":"","organizer":"Abteilung für Wissenschaftsförderung (SPS) der EPFL ","contact":"codingclub@epfl.ch","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":"Coding Club for Girls, Deutsch, SPS, Jugendliche, St. Gallen, SG","file":null,"icalendar_url":"https://memento.epfl.ch/event/export/120659/","category":{"id":18,"code":"YOUTHSCIENCE","fr_label":"Activités scientifiques pour les jeunes","en_label":"Sciences Activities for Youth","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/170/?format=json","https://memento.epfl.ch/api/v1/mementos/6/?format=json","https://memento.epfl.ch/api/v1/mementos/27/?format=json"]},{"id":71809,"title":"SERI – Leading House MENA | Research Partnership Grants 2026","slug":"seri-leading-house-mena-research-partnership-gra-3","event_url":"https://memento.epfl.ch/event/seri-leading-house-mena-research-partnership-gra-3","visual_url":"https://memento.epfl.ch/image/33132/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/33132/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/33132/max-size.jpg","lang":"en","start_date":"2026-06-26","end_date":"2026-06-26","start_time":null,"end_time":null,"description":"Aim:
\r\nThis instrument aims to strengthen collaboration between researchers based in Switzerland and those in partner countries from the MENA region. The program will support either the launch of new joint projects or the consolidation of existing initiatives. Open to all scientific disciplines, the call welcomes a wide range of methods and approaches: field research, feasibility studies, qualitative interviews, artistic or design-based research, etc.
\r\n
\r\nAmount :  Max. CHF 25,000 per project
\r\nDeadline :  23.06.2026
\r\nDuration :  up to 12 months
\r\nEligibility criteria
\r\nApplicants must hold a position (permanent or lasting until the end of the project) in an eligible institution and demonstrate at least three years of research or relevant professional experience. What it meant by eligible institutions: \r\n\r\n
\r\nFurther information\r\n\r\n\r\n\r\n\r\n\r\n","image_description":"","creation_date":"2026-05-05T17:28:59","last_modification_date":"2026-05-05T17:28:59","link_label":"","link_url":"","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":"","contact":"Research Office","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":"","file":null,"icalendar_url":"https://memento.epfl.ch/event/export/120665/","category":{"id":16,"code":"PROP","fr_label":"Appel à proposition","en_label":"Call for proposal","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/4/?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/9/?format=json","https://memento.epfl.ch/api/v1/mementos/27/?format=json","https://memento.epfl.ch/api/v1/mementos/140/?format=json"]},{"id":71816,"title":"Sources and chemical composition of natural and anthropogenic aerosols in the central Arctic","slug":"sources-and-chemical-composition-of-natural-and--2","event_url":"https://memento.epfl.ch/event/sources-and-chemical-composition-of-natural-and--2","visual_url":"https://memento.epfl.ch/image/33139/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/33139/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/33139/max-size.jpg","lang":"en","start_date":"2026-07-31","end_date":"2026-07-31","start_time":null,"end_time":null,"description":"

Thesis Director: Prof. J. Schmale,
\r\nCivil and Environmental Engineering doctoral program
\r\nThesis Nr. 11505
\r\n
\r\nTo take part in the public defense, please contact directly the speaker

","image_description":"","creation_date":"2026-05-06T14:41:54","last_modification_date":"2026-05-06T14:41:56","link_label":"","link_url":"","canceled":"False","cancel_reason":"","place_and_room":"ALP 1 109","url_place_and_room":"https://plan.epfl.ch/?room==ALP%201%20109","url_online_room":"https://epfl.zoom.us/j/67783245274?pwd=pGLMzt3z4pLTq4PW0vLkWbE4ZI3F6v.1","spoken_languages":[],"speaker":"Benjamin Jérémy Laurent HEUTTE","organizer":"","contact":"Benjamin Jérémy Laurent HEUTTE","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":"EDCE","file":null,"icalendar_url":"https://memento.epfl.ch/event/export/120676/","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/4/?format=json","https://memento.epfl.ch/api/v1/mementos/6/?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":"EDIC candidacy exam
\r\nExam president: Prof. Anne-Marie Kermarrec
\r\nThesis advisor: Prof. Mathias Payer
\r\nCo-examiner: Prof. Thomas Bourgeat
\r\n
\r\nAbstract
\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. 
\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.
\r\nGoing forward, my research will continue to focus on the intersection of operating systems and programming languages.
\r\n
\r\nSelected papers
\r\nPaper 1: SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques [OSDI'06]\r\n\r\nPaper 2: RedLeaf: Isolation and Communication in a Safe Operating System [OSDI'20]\r\n\r\n\r\nPaper 3: Building Bridges: Safe Interactions with Foreign Languages through Omniglot [OSDI'25]\r\n\r\n","image_description":"","creation_date":"2026-05-08T11:09:55","last_modification_date":"2026-05-29T14:58:49","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/48/?format=json","https://memento.epfl.ch/api/v1/mementos/6/?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":"EDIC candidacy exam
\r\nExam president: Prof. Katerina Argyraki
\r\nThesis advisor: Prof. Mathias Payer
\r\nCo-examiner: Prof. Thomas Bourgeat
\r\n
\r\nAbstract
\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.
\r\n
\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.
\r\n
\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.
\r\n
\r\nSelected papers
\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"]},{"id":71836,"title":"Nanoscale analysis of membrane proteins in native milieu","slug":"nanoscale-analysis-of-membrane-proteins-in-nativ-2","event_url":"https://memento.epfl.ch/event/nanoscale-analysis-of-membrane-proteins-in-nativ-2","visual_url":"https://memento.epfl.ch/image/33156/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/33156/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/33156/max-size.jpg","lang":"en","start_date":"2026-07-07","end_date":"2026-07-07","start_time":"15:00:00","end_time":"16:00:00","description":"BIOENGINEERING SEMINAR
\r\n
\r\nAbstract:
\r\nIn this seminar, Moitrayee Bhattacharyya will present her lab’s work on developing experimental platforms to resolve the molecular and functional organization of membrane proteins in their native environments and applying these tools to study membrane proteins that regulate neuronal signaling and neurodegeneration, chronic pain, and cancer. High-resolution quantitative measurements of the oligomeric organization of membrane proteins in native membranes, and how they change under different conditions, are indispensable for understanding membrane protein biology. Her lab reported a single-molecule technique, Native-nanoBleach, to determine the oligomeric distribution of membrane proteins from native membranes at ~10 nm spatial resolution and at endogenous levels of expression. They applied Native-nanoBleach to quantify the oligomerization status of structurally and functionally diverse membrane proteins. Her team has now extended this general technique to organellar membrane proteins and membrane contact sites in the context of neurodegeneration and rare developmental diseases. This general experimental pipeline will usher in a new era of studying membrane protein organization in their native membrane environments under various physiological and clinical conditions.
\r\n \r\n
Bio:
\r\nMoitrayee Bhattacharyya received her Ph.D. in Computational Biophysics at the Indian Institute of Science, Bangalore, where she used molecular dynamics simulations and network theory to study allosteric communication in protein complexes. She transitioned into experimental biology during her postdoctoral studies at the University of California, Berkeley, as a Human Frontiers Science Program Long Term Fellow. Here, she used structural biology and single-molecule microscopy to study the molecular mechanism of regulation in a calcium/calmodulin-dependent protein kinase that is critical for learning and memory. She started her lab at Yale University in the summer of 2020. One focus is to develop broad-impact technological platforms that enable high-resolution studies of membrane proteins in native membranes, in her lab and beyond. Her lab also applies these technologies in conjunction with established biophysical and structural methods to understand the molecular mechanisms of membrane-localized signaling in chronic pain and neurodegenerative diseases.
","image_description":"","creation_date":"2026-05-08T14:43:44","last_modification_date":"2026-06-01T11:16:37","link_label":"","link_url":"https://medicine.yale.edu/profile/moitrayee-bhattacharyya/","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/69374409365?pwd=qEF2fOu7AuH3ND5LAoRLrPX5bzoVYo.1","spoken_languages":["https://memento.epfl.ch/api/v1/spoken_languages/2/?format=json"],"speaker":"Moitrayee Bhattacharyya, Ph.D., Department of Pharmacology, Yale University School of Medicine  ","organizer":"Prof. Florian Schueder, Schueder Lab – Molecular Spatial Omics","contact":"Prof. Florian Schueder","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/120702/","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/5/?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/111/?format=json","https://memento.epfl.ch/api/v1/mementos/6/?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":"EDIC candidacy exam
\r\nExam president: Prof. Nate Foster
\r\nThesis advisor: Prof. George Candea
\r\nCo-examiner: Prof. Rachid Guerraoui
\r\n
\r\nAbstract
\r\ncoming soon
\r\n
\r\nSelected papers
\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"]}]}