What Do Software Developers Need to Know to Build Secure Energy-Efficient Android Applications?

Montenegro, José Antonio; Pinto, Mónica; Fuentes, Lidia

doi:10.1109/access.2017.2779131

Cited by 7 publications

(2 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We re-use values published in [19] about energy cost for sending and receiving. We took experimental values from [15] for hash/signature consumption, by adding each verify and signing operation for each protocol we can then have energy consumption for both SEER4US and SOLSR. For SEER4US, messages are signed at every hop but for RSA signature only the first sender performs signature.…”

Section: Discussionmentioning

confidence: 99%

SEER4US, Secured Energy Efficient Routing for UAV Swarms

Fournier

Guette

Tông

et al. 2019

2019 International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob)

View full text Add to dashboard Cite

This article introduces SEER4US a secured routing protocol designed for UAV swarm networks. SEER4US is the first protocol providing integrity of routing messages and authentication of their sender with low energy consumption for battery preservation. SEER4US prevents the UAV swarms from usual routing attacks enabled when routing messages are modified or replayed by nodes external to the swarm. SEER4US is an extension of the pro-active routing protocol OLSR designed for mobile ad-hoc networks. SEER4US is also inspired from TESLA, a protocol designed for stream signature allowing authentication of stream messages sender. After specifying SEER4US, we evaluate here the energy requirements of this protocol and we show that the use of lightweight cryptography allows a significant energy saving compared to traditional cryptographic schemes.

show abstract

Section: Discussionmentioning

confidence: 99%

SEER4US, Secured Energy Efficient Routing for UAV Swarms

Fournier

Guette

Tông

et al. 2019

2019 International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob)

View full text Add to dashboard Cite

show abstract

“…But, the quality of certain features usually cannot be assessed using a single feature. For example, to adequately assess the energy consumption of an encryption code, we need to specify several features, modelling the different key sizes, modes and paddings [25]. Therefore, we cannot model the energy consumption of an encryption code with an attribute, we need a way to link a complete solution, for example, composed by the features: AES algorithm, Mode CBC, NoPadding, key size = 256, to an energy measurement.…”

Section: Non-functional Requirements Modellingmentioning

confidence: 99%

Category Theory Framework for Variability Models with Non-functional Requirements

Munoz

Gurov

Pinto

et al. 2021

Advanced Information Systems Engineering

Self Cite

View full text Add to dashboard Cite

Software Product Lines (SPLs) make use of Variability Models (VMs) as an input to automated reasoners, which are mainly used to generate optimal product configurations according to certain Quality Attributes (QAs). However, VMs and more specifically those including numerical features (i.e., NVMs), do not natively support QAs, and consequently, neither do automated reasoners commonly used in variability resolution. However, those satisfiability and optimisation problems have been covered and refined in other relational models such as databases. Category Theory (CT) is an abstract mathematical theory typically used to capture the common aspects of seemingly dissimilar algebraic structures. We propose a unified relational modelling framework subsuming the structured objects of VMs and QAs and their relationships into algebraic categories. This abstraction allows a combination of automated reasoners over different domains to analyse SPLs. The solutions optimisation can now be natively performed by a combination of automated theorem proving, hashing, balanced-trees and chasing algorithms. We validate this approach by means of the edge computing SPL tool HADAS.

show abstract