most citedFormally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle

15 citations · 36 across the 9 of their papers we have counts for

collaborators

9 papers

cs.GR2009

Yet Another Pacman 3D Adventures

Serguei A. Mokhov, Yingying She

This game is meant to be extension of the overly-beaten pacman-style game (code-named "Yet Another Pacman 3D Adventures", or YAP3DAD) from the proposed ideas and other projects wit…

cs.SE20091 cited

On Implementation of a Safer C Library, ISO/IEC TR 24731

Marc-André Laverdière, Serguei A. Mokhov, Djamel Benredjem

The functions standardized as part of ISO C 1999 and their addendums improved very little the security options from the previously available library. The largest flaw remained that…

cs.CR20091 cited

Ftklipse - Design and Implementation of an Extendable Computer Forensics Environment: Specification Design Document

Marc-André Laverdière, Serguei A. Mokhov, Suhasini Tsapa +1

The purpose of this work is to design and implement a plugin-based environment that allows to integrate forensic tools working together to support programming tasks and addition of…

cs.CR20091 cited

Ftklipse - Design and Implementation of an Extendable Computer Forensics Environment: Software Requirements Specification Document

Marc-André Laverdière, Serguei A. Mokhov, Suhasini Tsapa +1

The purpose behind this article is to describe the features of Ftklipse, an extendable platform for computer forensics. This document designed to provide a detailed specification f…

cs.DC200912 cited

Managing Distributed MARF with SNMP

Serguei A. Mokhov, Lee Wei Huynh, Jian Li

The scope of this project's work focuses on the research and prototyping of the extension of the Distributed MARF such that its services can be managed through the most popular man…

cs.SE20093 cited

Towards Improving Validation, Verification, Crash Investigations, and Event Reconstruction of Flight-Critical Systems with Self-Forensics

Serguei A. Mokhov

This paper introduces a novel concept of self-forensics to complement the standard autonomic self-CHOP properties of the self-managed systems, to be specified in the Forensic Lucid…