In this paper, we formulate and analyze methodologies for verifying the notion of initial-state
opacity in discrete event systems that are modeled as non-deterministic finite automata with …

Digital health data collection is vital for healthcare and medical research. But it contains
sensitive information about patients, which makes it challenging. To collect health data …

Collecting personal data without privacy breaches is important to utilize distributed
microdata. Privacy-preserving data collection is anonymizing personal data within the data …

In the era of big data, the availability of massive amounts of information makes privacy
protection more necessary than ever. Among a variety of anonymization mechanisms …

Past and ongoing decades have witnessed significant uplift in data generation due to ever
growing sources of data. Collection and aggradation of such huge data have triggered …

Motivated by security and privacy considerations in applications of discrete event systems,
we describe and analyze the complexity of verifying various state-based notions of opacity in …

We address the problem of designing quantizers that cluster data while satisfying a k-
anonymity requirement. A general data compression perspective is adopted, which …

In healthcare, there is a vast amount of patients' data, which can lead to important
discoveries if combined. Due to legal and ethical issues, such data cannot be shared and …

SIMON is a lightweight block cipher, specially designed for resource constrained devices
that was recently presented by the National Security Agency (NSA). This paper deals with a …

Public opinion is the belief or thoughts of the public regarding a particular topic, especially
one regarding politics, religion or social issues. Opinions may be sensitive since they may …