The Rise of Memory-Safe Languages in Secure Development : vi

Mark Ryland, director of Amazon Security, discusses the need for memory-safe programming languages and formal verification techniques to address security

Related Keywords

Developmentamazon Mark Ryland , Mark Ryland , Securitymathewj Schwartz , Information Security Media Group , Safe Languages In Secure Development Mark Ryland , Generation Technologies Secure Development , Application Security , Next Generation Technologies , Memory Safe Languages , Secure Developmentamazon , Improving Open Source Securitymathew , Secure Development , Amazon Security , Threat Intelligence ,