Using Simon's algorithm to attack symmetric-key cryptographic primitives. - Thomas Santoli; Christian Schaffner (Quantum Inf. Comput., 2017)

A strict implication calculus for compact Hausdorff spaces. - Guram Bezhanishvili; Nick Bezhanishvili; Thomas Santoli; Yde Venema (Ann. Pure Appl. Log., 2019)