2009/04/24 by Serguei A. Mokhov, Mokhov, Serguei A., Joey Paquet +1 · 3 citations
Computer Science · #Advanced Malware Detection Techniques #Artificial Intelligence in Games #Cryptography and Security (cs.CR) #D.3.1 #D.3.2 #D.3.3 #D.3.4 #Digital and Cyber Forensics #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #cs.CR #cs.LO #cs.PL
paper · pdf · doi:10.48550/arxiv.0904.3789
23 pages, 3 listings, 3 figures, 1 table, 1 Appendix with theorems, pp. 76--98. TPHOLs 2008 Emerging Trends Proceedings, August 18-21, Montreal, Canada. Editors: Otmane Ait Mohamed and Cesar Munoz and Sofiene Tahar. The individual paper's PDF is at http://users.encs.concordia.ca/~tphols08/TPHOLs2008/ET/76-98.pdf
arxiv created 2009/04/24 · openalex publication_date 2009/04/24 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29
A Forensic Lucid intensional programming language has been proposed for intensional cyberforensic analysis. In large part, the language is based on various predecessor and codecessor Lucid dialects bound by the higher-order intensional logic (HOIL) that is behind them. This work formally specifies the operational aspects of the Forensic Lucid language and compiles a theory of its constructs using Isabelle, a proof assistant system.