White House urges use of type safe and memory safe programming languages and hardware ~tech security.cyber PDF 38 votes