Travis Hance

Learn More
Protecting sensitive data often requires implementing repeated security checks and filters throughout a program. This task is especially error-prone in web programs, where data flows between applications and databases. To reduce the opportunity for privacy leaks, we present Jacqueline, a web framework that automatically enforces security policies that(More)
Around 2002, Leonid Gurvits gave a striking randomized algorithm to approximate the permanent of an n × n matrix A. The algorithm runs in O n 2 /ε 2 time, and approximates Per (A) to within ±ε A n additive error. A major advantage of Gurvits's algorithm is that it works for arbitrary matrices, not just for nonnegative matrices. This makes it highly relevant(More)
We present an approach for dynamic information flow control across the application and database. Our approach reduces the amount of policy code required, yields formal guarantees across the application and database, works with existing relational database implementations, and scales for realistic applications. In this paper, we present a programming model(More)
  • 1