Search Results for author:
Found 9 papers, 5 papers with code
A Rule Mining-Based Advanced Persistent Threats Detection System
Advanced persistent threats (APT) are stealthy cyber-attacks that are aimed at stealing valuable information from target organizations and tend to extend in time.
Data provenance, curation and quality in metrology
Data metrology -- the assessment of the quality of data -- particularly in scientific and industrial settings, has emerged as an important requirement for the UK National Physical Laboratory (NPL) and other national metrology institutes.
Databases
Query Lifting: Language-integrated query for heterogeneous nested collections
Language-integrated query based on comprehension syntax is a powerful technique for safe database programming, and provides a basis for advanced techniques such as query shredding or query flattening that allow efficient programming with complex nested collections.
Programming Languages Databases
Categorical anomaly detection in heterogeneous data using minimum description length clustering
Fast and effective unsupervised anomaly detection algorithms have been proposed for categorical data based on the minimum description length (MDL) principle.
A Polymorphic RPC Calculus
The RPC calculus is a simple semantic foundation for multi-tier programming languages such as Links in which located functions can be written for the client-server model.
Programming Languages
Towards meta-interpretive learning of programming language semantics
We introduce a new application for inductive logic programming: learning the semantics of programming languages from example evaluations.
A baseline for unsupervised advanced persistent threat detection in system-level provenance
Advanced persistent threats (APT) are stealthy, sophisticated, and unpredictable cyberattacks that can steal intellectual property, damage critical infrastructure, or cause millions of dollars in damage.
Cryptography and Security
Imperative Functional Programs that Explain their Work
Program slicing provides explanations that illustrate how program outputs were produced from inputs.
Programming Languages
A Core Calculus for Provenance
It is proposed that many computer systems will need to become provenance-aware in order to provide satisfactory accountability, reproducibility, and trust for scientific or other high-value data.
Programming Languages
