Privtrans swMATH ID: 23074 Software Authors: Brumley D, Song D X Description: Privtrans: automatically partitioning programs for privilege separation. Privilege separation partitions a single program into two parts: a privileged program called the monitor and an unprivileged program called the slave. All trust and privileges are relegated to the monitor, which results in a smaller and more easily secured trust base. Previously the privilege separation procedure, i.e., partitioning one program into the monitor and slave, was done by hand [18, 28]. We design techniques and develop a tool called Privtrans that allows us to automatically integrate privilege separation into source code, provided a few programmer annotations. For instance, our approach can automatically integrate the privilege separation previously done by hand in OpenSSH, while enjoying similar security benefits. Additionally, we propose optimization techniques that augment static analysis with dynamic information. Our optimization techniques reduce the number of expensive calls made by the slave to the monitor. We show Privtrans is effective by integrating privilege separation into several open-source applications. Homepage: https://dl.acm.org/citation.cfm?id=1251380 Related Software: Privman; CSSV; MOPS; CCured; RacerX; Laminar; Merlin; SGX; F*; Fable; Moat; EROS; VC3; JFlow; LLVM; Retire.js; ConflictJS; Synode; Node.js; npm Cited in: 1 Publication Cited by 4 Authors 1 Harris, William R. 1 Jha, Somesh 1 Reps, Thomas W. 1 Seshia, Sanjit Arunkumar Cited in 1 Serial 1 Formal Methods in System Design Cited in 1 Field 1 Computer science (68-XX) Citations by Year