300 research outputs found
Message from the EEEWSN 2016 Symposium Chairs
No full textWelcome to Crans-Montana and the 3rd International Symposium on Engineering Energy Efficient WSNs (EEEWSN 2016), which is held in conjunction with the 30th IEEE International Conference on Advanced Information Networking and Applications (AINA 2016) Crans-Montana, Switzerland, March 23-25, 2016.
The purpose of EEEWSN 2016 Symposium is to bring together academics and practitioners from different areas to share ideas and research work in the emerging areas of design, validation, and implementation of energy efficient Wireless Sensor Networks (WSNs). The papers included in the proceedings cover novel languages, designs, and applications of WSNs.
EEEWSN 2016 contains high quality research papers submitted by researchers from all over the world. Each submitted paper was peer-reviewed by reviewers who are experts in the subject area of the paper. Based on the review results, the Program Committee accepted 4 papers.
For organizing an International Symposium, the support and help of many people is needed. First, we would like to thank all authors for submitting their papers. We also appreciate the support from program committee members and reviewers who carried out the most difficult work of carefully evaluating the submitted papers.
The EEEWSN organisation team would like to give its special thanks to the Steering Committee Chairs, the AINA 2016 General Co-Chairs and Program Co-Chairs.
We give special thanks to the workshop organisers: Yann Bocchi, HES-SO, Switzerland; Elis Kulla, Okayama University of Science, Japan and Eric Pardede, La Trobe University, Australia for their support to organize the symposium
Analytical model for performability evaluation of Practical Byzantine Fault-Tolerant systems
No full textDesigning systems tolerant to faults is crucial to assure continuity of service for mission critical applications. However, their implementation may be costly and challenging. In this study, analytical models are presented for performance evaluation of systems equipped with Practical Byzantine Fault-Tolerant consensus protocols. Byzantine Fault Tolerance is particularly compelling, since it can provide a robust consensus mechanism to implement decentralized platforms, like Decentralized Ledger Technology and, notably, blockchains. The performability model is based on continuous-time Markov chains, in which the processes involved follow the exponential distribution. The numerical results presented report an inverse non-linear relation between number of nodes and performability. Performance decreases also as the ratio between break-down rate and repair rate increases
Range Proofs with Constant Size and Trustless Setup
No full textRange proofs are widely adopted in practice in many privacy-preserving cryptographic protocols in the public blockchain. The performances known in the literature for range proofs are logarithmic-sized proofs and linear verification time. In contexts where the proof verification is left to the ledger maintainers and proofs are stored in blocks, one might expect higher transaction fees and blockchain space when the size of the relation over the proof grows. With this paper, we improve Bulletproofs, a zero-knowledge argument of knowledge for range proofs, by modifying its Inner Product Argument (IPA) subroutine. In particular, we adopt a new relation from the polynomial commitment scheme of Halo, based on standard groups and assumptions (DLOG and RO) with a trustless setup. We design a two-step reduction algorithm and we obtain a constant number of two rounds in the IPA and a constant-sized proof composed of 5 G1 points and 2 Zp scalars
3rd Distributed Ledger Technology Workshop
No full textThis book contains the contributions which were selected for publication at the third edition of the Distributed Ledger Technology Workshop (DLT 2020), which has been held in conjunction with ITASEC20 at Ancona, on February 4, 2020. This event follows the first two editions of the workshop held at Perugia in 2018 and at Pisa in 2019, respectively, and represents the annual meeting of the Italian DLT group.
The last years have witnessed an impressive and increasing interest around Distributed Ledger Tech- nology. A huge number of application fields, including finance, academics, IoT, industries, just to mention some of the most popular ones, are experiencing the advantages of reliable and unalterable information storage and exchange without any trusted third party. Despite this, several issues are still open and deserve discussion in the scientific and professional community. Among them, a prominent role is played by privacy and security. While some security properties (e.g., countering double spending in cryptocur- rencies) have been extensively studied, other aspects need to be deepened, ranging from software security to scalability, dependability, up to new challenges, like post-quantum blockchains. Similarly for privacy, where the DLT paradigm also has to coexist with current regulations.
The DLT workshops are meant as a forum for researchers, developers, and users to discuss issues related to Distributed Ledger Technology and its adoption in research and business scenarios. The primary goal is to foster discussion and cross-fertilisation of ideas among experts in different fields related to DLTs, and thus advance the national and international state-of-the-art. Research, applications, case studies, and experiences concerning DLT are debated.
Similarly to the previous editions, the DLT 2020 workshop solicited two kind of contributions: re- search papers and oral communications. Both types of contribution entailed an oral presentation at the workshop, but only the former ones are reported in this book. In particular, the workshop accepted 9 research papers and 12 oral contributions.
We would like to express our thanks to the authors who submitted their papers to the workshop, and to the members of the Technical Program Committee for their valuable work in evaluating the submitted papers
3rd Distributed Ledger Technology Workshop
No full textThis book contains the contributions which were selected for publication at the third edition of the Distributed Ledger Technology Workshop (DLT 2020), which has been held in conjunction with ITASEC20 at Ancona, on February 4, 2020. This event follows the first two editions of the workshop held at Perugia in 2018 and at Pisa in 2019, respectively, and represents the annual meeting of the Italian DLT group.
The last years have witnessed an impressive and increasing interest around Distributed Ledger Tech- nology. A huge number of application fields, including finance, academics, IoT, industries, just to mention some of the most popular ones, are experiencing the advantages of reliable and unalterable information storage and exchange without any trusted third party. Despite this, several issues are still open and deserve discussion in the scientific and professional community. Among them, a prominent role is played by privacy and security. While some security properties (e.g., countering double spending in cryptocur- rencies) have been extensively studied, other aspects need to be deepened, ranging from software security to scalability, dependability, up to new challenges, like post-quantum blockchains. Similarly for privacy, where the DLT paradigm also has to coexist with current regulations.
The DLT workshops are meant as a forum for researchers, developers, and users to discuss issues related to Distributed Ledger Technology and its adoption in research and business scenarios. The primary goal is to foster discussion and cross-fertilisation of ideas among experts in different fields related to DLTs, and thus advance the national and international state-of-the-art. Research, applications, case studies, and experiences concerning DLT are debated.
Similarly to the previous editions, the DLT 2020 workshop solicited two kind of contributions: re- search papers and oral communications. Both types of contribution entailed an oral presentation at the workshop, but only the former ones are reported in this book. In particular, the workshop accepted 9 research papers and 12 oral contributions.
We would like to express our thanks to the authors who submitted their papers to the workshop, and to the members of the Technical Program Committee for their valuable work in evaluating the submitted papers
A Model-driven Engineering Framework to Support an Architecture-Driven Development and Analysis of WSNs
No full textReasoning About Inter-procedural Security Requirements in IoT Applications
No full textThe importance of information security dramatically increased and will further grow due to the shape and nature of the modern computing industry. Software is published at a continuously increasing pace. The Internet of Things and security protocols are two examples of domains that pose a great security challenge, due to how diverse the needs for those software may be, and a generalisation of the capabilities regarding the toolchain necessary for testing is becoming a necessity. Oftentimes, these software are designed starting from a formal model, which can be verified with appropriate model checkers. These models, though, do not represent the actual implementation, which can deviate from the model and hence certain security properties might not be inherited from the model, or additional issues could be introduced in the implementation. In this paper we describe a proposal for a novel technique to assess software security properties from LLVM bitcode. We perform various static analyses, such as points-to analysis, call graph and control-flow graph, with the aim of deriving from them an ‘accurate enough’ formal model of the paths taken by the program, which are then going to be examined via consolidated techniques by matching them against a set of defined rules. The proposed workflow then requires further analysis with more precise methods if a rule is violated, in order to assess the actual feasibility of such path(s). This step is required as the analyses performed to derive the model to analyse are over-approximating the behaviour of the software
Heuristic drone pathfinding over optimized charging station grid
No full textWe proposed a novel optimisation framework for drone-based operations which consists of the optimised Charging Station (CS) grid and the pathfinding heuristics for the drone. The proposed pathfinding heuristics are assessed for two different (triangular and square) CS grid configurations that are optimised for the drone range. We presented the case study of a boat rescue operation that is carried out in the sea. The minimisation of the ‘‘flight distance’’ and ‘‘number of chargings’’ are the objectives for the drone party and the minimisation of the ‘‘average waiting distance’’ (AWD) is the objective for the boat party. We studied the ‘‘single drone with many entities’’ case which is a form of Travelling Salesman Problem (TSP). We presented mathematical analysis and simulation results for the effectiveness of the pathfinding heuristic which we called the ‘‘red-grey path’’ heuristic. A novel and fast TSP heuristic was also proposed as part of the pathfinding heuristics and its performance was assessed
Optimum Path Finding Framework for Drone Assisted Boat Rescue Missions
No full textIn boat rescue operations, Unmanned Aerial Vehicles (UAVs or drones) can travel long distances by utilizing the grid of floating charging stations (CSs) on the sea. To respond quickly and/or in an economic way to rescue calls, the “optimum path” from the Base Station (BS) to the boat and back to the BS should be estimated for the missions. Generally the optimum path is the shortest path involving hops from the BS via CSs to the boat and back to the BS. However, multiple objectives can be considered for two parties, drones and boats, like priority of boats, the number of chargings for the UAV, and the average waiting time for the boats. We proposed an heuristic extension called “red-gray path” which provides savings for the flight distance, depending on the boat position in the CS grid. The “drone range”, which is the maximum flight range that UAV can fly with the battery, is the fundamental parameter for the design of the rescue infrastructure. The choices for the geometry of the CS grid plays important role in the effectiveness of the heuristic we proposed. We presented mathematical analysis on the effectiveness of two different deployment strategies for the CSs based on the degree of benefiting from the heuristic we proposed. Namely the triangular and square CS grids. While the square grid provides better savings for the red-gray path heuristic, the triangular grid offers better coverage for the proposed heuristic with less number of CSs for the same mission area
- …
