“Teaching Undergraduates Certified Security by Design”, JCISSE, vol. 3, no. 1, p. 22, Dec. 2015, Accessed: May 11, 2026. [Online]. Available: https://journal.cisse.info/jcisse/article/view/41