Timed Automaton-Based Quantitative Feasibility Analysis of Symmetric Cipher in Embedded RTOS: A Case Study of AES

Yawen Ke, Xiaofeng Xia. Timed Automaton-Based Quantitative Feasibility Analysis of Symmetric Cipher in Embedded RTOS: A Case Study of AES. Security and Communication Networks, 2022, 2022. [doi]

Abstract

Abstract is missing.