We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a de...

It has been known for some time that graph isomorphism reduces to the hidden subgroup problem (HSP). What is more, most exponential speedups in quantu...

This article presents a novel generic technique for solving dataflow equations in interprocedural dataflow analysis. The technique is obtained by gene...

We give an algorithm to learn an intersection of k halfspaces in Rn whose normals span an l-dimensional subspace. For any input distribution with a lo...

A schema mapping is a specification that describes how data structured under one schema the source schema) is to be transformed into data structured u...