download: <a href="http:&#x2F;&#x2F;research.microsoft.com&#x2F;en-us&#x2F;downloads&#x2F;bd5fd4cd-61b6-458a-bd94-b1f406a3f33f&#x2F;" rel="nofollow">http:&#x2F;&#x2F;research.microsoft.com&#x2F;en-us&#x2F;downloads&#x2F;bd5fd4cd-61b6-...</a><p>works fine on x64:
TESTING ISOGENY-BASED KEY EXCHANGE 
--------------------------------------------------------------------------------------------------------<p>Curve isogeny system: SIDHp751<p><pre><code>  Key exchange tests ........................................... PASSED

</code></pre>
BENCHMARKING ISOGENY-BASED KEY EXCHANGE 
--------------------------------------------------------------------------------------------------------<p>Curve isogeny system: SIDHp751<p><pre><code>  Alice&#x27;s key generation runs in ...............................   45806658 cycles
  Bob&#x27;s key generation runs in .................................   53532976 cycles
  Alice&#x27;s public key validation runs in ........................   58980241 cycles
  Bob&#x27;s public key validation runs in ..........................   64155209 cycles
  Alice&#x27;s shared key computation runs in .......................   42940225 cycles
  Bob&#x27;s shared key computation runs in .........................   51437446 cycles

</code></pre>
TESTING ELLIPTIC CURVE BIGMONT 
--------------------------------------------------------------------------------------------------------<p><pre><code>  BigMont&#x27;s scalar multiplication tests ........................ PASSED

</code></pre>
BENCHMARKING ELLIPTIC CURVE BIGMONT 
--------------------------------------------------------------------------------------------------------<p><pre><code>  BigMont&#x27;s scalar multiplication runs in ......................    5950262 cycles</code></pre>