This technical report discusses a framework for design validation of security architectures.

This article introduces a novel multi-objective attack response system.

Video from the Fall 2018 3 Minute Thesis (3MT®) Final Competition. In this video, Shraddha Piparia presents her research methods, findings, and its significance in non-technical language.

Video from the Fall 2018 3 Minute Thesis (3MT®) Final Competition. In this video, ABM Rezbaul Islam presents his research methods, findings, and its significance in non-technical language.

Article that introduces Natlog, a lightweight Logic Programming language, sharing Prolog's unification-driven execution model, but with a simplified syntax and semantics. The authors' proof-of-concept Natlog implementation is tightly embedded in the Python-based deep-learning ecosystem with focus on content-driven indexing of ground term datasets. As an overriding of the authors symbolic indexing algorithm, the same function can be delegated to a neural network, serving ground facts to Natlog's resolution engine. The open-source implementation is available as a Python package at t https://pypi.org/project/natlog/.

This article surveys previous work on negation with an emphasis on computational approaches.