1. Ji, X., Huang, K., Jin, L., Tang, H., Liu, C., et al.: Overview of 5G security technology. Sci. China (Inf. Sci.) 61(08), 107–131 (2018)
2. GNU Binary Utilities.
http://www.sourceware.org/binutils/
3. Clements, P.C.: A survey of architecture description languages. In: Proceedings of the Software Specification and Design. IEEE Computer Society, April 1996.
https://doi.org/10.1109/iwssd.1996.501143
4. Shen, J.: A research on processor architecture description languages and implementation of tool-chain generation (unpublished)
5. McCarthy, J.: Recursive functions of symbolic expressions and their computation by machine. Technical report, Massachusetts Institute of Technology, Cambridge, MA, USA