Hands-on SQL injection in the classroom: lessons learned. - Jens Mache; Carlos García Morán; Nic Richardson; Wyeth T. Greenlaw Rollins; Richard Weiss 001 (J. Comput. Sci. Coll., 2022)

Towards a Verified Implementation of a Network Stack. - Caitlyn Wilde; Wyeth T. Greenlaw Rollins; Levi Overcast; Alain Kägi (SIGCSE (2), 2024)