Academic Articles & Research Papers

Fault interaction and earthquake triggering mechanisms: Progress and prospects

Research on fault interaction and earthquake triggering, which is a hot issue in the field of source physics, can facilitate understanding of the underlying mechanisms of strong earthquakes and also has good application prospects in earthqu...

MODULES FOR EXPERIMENTS IN STELLAR ASTROPHYSICS (MESA)

Stellar physics and evolution calculations enable a broad range of research in astrophysics. Modules for Experiments in Stellar Astrophysics ( MESA ) is a suite of open source, robust, efficient, thread-safe libraries for a wide range of ap...

Architectural modelling for robotics: RoboArch and the CorteX example

The need for robotic systems to be verified grows as robots are increasingly used in complex applications with safety implications. Model-driven engineering and domain-specific languages (DSLs) have proven useful in the development of compl...

Optimizing the Post Quantum Signature Scheme CROSS for Resource Constrained Devices

Post-quantum cryptosystems are currently attracting significant research efforts due to the continuous improvements in quantum computing technologies, which led the National Institute of Standards and Technology (NIST) to open standardizati...

A Quantum-Resistant Authentication and Key Agreement Protocol for Fog-Assisted Vehicular Networks

Fog-based Vehicular Ad Hoc Networks (VANETs) support low-latency services by providing computing resources in close proximity to vehicles, but they also face security threats arising from Fog Node (FN) compromise and advances in quantum com...

Review of Deployable Endogenous Security Technologies for Smart Grids

The smart grid is a critical infrastructure in the modern energy system that couples cyberspace with physical operation processes, and it has become a key pillar of national energy security. With the widespread use of massive heterogeneous ...

Demonstration of hypergraph-state quantum information processing

Abstract Complex entangled states are the key resources for measurement-based quantum computations, which is realised by performing a sequence of measurements on initially entangled qubits. Executable quantum algorithms in the graph-state q...

The Verification of a Distributed System

Leslie Lamport, known for his seminal work in distributed systems, famously said, "A distributed system is one in which the failure of a computer you didn’t even know existed can render your own computer unusable." Given this bleak outlook ...

Compositional specification and verification of distributed systems

We present a method for specification and verification of distributed systems that communicate via asynchronous message passing. The method handles both safety and liveness properties. It is compositional, i.e., a specification of a composi...

An axiomatic basis of trust in distributed systems

He introduces basic notions about developing a logic or a theory, and shows that modal logics of belief, with their Kripe-style possible-worlds semantics, are appropriate for basing a theory of trust on. He reviews a modal logic of belief, ...

Runtime Verification for Decentralised and Distributed Systems

Verdi: a framework for implementing and formally verifying distributed systems

Distributed systems are difficult to implement correctly because they must handle both concurrency and failures: machines may crash at arbitrary points and networks may reorder, drop, or duplicate packets. Further, their behavior is often t...

Generative AI in cybersecurity: A comprehensive review of LLM applications and vulnerabilities

This paper provides a comprehensive review of the future of cybersecurity through Generative AI and Large Language Models (LLMs). We explore LLM applications across various domains, including hardware design security, intrusion detection, s...

Artificial Neural Networks in Agriculture

Artificial neural networks are one of the most important elements of machine learning and artificial intelligence. They are inspired by the human brain structure and function as if they are based on interconnected nodes in which simple proc...

Value-based software engineering

Much of current software engineering practice and research is done in a value-neutral setting, in which every requirement, use case, object, and defect is treated as equally important; methods are presented and practiced as largely logical ...

Fundamentals of Probability and Statistics for Engineers

This textbook differs from others in the field in that it has been prepared very much with students and their needs in mind, having been classroom tested over many years. It is a true "learner's book" made for students who require a deeper ...

Spatial Optimization of Wind and Solar Farm Location in Electric Power Systems Considering Power System Flexibility Characteristics

The rapid development of wind and solar energy necessitates a solution to the problem of the optimal spatial placement of wind farms (WFs) and solar farms (SFs) within electric power systems. The non-stationary generation schedules of WFs a...

Lightweight Anonymous Group Authentication and Quantum-Cloud Key Distribution Based on PUF for Classical Network Environments

With the rapid development of quantum computing, in response to its disruptive threats to traditional cryptosystems and the urgent demand for lightweight and highly scalable secure group communication among resource-constrained devices in l...

Hardware-Anchored ES-SPA: A Dynamic Zero-Trust Architecture for Secure eSIM Provisioning in 6G IoT via Moving Target Defense

The rapid evolution of 6G networks and large-scale Internet of Things (IoT) deployments intensifies security and privacy challenges in embedded SIM (eSIM) Remote SIM Provisioning (RSP), particularly during the bootstrap and profile delivery...

Assembly Function Recognition in Embedded Systems as an Optimization Problem

Many different aspects of software system development and verification rely on precise function identification in binary code. Recognition of the source Assembly functions in embedded systems is one of the fundamental challenges in binary p...