BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Ensuring least privilege principle through isolation across all th
 e computing stack
DTSTART:20220614T160000
DTEND:20220614T180000
DTSTAMP:20260410T224015Z
UID:1bbdc58b826d74b38b522d45d50a607d1b09fc576ab53e7d4fdfe326
CATEGORIES:Conferences - Seminars
DESCRIPTION:Andrés Sanchez\nEDIC candidacy exam\nExam president: Prof. Ed
 ouard Bugnion\nThesis advisor: Prof. Mathias Payer\nCo-examiner: Prof. Jam
 es Larus\n\nAbstract\nWhen combining different programming models\, their 
 connection requires an interface\, which also should respect the security 
 dimension. The default mixed languages interfaces design lacks from an iso
 lation primitive (e.g.\, FFI between Rust and C) and raises a new question
 : how can we avoid unintended safety violations soundly while preserving t
 he intended in-process memory layout? We ponder how to extend existing com
 partmentalization techniques and methods for the new in-process mutual dis
 trust scenario\, aided by compilation-based program analysis and low-overh
 ead transitions.\n\nBackground papers\n- Cross-Language Attacks (NDSS 2022
 )\, Samuel Mergendahl\, Nathan Burow\, and Hamed Okhravi (llink will come 
 soon)\n- Isolation without taxation: near-zero-cost transitions for WebAss
 embly and SFI (POPL 2022)\, link\n- Ptrsplit: Supporting general pointers 
 in automatic program partitioning (ACM CCS 2017)\, link
LOCATION:BC 333 https://plan.epfl.ch/?room==BC%20333
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR