SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Fri 20 Nov 2020 09:00 - 09:35 at SPLASH-VI - Slot 2 Chair(s): Matthias Hauswirth

Data confidentiality is critical but cumbersome to ensure. To help in the task, we propose a gradual, value-dependent approach to information flow control targeting a small imperative language similar to existing low-level languages. With a hybrid approach, we seek to lessen the flaws of standalone static and dynamic analyses and heighten their advantages.

Fri 20 Nov

Displayed time zone: Central Time (US & Canada) change