Green Bitcoin: Global Sound Money

Modern societies have adopted government-issued fiat currencies many of which exist today mainly in the form of digits in credit and bank accounts. Fiat currencies are controlled by central banks for economic stimulation and stabilization. Boom-and-bust cycles are created. The volatility of the cycle has become increasingly extreme. Social inequality due to the concentration of wealth is prevalent worldwide. As such, restoring sound money, which provides stored value over time, has become a pressing issue. Currently, cryptocurrencies such as Bitcoin are in their infancy and may someday qualify as sound money. Bitcoin today is considered as a digital asset for storing value. But Bitcoin has problems. The first issue of the current Bitcoin network is its high energy consumption consensus mechanism. The second is the cryptographic primitives which are unsafe against post-quantum (PQ) attacks. We aim to propose Green Bitcoin which addresses both issues. To save energy in consensus mechanism, we introduce a post-quantum secure (self-election) verifiable coin-toss function and novel PQ secure proof-of-computation primitives. It is expected to reduce the rate of energy consumption more than 90 percent of the current Bitcoin network. The elliptic curve cryptography will be replaced with PQ-safe versions. The Green Bitcoin protocol will help Bitcoin evolve into a post-quantum secure network.Comment: 16 page

Transmission of compressed images over power line channel

In the telecommunications industry, the use of existing power lines has drawn the attention of many researchers in the recent years. PLC suffers from impulsive noise that can affect data transmission by causing bit or burst errors. In this thesis, PLC channel was used as a transmission scheme to transmit compressed still images using FFT-OFDM. When lossy compression is applied to an image, a small loss of quality in the compressed image is tolerated. One of the challenging tasks in image compression and transmission is the trade-off between compression ratio and image quality. Therefore, we utilized the latest developments in quality assessment techniques, SSIM, to adaptively optimize this trade-off to the type of image application which the compression is being used for. A comparison between different compression techniques, namely, discrete cosine transform (DCT), discrete wavelet transform (DWT), and block truncation coding (BTC) was carried out. The performance criteria for our compression methods include the compression ratio, relative root-meansquared (RMS) error of the received data, and image quality evaluation via structural similarity index (SSIM). Every link in a powerline has its own attenuation profile depending on the length, layout, and cable types. Also, the influences of multipath fading due to reflections at branching point vary the attenuation profile of the link. As a result, we observed the effect of different parameters of the PLC channel based on the number of paths, and length of link on the quality of the image. Simulations showed that the image quality is highly affected by the interaction of the distance of PLC channel link and the number of multipath reflections. The PLC channel is assumed to be subjected to Gaussian and impulsive noises. There are two types of impulsive noise: asynchronous impulsive noise and periodic impulsive noise synchronous to the mains frequency. BER analysis was performed to compare the performance of the channel for the two types of impulsive noise under three impulsive scenarios. The first scenario is named as "heavily disturbed" and it was measured during the evening hours in a transformer substation in an industrial area. The second scenario is named as "moderately disturbed" and was recorded in a transformer substation in a residential area with detached and terraced houses. The third scenario is named as "weakly disturbed" and was recorded during night-time in an apartment located in a large building. The experiments conducted showed that both types of noise performed similarly in the three impulsive noise scenarios. We implemented Bose-Chaudhuri-Hocquenghen (BCH) coding to study the performance of Power Line Channel (PLC) impaired by impulsive noise and AWGN. BCH codes and RS codes are related and their decoding algorithms are quite similar. A comparison was made between un-coded system and BCH coding system. The performance of the system is assessed by the quality of the image for different sizes of BCH encoder, in three different impulsive environments. Simulation results showed that with BCH coding, the performance of the PLC system has improved dramatically in all three impulsive scenarios

Survey of FPGA applications in the period 2000 – 2015 (Technical Report)

Romoth J, Porrmann M, Rückert U. Survey of FPGA applications in the period 2000 – 2015 (Technical Report).; 2017.Since their introduction, FPGAs can be seen in more and more different fields of applications. The key advantage is the combination of software-like flexibility with the performance otherwise common to hardware. Nevertheless, every application field introduces special requirements to the used computational architecture. This paper provides an overview of the different topics FPGAs have been used for in the last 15 years of research and why they have been chosen over other processing units like e.g. CPUs

Fault-tolerant satellite computing with modern semiconductors

Miniaturized satellites enable a variety space missions which were in the past infeasible, impractical or uneconomical with traditionally-designed heavier spacecraft. Especially CubeSats can be launched and manufactured rapidly at low cost from commercial components, even in academic environments. However, due to their low reliability and brief lifetime, they are usually not considered suitable for life- and safety-critical services, complex multi-phased solar-system-exploration missions, and missions with a longer duration. Commercial electronics are key to satellite miniaturization, but also responsible for their low reliability: Until 2019, there existed no reliable or fault-tolerant computer architectures suitable for very small satellites. To overcome this deficit, a novel on-board-computer architecture is described in this thesis.Robustness is assured without resorting to radiation hardening, but through software measures implemented within a robust-by-design multiprocessor-system-on-chip. This fault-tolerant architecture is component-wise simple and can dynamically adapt to changing performance requirements throughout a mission. It can support graceful aging by exploiting FPGA-reconfiguration and mixed-criticality.  Experimentally, we achieve 1.94W power consumption at 300Mhz with a Xilinx Kintex Ultrascale+ proof-of-concept, which is well within the powerbudget range of current 2U CubeSats. To our knowledge, this is the first COTS-based, reproducible on-board-computer architecture that can offer strong fault coverage even for small CubeSats.European Space AgencyComputer Systems, Imagery and Medi

Transmission optique longue distance avec le format MB-OFDM cohérent à 100 Gbps

Today the 100 Gbps coherent dual polarization quadrature phase shift keying (Co-DP-QPSK) is standardized as the industrial solution for long-haul WDM transmission. Another alternative format to DP-QPSK that permits also to reach a data rate of 100 Gbps and beyond is the coherent orthogonal frequency division multiplexing (OFDM) format. However a doubt exists over the ability of OFDM to be as efficient as QPSK for long-haul WDM transmission due to its supposed higher sensitivity to nonlinear effects . In this thesis, we have investigated the potential of Co-DP-OFDM for 100 Gbps WDM transport. The digital signal processing algorithms are detailed as well as the various experimental set-ups required to carry out and validate the 100 Gbps transceiver. We also present the transmission results obtained with several configurations. In one of these configurations, the 100 Gbps Co-DP-OFDM channel is multiplexed with forty 100 Gbps DP-QPSK channels and all these channels are transmitted over 1000 km of DCF-free G.652 fiber, while in another configuration, the Co-DP-OFDM and Co-DP-QPSK channels are combined with seventy eight 10 Gbps NRZ-OOK channels and transmitted over 1000 km of dispersion managed G.652 fiber line. We have demonstrated that OFDM and QPSK have nearly the same performance after a transmission over 1000 km, and also we have demonstrated that the transmission of these two formats over legacy fiber infrastructure is possible under the condition of decreasing by 5 dB the 10 Gbps NRZ-OOK channel power with respect to the 100 Gbps channels. The results presented in this thesis are very valuable when considering the next generation of 400 Gbps or 1 Tbps for WDM systems.Aujourd'hui, le format « Quadrature Phase Shift Keying » avec multiplexage de polarisation (DP-QPSK) opérant à 100 Gbps est devenue un standard pour la transmission WDM longue distance. Une alternative au format DP-QPSK permettant d’atteindre des débits de 100 Gbps et plus (400 G & 1Tbps) est l’ « Orthogonal Frequency Division Multiplexing » (OFDM). Mais, des interrogations subsistent quant à sa robustesse aux effets non linéaires. Dans cette thèse nous avons étudié le potentiel de la technologie OFDM pour la transmission WDM longue distance à 100 Gbps. Le traitement du signal est détaillé ainsi que la mise en œuvre du transmetteur et récepteur OFDM cohérent. Nous présentons aussi les résultats expérimentaux de la transmission obtenus dans plusieurs configurations. Dans l’une de ces configurations, le canal modulé avec le format DP-OFDM coherent (Co-DP-OFDM) est multiplexé avec 40 canaux modulés en DP-QPSK à 100 Gbps. Les canaux ont ensuite été transmis sur 1000 km de fibre G.652 sans gestion de dispersion chromatique. Dans une autre configuration, les canaux Co-DP-OFDM et Co-DP-QPSK sont combinés avec 78 canaux 10 Gbps NRZ-OOK et transmis sur 1000 km de fibre G.652 avec gestion de dispersion. Nous avons montré que le Co-DP-OFDM et Co-DP-QPSK ont des performances similaires après une transmission de 1000 km sur une ligne sans gestion de dispersion, et nous avons aussi montré que la transmission de ces formats sur une infrastructure de fibre deployée est possible à condition de réduire de 5 dB la puissance des canaux 10 Gbps NRZ-OOK par rapport aux canaux à100 Gbps. Ces résultats sont précieux pour la prochaine génération de systèmes WDM à 400 Gbps ou 1 Tbps

Measurements, Models, Systems and Design

531 s.

Computer Aided Verification

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book

Millimetriaaltopohjainen runkoyhteys ultratiheille langattomille verkoille - Itseasentuvien verkkoelementtien analyysi

The amount of wireless traffic and number of connected devices are expected to explode in the coming future. By the year 2020 the amount of data traffic is forecasted to grow 1000 times from 2010 levels and the amount of connected devices is expected to reach 50 billion. One reason to these numbers is massive increase in machine type communications. 5G networks have been envisioned to address these challenges. In the 5G network concept the networks are getting denser than ever before. Millimeter wave communications play an important role in backhauling of the mobile traffic as deploying optical fiber to every small node is most likely going to be too cost intensive for operators. Efficient deployment of an ultra-dense wireless network requires that the devices support so called “plug and play” installation. In practice it means that a mechanic installing a new radio node should only perform physical mounting of the device. Antenna alignment and link setup processes should be fully automated. The purpose of this thesis is to study practical issues and possible solutions of realizing the plug and play installation in a cost efficient way. This study will define scenarios and functional requirements of adding access nodes to backhaul networks. Technical evaluation of link discovery process and cost analysis on plug and play installation of access nodes are conducted.Tulevaisuudessa langattomien laitteiden määrän ja niiden generoiman liikenteen odotetaan kasvavan räjähdysmäisesti. Vuoteen 2020 mennessä verkoissa siirrettävien datamäärien on ennustettu kasvavan tuhatkertaisiksi vuoden 2010 tasosta, ja liitettyjen laitteiden määrän odotetaan nousevan 50 miljardiin. Yksi syy näihin on koneiden välisen viestinnän massiivinen kasvu. 5G-verkkoja on kaavailtu vastaamaan edellä mainittuihin haasteisiin. Osana 5G-konseptia verkkojen odotetaan rakentuvan tiheämmiksi kuin koskaan aiemmin. Millimetriaaltoihin pohjautuvat linkit tulevat olemaan merkittävässä roolissa mobiilidatan siirtämisessä radionoodeista runkoverkkoon, koska optisen kuidun rakentaminen jokaiselle pienelle noodille tulisi mitä luultavimmin operaattoreille liian kalliiksi. Ultratiheiden verkkojen tehokas rakentaminen vaatii, että asennettavat laitteet tukevan niin sanottua itseasennusta. Käytännössä se tarkoittaa sitä, että asentajan täytyy ainoastaan suorittaa radionoodin fyysinen asennus. Antenniensuuntaus- ja linkinmuodostusprosessien tulisi olla täysin automatisoituja. Tämän diplomityön tarkoituksena on tutkia kustannustehokkaaseen itseasennukseen liittyviä käytännön ongelmia sekä mahdollisia ratkaisuita. Tutkimus määrittelee skenaariot ja funktionaaliset vaatimukset radionoodien lisäämiseksi osaksi operaattorin verkkoa. Työ sisältää linkkienmuodostusprosessin teknisen evaluoinnin, sekä kustannusanalyysin tiheiden verkkojen rakentamisesta hyödyntäen itseasennustekniikkaa

Advanced Trends in Wireless Communications

Physical limitations on wireless communication channels impose huge challenges to reliable communication. Bandwidth limitations, propagation loss, noise and interference make the wireless channel a narrow pipe that does not readily accommodate rapid flow of data. Thus, researches aim to design systems that are suitable to operate in such channels, in order to have high performance quality of service. Also, the mobility of the communication systems requires further investigations to reduce the complexity and the power consumption of the receiver. This book aims to provide highlights of the current research in the field of wireless communications. The subjects discussed are very valuable to communication researchers rather than researchers in the wireless related areas. The book chapters cover a wide range of wireless communication topics