Cyber & formal methods publications

We present some tentative and preliminary speculation on the prospects for automated reasoning in the style of System 1, and the synergy with the more traditional System 2 strand of…

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

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

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.

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.