The Rise of Memory-Safe Languages in Secure Development

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 ,