Fiat Cryptography — The software that checks itself

As you may known, software is one of the most unreliable things in our modern world. Just imagine if your car stopped on the motorway with a blue screen, and then said, “Please reboot now!”. And, how do we really know how our software is going to react to every situation? Does our software ever validate its operation, in order to make sure it is working correctly? No!