Efficient realization of logical execution times in legacy embedded software

2017 ◽  
Author(s):  
Stefan Resmerita ◽  
Andreas Naderlinger ◽  
Stefan Lukesch
Keyword(s):  
Embedded Software ◽  
Execution Times ◽  
Efficient Realization

Application of Error Estimating Model to Control Quality in Embedded Software Development

2010 ◽  
Vol 130 (3) ◽  
pp. 496-502
Author(s):  
Yoshiyuki Anan ◽  
Toyoshiro Nakashima ◽  
Kazunori Iwata ◽  
Hiroshi Yonemitsu ◽  
Tetsu Yoshioka ◽  
...  
Keyword(s):  
Software Development ◽  
Embedded Software ◽  
Control Quality

Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization

2014 ◽  
Author(s):  
Sudipta Chattopadhyay ◽  
Abhik Roychoudhury ◽  
Jakob Rosén ◽  
Petru Eles ◽  
Zebo Peng
Keyword(s):  
Embedded Software

Fine-Grained Mandatory Query Access Control Model and Its Efficient Realization for Spatial Vector Data

2011 ◽  
Vol 22 (8) ◽  
pp. 1872-1883 ◽  
Author(s):  
Yan ZHANG ◽  
Chi CHEN ◽  
Deng-Guo FENG
Keyword(s):  
Access Control ◽  
Control Model ◽  
Vector Data ◽  
Access Control Model ◽  
Fine Grained ◽  
Efficient Realization

FORESEE: An Effective and Efficient Framework for Estimating the Execution Times of IO Traces on the SSD

2020 ◽  
pp. 1-1
Author(s):  
Yoonsuk Kang ◽  
Yong-Yeon Jo ◽  
Jaehyuk Cha ◽  
Wan D. Bae ◽  
Wonjun Lee ◽  
...  
Keyword(s):  
Execution Times

scholarly journals Modeling and simulation of power consumption and execution times for real-time tasks on embedded heterogeneous architectures

2019 ◽  
Vol 16 (3) ◽  
pp. 51-56
Author(s):  
Alessio Balsini ◽  
Luigi Pannocchi ◽  
Tommaso Cucinotta
Keyword(s):  
Power Consumption ◽  
Modeling And Simulation ◽  
Real Time ◽  
Heterogeneous Architectures ◽  
Execution Times

Design Patterns Reuse for Real Time Embedded Software Development

2009 ◽  
Author(s):  
Gabriel de Souza Pereira Moreira ◽  
Denis Ávila Montini ◽  
Daniela América da Silva ◽  
Felipe Rafael Motta Cardoso ◽  
Luiz Alberto Vieira Dias ◽  
...  
Keyword(s):  
Software Development ◽  
Real Time ◽  
Design Patterns ◽  
Embedded Software

scholarly journals Timing attacks and local timing attacks against Barrett’s modular multiplication algorithm

2021 ◽  
Author(s):  
Johannes Mittmann ◽  
Werner Schindler
Keyword(s):  
Side Channel ◽  
Modular Exponentiation ◽  
Modular Multiplication ◽  
Multiplication Algorithm ◽  
Diffie Hellman ◽  
Mathematical Difficulties ◽  
Execution Times ◽  
Stochastic Properties ◽  
Timing Attacks ◽  
Theoretical Results

AbstractMontgomery’s and Barrett’s modular multiplication algorithms are widely used in modular exponentiation algorithms, e.g. to compute RSA or ECC operations. While Montgomery’s multiplication algorithm has been studied extensively in the literature and many side-channel attacks have been detected, to our best knowledge no thorough analysis exists for Barrett’s multiplication algorithm. This article closes this gap. For both Montgomery’s and Barrett’s multiplication algorithm, differences of the execution times are caused by conditional integer subtractions, so-called extra reductions. Barrett’s multiplication algorithm allows even two extra reductions, and this feature increases the mathematical difficulties significantly. We formulate and analyse a two-dimensional Markov process, from which we deduce relevant stochastic properties of Barrett’s multiplication algorithm within modular exponentiation algorithms. This allows to transfer the timing attacks and local timing attacks (where a second side-channel attack exhibits the execution times of the particular modular squarings and multiplications) on Montgomery’s multiplication algorithm to attacks on Barrett’s algorithm. However, there are also differences. Barrett’s multiplication algorithm requires additional attack substeps, and the attack efficiency is much more sensitive to variations of the parameters. We treat timing attacks on RSA with CRT, on RSA without CRT, and on Diffie–Hellman, as well as local timing attacks against these algorithms in the presence of basis blinding. Experiments confirm our theoretical results.

Sign in / Sign up

Export Citation Format

Share Document