Analyzing Forged SSL Certificates in the Wild. - Lin-Shung Huang; Alex Rice; Erling Ellingsen; Collin Jackson (IEEE Symposium on Security and Privacy, 2014)

Computation on elliptic curves with complex multiplication. - Pete L. Clark; Patrick Corn; Alex Rice; James Stankewicz (LMS J. Comput. Math., 2014)

A Quantitative Result on Diophantine Approximation for Intersective Polynomials. - Neil Lyall; Alex Rice (Integers, 2015)

A Type Theory for Strictly Associative Infinity Categories. - Eric Finster; Alex Rice; Jamie Vicary (CoRR, 2021)

A Type Theory for Strictly Unital ∞-Categories. - Eric Finster; David Reutter; Jamie Vicary; Alex Rice (LICS, 2022)

Reciprocal Sums and Counting Functions. - Alex Rice (Am. Math. Mon., 2022)

Strictly Associative and Unital $ infty$-Categories as a Generalized Algebraic Theory. - Eric Finster; Alex Rice; Jamie Vicary (CoRR, 2023)

A Syntax for Strictly Associative and Unital ∞-Categories. - Eric Finster; Alex Rice; Jamie Vicary (LICS, 2024)

A type-theoretic approach to semistrict higher categories. - Alex Rice (CoRR, 2025)

Quantum circuits are just a phase. - Chris Heunen; Louis Lemonnier; Christopher McNally; Alex Rice (CoRR, 2025)