Randomized algorithms are often enjoyed for their simplicity, but the hash functions used to yield the desired theoretical guarantees are often neithe...

We define when a linear-time temporal property is a fairness property with respect to a given system. This captures the essence shared by most fairnes...

As advances in technology allow for the collection, storage, and analysis of vast amounts of data, the task of screening and assessing the significanc...

Noninteractive zero-knowledge (NIZK) proof systems are fundamental primitives used in many cryptographic constructions, including public-key encryptio...

A fundamental problem in data management is to draw and maintain a sample of a large data set, for approximate query answering, selectivity estimation...