Search Results for author:
Found 4 papers, 1 papers with code
Toward Multimodal Interaction in Scalable Visual Digital Evidence Visualization Using Computer Vision Techniques and ISS
Visualization requirements in Forensic Lucid have to do with different levels of case knowledge abstraction, representation, aggregation, as well as the operational aspects as the final long-term goal of this proposal.
Fast Context-Annotated Classification of Different Types of Web Service Descriptions
In the recent rapid growth of web services, IoT, and cloud computing, many web services and APIs appeared on the web.
MARFCAT: Transitioning to Binary and Larger Data Sets of SATE IV
We present a second iteration of a machine learning approach to static code analysis and fingerprinting for weaknesses related to security, software engineering, and others using the open-source MARF framework and the MARFCAT application based on it for the NIST's SATE IV static analysis tool exposition workshop's data sets that include additional test cases, including new large synthetic cases.
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle
A Forensic Lucid intensional programming language has been proposed for intensional cyberforensic analysis.
Logic in Computer Science Cryptography and Security Programming Languages D.3.1; D.3.2; D.3.3; D.3.4
