An alternate version: <a href="https:&#x2F;&#x2F;people.csail.mit.edu&#x2F;devadas&#x2F;pubs&#x2F;tardis.pdf" rel="nofollow">https:&#x2F;&#x2F;people.csail.mit.edu&#x2F;devadas&#x2F;pubs&#x2F;tardis.pdf</a>