Abstract
This work presents a novel machine-checked tight security proof for XMSS-a stateful hash-based signature scheme that is (1) standardized in RFC 8391 and NIST SP 800-208, and (2) employed as a primary building block of SPHINCS+, one of the signature schemes recently selected for standardization as a result of NIST's post-quantum competition. In 2020, Kudinov, Kiktenko, and Fedoro pointed out a flaw affecting the tight security proofs of SPHINCS+ and XMSS. For the case of SPHINCS+, this flaw was fixed in a subsequent tight security proof by Hulsing and Kudinov. Unfortunately, employing the fix from this proof to construct an analogous tight security proof for XMSS would merely demonstrate security with respect to an insufficient notion. At the cost of modeling the message-hashing function as a random oracle, we complete the tight security proof for XMSS and formally verify it using the EasyCrypt proof assistant. (Note that this merely extends the use of the random oracle model, as this model is already required in other parts of the security analysis to justify the currently standardized parameter values). As part of this endeavor, we formally verify the crucial step common to the security proofs of SPHINCS+ and XMSS that was found to be flawed before, thereby confirming that the core of the aforementioned security proof by Hulsing and Kudinov is correct. As this is the first work to formally verify proofs for hash-based signature schemes in EasyCrypt, we develop several novel libraries for the fundamental cryptographic concepts underlying such schemes-e.g., hash functions and digital signature schemes-establishing a common starting point for future formal verification efforts. These libraries will be particularly helpful in formally verifying proofs of other hash-based signature schemes such as LMS or SPHINCS+.

Abstract

Abstract

Abstract
This article presents a framework to assist in the design of technology-based interactive services for active mobility, which allows the data collected from the sensors to be made available to citizens. The proposed framework was developed based on data collected in focus group sessions held with potential stakeholders and on related models and frameworks. It consists of 8 steps, namely: strategy, scope, structure, skeleton, aesthetics and execution. It will enable the presentation of relevant information that will help users of active modes of transport in decision making in choosing a safe and comfortable route, assist professionals involved in the elaboration of interactive projects and promote more collaborative urban planning. © 2023 The Authors. Published by ELSEVIER B.V. This is an open access article under the CC BY-NC-ND license (https://creativecommons.org/licenses/by-nc-nd/4.0)

Abstract
Developing innovative systems and operations to monitor forests and send alerts in dangerous situations, such as fires, has become, over the years, a necessary task to protect forests. In this work, a Wireless Sensor Network (WSN) is employed for forest data acquisition to identify abrupt anomalies when a fire ignition starts. Even though a low-power LoRaWAN network is used, each module still needs to save power as much as possible to avoid periodic maintenance since a current consumption peak happens while sending messages. Moreover, considering the LoRaWAN characteristics, each module should use the bandwidth only when essential. Therefore, four algorithms were tested and calibrated along real and monitored events of a wildfire. The first algorithm is based on the Exponential Smoothing method, Moving Averages techniques are used to define the other two algorithms, and the fourth uses the Least Mean Square. When properly combined, the algorithms can perform a pre-filtering data acquisition before each module uses the LoRaWAN network and, consequently, save energy if there is no necessity to send data. After the validations, using Wildfire Simulation Events (WSE), the developed filter achieves an accuracy rate of 0.73 with 0.5 possible false alerts. These rates do not represent a final warning to firefighters, and a possible improvement can be achieved through cloud-based server algorithms. By comparing the current consumption before and after the proposed implementation, the modules can save almost 53% of their batteries when is no demand to send data. At the same time, the modules can maintain the server informed with a minimum interval of 15 min and recognize abrupt changes in 60 s when fire ignition appears.

Abstract
Author summaryCancer therapies often fail because tumor cells become resistant to treatment. One way to overcome resistance is by treating patients with a combination of two or more drugs. Some combinations may be more effective than when considering individual drug effects, a phenomenon called drug synergy. Computational drug synergy prediction methods can help to identify new, clinically relevant drug combinations. In this study, we developed several deep learning models for drug synergy prediction. We examined the effect of using different types of deep learning architectures, and different ways of representing drugs and cancer cell lines. We explored the use of biological prior knowledge to select relevant cell line features, and also tested data-driven feature reduction methods. We tested both precomputed drug features and deep learning methods that can directly learn features from raw representations of molecules. We also evaluated whether including genomic features, in addition to gene expression data, improves the predictive performance of the models. Through these experiments, we were able to identify strategies that will help guide the development of new deep learning models for drug synergy prediction in the future. One of the main obstacles to the successful treatment of cancer is the phenomenon of drug resistance. A common strategy to overcome resistance is the use of combination therapies. However, the space of possibilities is huge and efficient search strategies are required. Machine Learning (ML) can be a useful tool for the discovery of novel, clinically relevant anti-cancer drug combinations. In particular, deep learning (DL) has become a popular choice for modeling drug combination effects. Here, we set out to examine the impact of different methodological choices on the performance of multimodal DL-based drug synergy prediction methods, including the use of different input data types, preprocessing steps and model architectures. Focusing on the NCI ALMANAC dataset, we found that feature selection based on prior biological knowledge has a positive impact-limiting gene expression data to cancer or drug response-specific genes improved performance. Drug features appeared to be more predictive of drug response, with a 41% increase in coefficient of determination (R-2) and 26% increase in Spearman correlation relative to a baseline model that used only cell line and drug identifiers. Molecular fingerprint-based drug representations performed slightly better than learned representations-ECFP4 fingerprints increased R-2 by 5.3% and Spearman correlation by 2.8% w.r.t the best learned representations. In general, fully connected feature-encoding subnetworks outperformed other architectures. DL outperformed other ML methods by more than 35% (R-2) and 14% (Spearman). Additionally, an ensemble combining the top DL and ML models improved performance by about 6.5% (R-2) and 4% (Spearman). Using a state-of-the-art interpretability method, we showed that DL models can learn to associate drug and cell line features with drug response in a biologically meaningful way. The strategies explored in this study will help to improve the development of computational methods for the rational design of effective drug combinations for cancer therapy.