Cyber & formal methods publications

In this paper, we design a model-based intrusion detection system (IDS) for sensor networks used for PCS.

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008.

We argue that trust need not be achieved at the expense of automation, and outline a lightweight approach where the results of untrusted verifiers are checked by a trusted offline…

To detect exposures to the various pathogens more rapidly, especially during these early stages, we evaluated a suite of host responses to biological threat agents using global gene expression profiling…

This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features of different points…

We present the basis of the modeling method and discuss two related verification approaches for analyzing complex, real-time distributed systems.

Three models of coordination—Reo, Actors-Roles-Coordinators (ARC), and Reflective Russian Dolls (RRD)—are compared and contrasted according to a set of coordination features.

We construct such a scheme for predicates corresponding to the evaluation of inner products over (for some large integer N).

This report describes the monitoring, intrusion detection, and reporting infrastructure of the resulting system highlighting the design principles and lessons learned that are generally applicable to survivable information systems.