A smart contract is a computer program that allows users to automate their actions on the
blockchain platform. Given the significance of smart contracts in supporting important …

In today's world, critical infrastructure is often controlled by computing systems. This
introduces new risks for cyber attacks, which can compromise the security and disrupt the …

Robot Operating System (ROS) has been the mainstream platform for research and
development of robotic applications. This platform is well-known for lacking security features …

In this paper we are interested in how semantic segmentation can help object detection.
Towards this goal, we propose a novel deformable part-based model which exploits region …

Decentralized finance (DeFi) has become one of the most successful applications of
blockchain and smart contracts. The DeFi ecosystem enables a wide range of crypto …

In emergency response scenarios, autonomous small Unmanned Aerial Systems (sUAS)
must be configured and deployed quickly and safely to perform mission-specific tasks. In this …

High level specification languages like CSP use mathematical objects as abstractions to
represent systems and processes. System behaviors are described as process expressions …

In this paper, we compare and evaluate the correctness, performance, and scalability of
EstiNet OpenFlow simulator, EstiNet OpenFlow emulator, and Mininet OpenFlow emulator …

In this article we revisit the history of formal methods with a focus on important aspects that
contribute to their interdisciplinary role. We consider: the variability of mathematical …

In this paper we propose a methodology for selecting the most discriminative features in a
set for online signature verification. We expose the difference in the definition of class …