A data recorder stores endpoint activity on an ongoing basis as sequences of events that
causally relate computer objects such as processes and files. When a security event is …

Provided herein are systems and methods for behavior profiling of targets to determine
malware presence. The method includes, in various embodiments, applying a domain …

A data recorder stores endpoint activity on an ongoing basis as sequences of events that
causally relate computer objects such as processes and files, and patterns within this event …

Examples disclosed herein relate to modifying a web page. In one example, in response to
beginning execution of a process initiating generation of a web page of a web application at …

A system and method for security risk identification in a secure software lifecycle. A
knowledge database has a plurality of security elements which are identified for a particular …

BACKGROUND The complexity of distributed systems and their testing mechanisms have
been widely explored for many years. There are many challenges inherent in distributed …

BACKGROUND A web application is a software application coded in a browser-supported
language (such as HTML, JavaScript, Java, and/or other languages). The web application is …

Disclosed are embodiments of a security system for reducing data leaks by checking
information flows between resources of a network. When an information flow is attempted …

A data recorder stores endpoint activity on an ongoing basis as sequences of events that
causally relate computer objects such as processes and files, and patterns within this event …

(57) ABSTRACT A computer implemented tool is described that includes an assertion
generator module that can automatically generate assertions, which are usable to Verify …