This is the first blog post from the VeriS Research Group—many more to come. Stay tuned!