Mark Ryland, director of Amazon Security, discusses the need for memory-safe programming languages and formal verification techniques to address security
Essential, real-time security information about every Internet of Things device should be clearly communicated to consumers before and after purchase, a consortium