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

Yawen KeXiaofeng Xia
Published in: Secur. Commun. Networks (2022)