Dario Maggiari

  • Citations Per Year
Learn More
PsycoTrace is a set of tools to protect a process $P$ from attacks that alter $P$ self as specified by its source code. $P$ self is specified in terms of legal traces of system calls and of assertions on $P$ status paired with each call. In turn, legal traces are specified through a context-free grammar returned by a static analysis of $P$ program that may(More)
Semantics-driven monitoring discovers attacks against a process by evaluating invariants on the process state. We propose an approach that increases the robustness and the transparency of the run-time monitoring system by introducing two virtual machines (VMs) running on the same platform. One VM runs the monitored process, i.e. the process P to be(More)
Semantics-driven monitoring discovers attacks against a process by evaluating invariants on the process state. To increase the robustness and the transparency of semantics-driven monitoring, we propose an approach that introduces two virtual machines (VMs) running on the same platform. One VM runs the monitored process, i.e. the process to be protected,(More)
  • 1