Search Constraints

Start Over
Filtering by: Creator Evers, Brent Remove constraint Creator: Evers, Brent Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • Optimizing Cryptographic Obfuscation

    Creator:
    Carmer, Brent
    Abstract:
    Cryptographic obfuscation is a powerful tool that makes programs “unintelligible” yet still runnable. It essentially gives programs the ability to keep secrets. The practical applications of obfuscation range from keeping secrets in banking applications to preventing software theft to providing secure messaging applications. The cryptographic applications of obfuscation are also...
    Resource Type:
    Dissertation
    Full Text:
    AN ABSTRACT OF THE DISSERTATION OF Brent Carmer for the

  • Efficient Private Matching for Private Databases

    Creator:
    Trieu, Thi Ni Ni
    Abstract:
    Private matching (PM) is a key cryptographic primitive in secure computation that allows several parties to jointly compute some functions depending on their private inputs. Indeed, this primitive has many practical applications. For instance, in online advertising, two companies may wish to find their common customers for a joint marketing...
    Resource Type:
    Dissertation
    Full Text:
    to the rise of Big Data along with the ever-increasing privacy concerns. This thesis describes

  • LacEDAemon : a programming environment for the multiparadigm language leda

    Creator:
    Pandey, Rajeev K.
    Abstract:
    Multiparadigm programming languages are a recent development in the realm of programming languages. A multiparadigm programming language allows the use of multiple, differing programming paradigms without departing from a single, unified linguistic framework. Multiparadigm programming languages are claimed to have benefits to both pedagogy and complex application creation. The beneficial...
    Resource Type:
    Dissertation
    Full Text:
    cannot be pre- dicted in advance. As a result, few new languages are ever veri�ed in the context of a

  • Assessing and Finding Faults in AI: Two Empirical Studies

    Creator:
    Khanna, Roli
    Abstract:
    With the advent of Artificial Intelligence (AI) in every sphere of life in today's day and age, it has become increasingly important for non-AI experts to be able to comprehend the underlying logic of how AI systems work, assess them and find faults in these systems, particularly when they are...
    Resource Type:
    Masters Thesis
    Full Text:
    being the best roommates I could ever ask for, and thank you Amreeta Chatterjee for the constant

  • Explanations and Processes to Enable Humans to Assess AI with Respect to Manipulable Properties

    Creator:
    Dodge, Jonathan E.
    Abstract:
    Assessing AI systems is difficult. Humans rely on AI systems in increasing ways, both visible and invisible, meaning a variety of stakeholders need a variety of assessment tools (e.g., a professional auditor, a developer, and an end user all have different needs). We posit that it is possible to provide...
    Resource Type:
    Dissertation
    Full Text:
    identifying fairness issues in ML systems is extremely challenging, how- ever. Most ML algorithms aim to