Cyber & formal methods publications

IEEE, like many other professional organizations, uses a third-party vendor to conduct elections over the Internet to elect its leaders.

We propose a simple declarative language for processing provenance metadata and evaluate it by translating filters implemented in SPADE [9], an open-source provenance collection platform.

We propose operating system auditing and data provenance tracking as mechanisms for generating useful traces of system activity and information flow on mobile devices.

Since 2006, a community of two dozen research groups interested in data annotation, derivation, and provenance have met regularly "to understand the capabilities of different provenance systems and the expressiveness…

This article presents an R&D execution model to increase the success rate of technology transition along with several examples of successful technology transition from the US Department of Homeland Security…

Reflecting on elections, natural disasters, and the future.

We describe the axiomatic content of a biology knowledge base that poses both theoretical and empirical challenges for knowledge intensive reasoning.