2 ms·Well, how about a provably secure hardware description language then?by sideshowb 9y agoWell, how about a provably secure hardware description language then?