-
Preliminary Performance Evaluation of a Satellite-to-HAP Communication Link
Authors:
Giovanni Grieco,
Giovanni Iacovelli,
Mattia Sandri,
Marco Giordani,
Michele Zorzi,
Luigi Alfredo Grieco
Abstract:
The emergence of Fifth-Generation (5G) communication networks has brought forth unprecedented connectivity with ultra-low latency, high data rates, and pervasive coverage. However, meeting the increasing demands of applications for seamless and high-quality communication, especially in rural areas, requires exploring innovative solutions that expand 5G beyond traditional terrestrial networks. With…
▽ More
The emergence of Fifth-Generation (5G) communication networks has brought forth unprecedented connectivity with ultra-low latency, high data rates, and pervasive coverage. However, meeting the increasing demands of applications for seamless and high-quality communication, especially in rural areas, requires exploring innovative solutions that expand 5G beyond traditional terrestrial networks. Within the context of Non-Terrestrial Networks (NTNs), two promising technologies with vast potential are High Altitude Platforms (HAPs) and satellites. The combination of these two platforms is able to provide wide coverage and reliable communication in remote and inaccessible areas, and/or where terrestrial infrastructure is unavailable. This study evaluates the performance of the communication link between a Geostationary Equatorial Orbit (GEO) satellite and a HAP using the Internet of Drones Simulator (IoD-Sim), implemented in ns-3 and incorporating the 3GPP TR 38.811 channel model. The code base of IoD-Sim is extended to simulate HAPs, accounting for the Earths curvature in various geographic coordinate systems, and considering realistic mobility patterns. A simulation campaign is conducted to evaluate the GEO-to-HAP communication link in terms of Signal-to-Noise Ratio (SNR) in two different scenarios, considering the mobility of the HAP, and as a function of the frequency and the distance.
△ Less
Submitted 2 October, 2023;
originally announced October 2023.
-
A System-Level Simulation Module for Multi-UAV IRS-assisted Communications
Authors:
Giovanni Grieco,
Giovanni Iacovelli,
Daniele Pugliese,
Domenico Striccoli,
Luigi Alfredo Grieco
Abstract:
Sixth-Generation (6G) networks are set to provide reliable, widespread, and ultra-low-latency mobile broadband communications for a variety of industries. In this regard, the Internet of Drones (IoD) represents a key component for the development of 3D networks, which envisions the integration of terrestrial and non-terrestrial infrastructures. The recent employment of Intelligent Reflective Surfa…
▽ More
Sixth-Generation (6G) networks are set to provide reliable, widespread, and ultra-low-latency mobile broadband communications for a variety of industries. In this regard, the Internet of Drones (IoD) represents a key component for the development of 3D networks, which envisions the integration of terrestrial and non-terrestrial infrastructures. The recent employment of Intelligent Reflective Surfaces (IRSs) in combination with Unmanned Aerial Vehicles (UAVs) introduces more degrees of freedom to achieve a flexible and prompt mobile coverage. As the concept of smart radio environment is gaining momentum across the scientific community, this work proposes an extension module for Internet of Drones Simulator (IoD-Sim), a comprehensive simulation platform for the IoD, based on Network Simulator 3 (ns-3). This module is purposefully designed to assess the performance of UAV-aided IRS-assisted communication systems. Starting from the mathematical formulation of the radio channel, the simulator implements the IRS as a peripheral that can be attached to a drone. Such device can be dynamically configured to organize the IRS into patches and assign them to assist the communication between two nodes. Furthermore, the extension relies on the configuration facilities of IoD-Sim, which greatly eases design and coding of scenarios in JavaScript Object Notation (JSON) language. A simulation campaign is conducted to demonstrate the effectiveness of the proposal by discussing several Key Performance Indicators (KPIs), such as Radio Environment Map (REM), Signal-to-Interference-plus-Noise Ratio (SINR), maximum achievable rate, and average throughput.
△ Less
Submitted 3 April, 2023;
originally announced April 2023.
-
Enabling Portability and Reusability of Open Science Infrastructures
Authors:
Giuseppe Grieco,
Ivan Heibi,
Arcangelo Massari,
Arianna Moretti,
Silvio Peroni
Abstract:
This paper presents a methodology for designing a containerized and distributed open science infrastructure to simplify its reusability, replicability, and portability in different environments. The methodology is depicted in a step-by-step schema based on four main phases: (1) Analysis, (2) Design, (3) Definition, and (4) Managing and provisioning. We accompany the description of each step with e…
▽ More
This paper presents a methodology for designing a containerized and distributed open science infrastructure to simplify its reusability, replicability, and portability in different environments. The methodology is depicted in a step-by-step schema based on four main phases: (1) Analysis, (2) Design, (3) Definition, and (4) Managing and provisioning. We accompany the description of each step with existing technologies and concrete examples of application.
△ Less
Submitted 28 July, 2022; v1 submitted 8 June, 2022;
originally announced June 2022.
-
Internet of Drones Simulator: Design, Implementation, and Performance Evaluation
Authors:
Giovanni Grieco,
Giovanni Iacovelli,
Pietro Boccadoro,
Luigi Alfredo Grieco
Abstract:
The Internet of Drones (IoD) is a networking architecture that stems from the interplay between Unmanned Aerial Vehicles (UAVs) and wireless communication technologies. Networked drones can unleash disruptive scenarios in many application domains. At the same time, to really capitalize their potential, accurate modeling techniques are required to catch the fine details that characterize the featur…
▽ More
The Internet of Drones (IoD) is a networking architecture that stems from the interplay between Unmanned Aerial Vehicles (UAVs) and wireless communication technologies. Networked drones can unleash disruptive scenarios in many application domains. At the same time, to really capitalize their potential, accurate modeling techniques are required to catch the fine details that characterize the features and limitations of UAVs, wireless communications, and networking protocols. To this end, the present contribution proposes the Internet of Drones Simulator (IoD-Sim), a comprehensive and versatile open source tool that addresses the many facets of the IoD. IoD-Sim is a Network Simulator 3 (ns-3)-based simulator organized in a 3-layer stack, composed by (i) the Underlying Platform, which provides the telecommunication primitives for different standardized protocol stacks, (ii) the Core, that implements all the fundamental features of an IoD scenario, and (iii) the Simulation Development Platform, mainly composed by a set of tools that speeds up the graphical design for every possible use-case. In order to prove the huge potential of this proposal, three different scenarios are presented and analyzed from both a software perspective and a telecommunication standpoint. The peculiarities of this open-source tool are of interest for researchers in academia, as they will be able to extend to model upcoming specifications, including, but not limited to, mobile networks and satellite communications. Still, it will certainly be of relevance in industry to accelerate the design phase, thus improving the time-to-market of IoD-based services.
△ Less
Submitted 25 March, 2022;
originally announced March 2022.
-
What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)?
Authors:
Alex Groce,
Josselin Feist,
Gustavo Grieco,
Michael Colburn
Abstract:
An important problem in smart contract security is understanding the likelihood and criticality of discovered, or potential, weaknesses in contracts. In this paper we provide a summary of Ethereum smart contract audits performed for 23 professional stakeholders, avoiding the common problem of reporting issues mostly prevalent in low-quality contracts. These audits were performed at a leading compa…
▽ More
An important problem in smart contract security is understanding the likelihood and criticality of discovered, or potential, weaknesses in contracts. In this paper we provide a summary of Ethereum smart contract audits performed for 23 professional stakeholders, avoiding the common problem of reporting issues mostly prevalent in low-quality contracts. These audits were performed at a leading company in blockchain security, using both open-source and proprietary tools, as well as human code analysis performed by professional security engineers. We categorize 246 individual defects, making it possible to compare the severity and frequency of different vulnerability types, compare smart contract and non-smart contract flaws, and to estimate the efficacy of automated vulnerability detection approaches.
△ Less
Submitted 10 January, 2020; v1 submitted 18 November, 2019;
originally announced November 2019.
-
Slither: A Static Analysis Framework For Smart Contracts
Authors:
Josselin Feist,
Gustavo Grieco,
Alex Groce
Abstract:
This paper describes Slither, a static analysis framework designed to provide rich information about Ethereum smart contracts. It works by converting Solidity smart contracts into an intermediate representation called SlithIR. SlithIR uses Static Single Assignment (SSA) form and a reduced instruction set to ease implementation of analyses while preserving semantic information that would be lost in…
▽ More
This paper describes Slither, a static analysis framework designed to provide rich information about Ethereum smart contracts. It works by converting Solidity smart contracts into an intermediate representation called SlithIR. SlithIR uses Static Single Assignment (SSA) form and a reduced instruction set to ease implementation of analyses while preserving semantic information that would be lost in transforming Solidity to bytecode. Slither allows for the application of commonly used program analysis techniques like dataflow and taint tracking. Our framework has four main use cases: (1) automated detection of vulnerabilities, (2) automated detection of code optimization opportunities, (3) improvement of the user's understanding of the contracts, and (4) assistance with code review.
In this paper, we present an overview of Slither, detail the design of its intermediate representation, and evaluate its capabilities on real-world contracts. We show that Slither's bug detection is fast, accurate, and outperforms other static analysis tools at finding issues in Ethereum smart contracts in terms of speed, robustness, and balance of detection and false positives. We compared tools using a large dataset of smart contracts and manually reviewed results for 1000 of the most used contracts.
△ Less
Submitted 26 August, 2019;
originally announced August 2019.
-
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
Authors:
Mark Mossberg,
Felipe Manzano,
Eric Hennenfent,
Alex Groce,
Gustavo Grieco,
Josselin Feist,
Trent Brunson,
Artem Dinaburg
Abstract:
An effective way to maximize code coverage in software tests is through dynamic symbolic execution$-$a technique that uses constraint solving to systematically explore a program's state space. We introduce an open-source dynamic symbolic execution framework called Manticore for analyzing binaries and Ethereum smart contracts. Manticore's flexible architecture allows it to support both traditional…
▽ More
An effective way to maximize code coverage in software tests is through dynamic symbolic execution$-$a technique that uses constraint solving to systematically explore a program's state space. We introduce an open-source dynamic symbolic execution framework called Manticore for analyzing binaries and Ethereum smart contracts. Manticore's flexible architecture allows it to support both traditional and exotic execution environments, and its API allows users to customize their analysis. Here, we discuss Manticore's architecture and demonstrate the capabilities we have used to find bugs and verify the correctness of code for our commercial clients.
△ Less
Submitted 18 November, 2019; v1 submitted 8 July, 2019;
originally announced July 2019.