Linked Presentation: "These results must be false": A usability evaluation of constant-time analysis toolsSWOOSH: Efficient Lattice-Based Non-Interactive Key Exchange
