Type Safety in Hardware Security

Making sure that the binary data types are safe, and that you can’t just go and change pointers around