15 citations · 36 across the 9 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2009★ 2 cited
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi
This work-in-progress focuses on the refinement of application of the intensional logic to cyberforensic analysis and its benefits are compared with the finite-state automata appro…
cs.LO2009★ 15 cited
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle
Serguei A. Mokhov, Joey Paquet
A Forensic Lucid intensional programming language has been proposed for intensional cyberforensic analysis. In large part, the language is based on various predecessor and codecess…