D
Daniel B. Giffin
Researcher at Stanford University
Publications - 9
Citations - 323
Daniel B. Giffin is an academic researcher from Stanford University. The author has contributed to research in topics: Privacy policy & Web application. The author has an hindex of 6, co-authored 9 publications receiving 270 citations. Previous affiliations of Daniel B. Giffin include Massachusetts Institute of Technology.
Papers
More filters
Proceedings ArticleDOI
Hails: protecting data privacy in untrusted web applications
Daniel B. Giffin,Amit Levy,Deian Stefan,David Terei,David Mazières,John C. Mitchell,Alejandro Russo +6 more
TL;DR: A new web framework, Hails, is presented that adds mandatory access control and a declarative policy language to the familiar MVC architecture and is demonstrated through GitStar.com, a code-hosting website that enforces robust privacy policies on user data even while allowing untrusted apps to deliver extended features to users.
Proceedings ArticleDOI
Multiprogramming a 64kB Computer Safely and Efficiently
Amit Levy,Bradford Campbell,Branden Ghena,Daniel B. Giffin,Pat Pannuto,Prabal Dutta,Philip Levis +6 more
TL;DR: Tock isolates software faults, provides memory protection, and efficiently manages memory for dynamic application workloads written in any language while retaining the dependability requirements of long-running applications.
Journal ArticleDOI
Hails: Protecting data privacy in untrusted web applications
Daniel B. Giffin,Amit Levy,Deian Stefan,David Terei,David Mazières,John C. Mitchell,Alejandro Russo +6 more
TL;DR: Hails as discussed by the authors is a framework for building web platforms that adds mandatory access control and a declarative policy language to the familiar MVC architecture and demonstrates the flexibility of Hails by building several platforms, including a code-hosting website that enforces robust privacy policies on user data even while allowing untrusted apps to deliver extended features to users.
Proceedings ArticleDOI
The Tock Embedded Operating System
Amit Levy,Bradford Campbell,Branden Ghena,Daniel B. Giffin,Shane Leonard,Pat Pannuto,Prabal Dutta,Philip Levis +7 more
TL;DR: Tock, a new operating system for low-power platforms, takes advantage of the limited hardware-protection mechanisms available on recent microcontrollers and the type-safety features of the Rust programming language to provide a multiprogramming environment that offers isolation of software faults, memory protection, and efficient memory management for dynamic application workloads written in any language while retaining the dependability requirements of long-running devices.
Proceedings Article
REX: secure, extensible remote execution
TL;DR: REX is a remote execution utility with a novel architecture specifically designed for extensibility as well as security and transparent connection persistence in the face of network complexities such as NAT and dynamic IP addresses.