@veorq @matthew_d_green @dylanmc @galoisinc @acfoltzer @n1nj4 Perhaps we should reconstruct this attack in #cryptol for fun?

@matthew_d_green Lots of new free time to have a look at #Cryptol then! ;) cryptol.net @galoisinc @dylanmc @acfoltzer