Thorsten Schulz, Frank Golatowski, Dirk Timmermann. Evaluation of a formalized encryption library for safety-critical embedded systems. In IEEE International Conference on Industrial Technology, ICIT 2017, Toronto, ON, Canada, March 22-25, 2017. pages 1153-1158, IEEE, 2017. [doi]
Abstract is missing.