TAMBA: Testing and Modeling Brandeis Artifacts

Abstract

This report summarizes the TAMBA teams' research and engineering contributions on the DARPA BRANDEIS program. The focus has been on techniques and technologies for reasoning about privacy. We developed technologies for measuring the privacy implications and enforcing the privacy guarantees of programs and testing the privacy properties of databases. Additionally, we developed the theory for modeling the trade-offs between privacy and utitily. We worked with BRANDEIS technology users to understand and measure end users concerns regarding privacy and privacy preserving technologies. The program results have been demonstrated through software artifacts and peer reviewed publications.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2021
Accession Number
AD1119787

Entities

People

  • Benjamin Davis
  • Jose Claderon
  • Stephen G. McGill

Organizations

  • Galois, Inc.

Tags

Communities of Interest

  • Cyber
  • Ground and Sea Platforms

DTIC Thesaurus Topics

  • Computational Science
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Cybersecurity
  • Databases
  • Domain Specific Programming Languages
  • Humanitarian Assistance
  • Information Processing
  • Information Science
  • Information Systems
  • Internet Of Things
  • Machine Learning
  • Network Science
  • Neural Networks
  • Programming Languages

Fields of Study

  • Computer science

Readers

  • Computational Modeling and Simulation
  • Cybersecurity.
  • Technical Research and Report Writing.