| 2022 | SIGCSE | Design and Use of a Visualization for Teaching Integer Coercion. | Steven Carr, Yu Chin Cheng, Yu-Hsiang Hu, Jean Mayo, Ahmed Radwan, Ching-Kuang Shene, James W. Walker |
| 2021 | ICISSP | Admonita: A Recommendation-based Trust Model for Dynamic Data Integrity. | Wassnaa Al-Mawee, Steve Carr, Jean Mayo |
| 2021 | ITiCSE | A Visualization for Teaching Integer Coercion. | James W. Walker, Steven Carr, Ahmed Radwan, Yu-Hsiang Hu, Yu Chin Cheng, Jean Mayo, Ching-Kuang Shene |
| 2020 | SIGCSE | SecureCvisual: Visualization and Analysis for C Code Security. | Steve Carr, Jean Mayo |
| 2020 | SIGCSE | A System for Visualizing the Process Address Space in the Context of Teaching Secure Coding in C. | James W. Walker, Man Wang, Steve Carr, Jean Mayo, Ching-Kuang Shene |
| 2019 | ICISSP | Maia: A Language for Mandatory Integrity Controls of Structured Data. | Wassnaa Al-Mawee, Paul J. Bonamy, Steve Carr, Jean Mayo |
| 2019 | ITiCSE | Teaching Integer Security Using Simple Visualizations. | James W. Walker, Man Wang, Steven Carr, Jean Mayo, Ching-Kuang Shene |
| 2017 | ITiCSE | Visualization for Secure Coding in C. | James W. Walker, Jean Mayo, Ching-Kuang Shene, Steve Carr |
| 2017 | ITiCSE | UNIXvisual: A Visualization Tool for Teaching UNIX Permissions. | Man Wang, Jean Mayo, Ching-Kuang Shene, Steve Carr, Chaoli Wang |
| 2016 | ITiCSE | AESvisual: A Visualization Tool for the AES Cipher. | Jun Ma, Jun Tao, Jean Mayo, Ching-Kuang Shene, Melissa S. Keranen, Chaoli Wang |
| 2016 | ITiCSE | UNIXvisual: A Visualization Tool for Teaching the UNIX Permission Model. | Man Wang, Jean Mayo, Ching-Kuang Shene, Steve Carr, Chaoli Wang |
| 2015 | ITiCSE | VIGvisual: A Visualization Tool for the Vigenre Cipher. | Can Li, Jun Ma, Jun Tao, Jean Mayo, Ching-Kuang Shene, Melissa S. Keranen, Chaoli Wang |
| 2015 | ITiCSE | RBACvisual: A Visualization Tool for Teaching Access Control using Role-based Access Control. | Man Wang, Jean Mayo, Ching-Kuang Shene, Thomas Lake, Steve Carr, Chaoli Wang |
| 2015 | SIGCSE | Teaching Cryptography and Access Control Hands-On (Abstract Only). | Steve Carr, Melissa S. Keranen, Jean Mayo |
| 2014 | ITiCSE | SHAvisual: a secure hash algorithm visualization tool. | Jun Ma, Jun Tao, Melissa S. Keranen, Jean Mayo, Ching-Kuang Shene, Chaoli Wang |
| 2014 | ITiCSE | MLSvisual: a visualization tool for teaching access control using multi-level security. | Man Wang, Steve Carr, Jean Mayo, Ching-Kuang Shene, Chaoli Wang |
| 2014 | SIGCSE | RSAvisual: a visualization tool for the RSA cipher. | Jun Tao, Jun Ma, Melissa S. Keranen, Jean Mayo, Ching-Kuang Shene, Chaoli Wang |
| 2013 | SIN | An empirical study of three access control systems. | Lihui Hu, Jean Mayo, Charles Wallace |
| 2012 | SIGCSE | ECvisual: a visualization tool for elliptic curve based ciphers. | Jun Tao, Jun Ma, Melissa S. Keranen, Jean Mayo, Ching-Kuang Shene |
| 2010 | ICPADS | Detection of a Weak Conjunction of Unstable Predicates in Dynamic Systems. | Xinli Wang, Jean Mayo, Guy C. Hembroff |
| 2009 | ICPADS | Detection of Conjunctive Stable Predicates in Dynamic Systems. | Xinli Wang, Jean Mayo, Guy C. Hembroff, Chunming Gao |
| 2006 | PDPTA | An Efficient Implementation of Vector Clocks in Dynamic Systems. | Xinli Wang, Jean Mayo, Wei Gao, James Slusser |
| 2005 | ICNP | MuON: Epidemic Based Mutual Anonymity. | Neelesh Bansod, Ashish Malgi, Byung Kyu Choi, Jean Mayo |
| 2005 | OPODIS | Stable Predicate Detection in Dynamic Systems. | Donald Darling, Jean Mayo, Xinli Wang |
| 2004 | PDPTA | A Dynamic Priority Based Algorithm for Distributed Deadlock Detection and Resolution. | Xinli Wang, Jean Mayo |
| 2003 | CAINE | The Advantages of Real Time in TORA. | Jeffrey Dobbelaere, Phil Kearns, Jean Mayo |
| 2003 | PDPTA | Concurrent Mentor: A Visualization System for Distributed Programming Education. | Steve Carr, Changpeng Fang, Tim Jozwowski, Jean Mayo, Ching-Kuang Shene |
| 2002 | ITiCSE | Channels, visualization, and topology editor. | Steve Carr, Ping Chen, Tim Jozwowski, Jean Mayo, Ching-Kuang Shene |
| 2002 | OPODIS | A Distributed Algorithm for Unstable Global Predicate Evaluation with Approximately Synchronized Clocks. | Shilpa Bansod, Jean Mayo |
| 2002 | SIGCSE | A communication library to support concurrent programming courses. | Steve Carr, Changpeng Fang, Tim Jozwowski, Jean Mayo, Ching-Kuang Shene |
| 1999 | ICDCS | Distributed Deadlock Detection and Resolution Based on Hardware Clocks. | Jean Mayo, Phil Kearns |
| 1999 | SIGCSE | A secure unrestricted advanced systems laboratory. | Jean Mayo, Phil Kearns |
| 1998 | ITiCSE | A secure networked laboratory for kernel programming. | Jean Mayo, Phil Kearns |