Microsoft Research Blog

Z3 theorem prover

  1. Microsoft researchers present ways for securing technology old and new 

    May 23, 2016

    By Allison Linn, Senior Writer, Microsoft Microsoft researchers are looking at ways to better secure both the latest, cutting-edge consumer technologies and the more traditional tools that we rely on for everyday activities like accessing bank records and identifying ourselves at work. The researchers will…