The explosive progress in networking, storage, and processor technologies has resulted in an unprecedented volume of digital data. With this increase in digital data, concerns about privacy of personal information have emerged. The ease with which data can be collected, stored in databases and queried efficiently over the internet has worsened the privacy situation, and has raised numerous ethi...

We present a domain-specific imperative language, Bek, that directly models low-level string manipulation code featuring boolean state, search operations, and substring substitutions. We show constructively that Bek is reversible through a semantics-preserving translation to symbolic finite state transducers, a novel representation for transducers that annotates transitions with logical formula...

Protecting the privacy of healthcare information is an important part encouraging data custodians to give accurate records so that mining may proceed with confidence. The application association rule in has been widespread this point time. Most applications focus on positive rules, ignoring negative consequences particular diagnostic techniques. When it comes bridging divergent diseases and dru...

Upon infection by pathogenic bacteria, production of reactive oxygen species (ROS) is part of the host organism's first line of defence. ROS damage a number of macromolecules, and in order to withstand such a harsh environment, the bacteria need to have well-functioning ROS scavenging and repair systems. Herein, MutT is an important nucleotide-pool sanitization enzyme, which degrades 8-oxo-dGTP...

As the number of provenance aware organizations increases, particularly in workflow scientific domains, sharing provenance data becomes a necessity. Meanwhile, scientists wish to share their scientific results without sacrificing privacy, neither directly through illegal authorizations nor indirectly through illegal inferences. Nevertheless, current work in workflow provenance sanitizing approa...

Using pervasive provenance to secure mainstream systems has recently attracted interest from industry and government. Recording, storing and managing all of the provenance associated with a system is a considerable challenge. Analyzing the resulting noisy, heterogeneous, continuously-growing provenance graph adds to this challenge, and apparently necessitates segmentation, that is, approximatin...

A time series is a set of data normally collected at usual intervals and often contains huge amount of individual privacy. The need to protect privacy and anonymization of time-series while trying to support complex queries such as pattern range and pattern matching queries. The conventional (k, p)-anonymity model cannot effectively address this problem as it may suffer serious pattern loss. In...