3 papers
cs.DC2021
Meta-level issues in Offloading: Scoping, Composition, Development, and their Automation
André DeHon, Hans Giesen, Nik Sultana +1
This paper argues for an accelerator development toolchain that takes into account the whole system containing the accelerator. With whole-system visibility, the toolchain can bett…
cs.CR2021
Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript
Nikos Vasilakis, Cristian-Alexandru Staicu, Grigoris Ntousakis +4
Third-party libraries ease the development of large-scale software systems. However, they often execute with significantly more privilege than needed to complete their task. This a…
cs.PL2015
A Verified Information-Flow Architecture
Arthur Azevedo de Amorim, Nathan Collins, André DeHon +6
SAFE is a clean-slate design for a highly secure computer system, with pervasive mechanisms for tracking and limiting information flows. At the lowest level, the SAFE hardware supp…