To prevent the possibility that hackers could misuse a chip's features to carry out criminal threats, Stanford engineering professors have adapted their algorithms to help prevent this type of unintended consequences. Originally developed to automate the process of finding bugs in chips and fixing these before manufacturing, their technique called Symbolic QED, has been used to debug chips developed for vehicle braking and steering systems.