Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales

Terms and Conditions

Twitter GitHub LinkedIn Bluesky Youtube

© 2026 ResearchTrend.AI, All rights reserved.

Home
Papers
0904.3789
Cited By

Formally Specifying and Proving Operational Aspects of Forensic Lucid in
Isabelle

Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle

24 April 2009

Serguei A. Mokhov

ArXiv (abs)PDF HTML

Papers citing "Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle"

6 / 6 papers shown

Intensional Cyberforensics

Intensional Cyberforensics

Serguei A. Mokhov

291

14

0

02 Dec 2013

Cryptolysis v.0.0.1 - A Framework for Automated Cryptanalysis of
Classical Ciphers

Cryptolysis v.0.0.1 - A Framework for Automated Cryptanalysis of Classical Ciphers

Serguei A. Mokhov

Marc-André Laverdière

321

9

0

05 Jan 2011

Reasoning About a Simulated Printer Case Investigation with Forensic
Lucid

Reasoning About a Simulated Printer Case Investigation with Forensic LucidInternational ICST Conference on Digital Forensics & Cyber Crime (IDFCC), 2009

Serguei A. Mokhov

277

10

0

29 Jun 2009

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

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

Serguei A. Mokhov

150

6

0

10 Jun 2009

Towards Automated Deduction in Blackmail Case Analysis with Forensic
Lucid

Towards Automated Deduction in Blackmail Case Analysis with Forensic LucidHuntsville Simulation Conference (HSC), 2009

Serguei A. Mokhov

402

8

0

30 May 2009

The Role of Self-Forensics in Vehicle Crash Investigations and Event
Reconstruction

The Role of Self-Forensics in Vehicle Crash Investigations and Event Reconstruction

Serguei A. Mokhov

142

2

0

15 May 2009

Page 1 of 1