Jean Mayo

50 papers A 9B 16C 4Misc 3Journal 11Unranked 7
YearRankTypeTitle / Venue / Authors
2022 — conf
Design and Use of a Visualization for Teaching Integer Coercion.
SIGCSE (1)
Steven Carr, Yu Chin Cheng, Yu-Hsiang Hu, Jean Mayo, Ahmed Radwan, Ching-Kuang Shene, James W. Walker
2021 — conf
A Visualization for Teaching Integer Coercion.
ITiCSE (2)
James W. Walker, Steven Carr, Ahmed Radwan, Yu-Hsiang Hu, Yu Chin Cheng, Jean Mayo, Ching-Kuang Shene
2021 C conf
Admonita: A Recommendation-based Trust Model for Dynamic Data Integrity.
ICISSP
Wassnaa Al-Mawee, Steve Carr, Jean Mayo
2020 A conf
A System for Visualizing the Process Address Space in the Context of Teaching Secure Coding in C.
SIGCSE
James W. Walker, Man Wang, Steve Carr, Jean Mayo, Ching-Kuang Shene
2020 A conf
SecureCvisual: Visualization and Analysis for C Code Security.
SIGCSE
Steve Carr, Jean Mayo
2020 J jnl
Visualization and analysis for C code security.
J. Comput. Sci. Coll.
Steve Carr, Jean Mayo
2019 C conf
Maia: A Language for Mandatory Integrity Controls of Structured Data.
ICISSP
Wassnaa Al-Mawee, Paul J. Bonamy, Steve Carr, Jean Mayo
2019 B conf
Teaching Integer Security Using Simple Visualizations.
ITiCSE
James W. Walker, Man Wang, Steven Carr, Jean Mayo, Ching-Kuang Shene
2017 B conf
UNIXvisual: A Visualization Tool for Teaching UNIX Permissions.
ITiCSE
Man Wang, Jean Mayo, Ching-Kuang Shene, Steve Carr, Chaoli Wang
2017 B conf
Visualization for Secure Coding in C.
ITiCSE
James W. Walker, Jean Mayo, Ching-Kuang Shene, Steve Carr
2016 B conf
AESvisual: A Visualization Tool for the AES Cipher.
ITiCSE
Jun Ma, Jun Tao, Jean Mayo, Ching-Kuang Shene, Melissa S. Keranen, Chaoli Wang
2016 B conf
UNIXvisual: A Visualization Tool for Teaching the UNIX Permission Model.
ITiCSE
Man Wang, Jean Mayo, Ching-Kuang Shene, Steve Carr, Chaoli Wang
2016 J jnl
Workshop on teaching modern models of access control hands-on: tutorial presentation.
J. Comput. Sci. Coll.
Steve Carr, Jean Mayo
2015 — conf
Fault-Tolerant Parallel and Distributed Computing for Software Engineering Undergraduates.
IPDPS Workshops
Ali Ebnenasir, Jean Mayo
2015 B conf
RBACvisual: A Visualization Tool for Teaching Access Control using Role-based Access Control.
ITiCSE
Man Wang, Jean Mayo, Ching-Kuang Shene, Thomas Lake, Steve Carr, Chaoli Wang
2015 A conf
Teaching Cryptography and Access Control Hands-On (Abstract Only).
SIGCSE
Steve Carr, Melissa S. Keranen, Jean Mayo
2015 B conf
VIGvisual: A Visualization Tool for the Vigenère Cipher.
ITiCSE
Can Li, Jun Ma, Jun Tao, Jean Mayo, Ching-Kuang Shene, Melissa S. Keranen, Chaoli Wang
2014 B conf
MLSvisual: a visualization tool for teaching access control using multi-level security.
ITiCSE
Man Wang, Steve Carr, Jean Mayo, Ching-Kuang Shene, Chaoli Wang
2014 A conf
RSAvisual: a visualization tool for the RSA cipher.
SIGCSE
Jun Tao, Jun Ma, Melissa S. Keranen, Jean Mayo, Ching-Kuang Shene, Chaoli Wang
2014 B conf
SHAvisual: a secure hash algorithm visualization tool.
ITiCSE
Jun Ma, Jun Tao, Melissa S. Keranen, Jean Mayo, Ching-Kuang Shene, Chaoli Wang
2013 C conf
An empirical study of three access control systems.
SIN
Lihui Hu, Jean Mayo, Charles Wallace
2012 J jnl
DTEvisual: a visualization system for teaching access control using Domain Type Enforcement.
J. Comput. Sci. Coll.
Yifei Li, Steve Carr, Jean Mayo, Ching-Kuang Shene, Chaoli Wang
2012 A conf
ECvisual: a visualization tool for elliptic curve based ciphers.
SIGCSE
Jun Tao, Jun Ma, Melissa S. Keranen, Jean Mayo, Ching-Kuang Shene
2011 J jnl
DESvisual: a visualization tool for the DES cipher.
J. Comput. Sci. Coll.
Jun Tao, Jun Ma, Jean Mayo, Ching-Kuang Shene, Melissa S. Keranen
2011 J jnl
Teaching access control with domain type enforcement.
J. Comput. Sci. Coll.
Steve Carr, Jean Mayo
2010 B conf
Detection of a Weak Conjunction of Unstable Predicates in Dynamic Systems.
ICPADS
Xinli Wang, Jean Mayo, Guy C. Hembroff
2009 B conf
Detection of Conjunctive Stable Predicates in Dynamic Systems.
ICPADS
Xinli Wang, Jean Mayo, Guy C. Hembroff, Chunming Gao
2008 J jnl
MuON: Epidemic based mutual anonymity in unstructured P2P networks.
Comput. Networks
Neelesh Bansod, Ashish Malgi, Byung Kyu Choi, Jean Mayo
2006 Misc conf
An Efficient Implementation of Vector Clocks in Dynamic Systems.
PDPTA
Xinli Wang, Jean Mayo, Wei Gao, James Slusser
2005 B conf
MuON: Epidemic Based Mutual Anonymity.
ICNP
Neelesh Bansod, Ashish Malgi, Byung Kyu Choi, Jean Mayo
2005 B conf
Stable Predicate Detection in Dynamic Systems.
OPODIS
Donald Darling, Jean Mayo, Xinli Wang
2004 J jnl
A Distributed Algorithm For Unstable Global Predicate Evaluation With Approximately Synchronized Clocks.
Stud. Inform. Univ.
Shilpa Bansod, Jean Mayo
2004 — conf
A Distributed Algorithm for Detecting Deadlocks under the OR Model and the Resolution Based on Hardware Clocks.
PDCS
Xinli Wang, Jean Mayo
2004 Misc conf
A Dynamic Priority Based Algorithm for Distributed Deadlock Detection and Resolution.
PDPTA
Xinli Wang, Jean Mayo
2004 A conf
A General Model for Detecting Distributed Termination in Dynamic Systems.
IPDPS
Xinli Wang, Jean Mayo
2003 Misc conf
Concurrent Mentor: A Visualization System for Distributed Programming Education.
PDPTA
Steve Carr, Changpeng Fang, Tim Jozwowski, Jean Mayo, Ching-Kuang Shene
2003 — conf
Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education.
Abstract State Machines
James K. Huggins, Jean Mayo, Charles Wallace
2003 C conf
The Advantages of Real Time in TORA.
CAINE
Jeffrey Dobbelaere, Phil Kearns, Jean Mayo
2003 J jnl
ThreadMentor: a pedagogical tool for multithreaded programming.
ACM J. Educ. Resour. Comput.
Steve Carr, Jean Mayo, Ching-Kuang Shene
2002 B conf
A Distributed Algorithm for Unstable Global Predicate Evaluation with Approximately Synchronized Clocks.
OPODIS
Shilpa Bansod, Jean Mayo
2002 A conf
A communication library to support concurrent programming courses.
SIGCSE
Steve Carr, Changpeng Fang, Tim Jozwowski, Jean Mayo, Ching-Kuang Shene
2002 B conf
Channels, visualization, and topology editor.
ITiCSE
Steve Carr, Ping Chen, Tim Jozwowski, Jean Mayo, Ching-Kuang Shene
2001 J jnl
Race conditions: a case study.
J. Comput. Sci. Coll.
Steve Carr, Jean Mayo, Ching-Kuang Shene
2001 J jnl
Teaching multithreaded programming made easy.
J. Comput. Sci. Coll.
Steve Carr, Jean Mayo, Ching-Kuang Shene
1999 A conf
A secure unrestricted advanced systems laboratory.
SIGCSE
Jean Mayo, Phil Kearns
1999 A conf
Distributed Deadlock Detection and Resolution Based on Hardware Clocks.
ICDCS
Jean Mayo, Phil Kearns
1998 B conf
A secure networked laboratory for kernel programming.
ITiCSE
Jean Mayo, Phil Kearns
1995 — conf
Efficient Distributed Termination Detection with Roughly Synchronized Clocks.
Parallel and Distributed Computing and Systems
Jean Mayo, Phil Kearns
1995 — conf
Global predicates in rough real time.
SPDP
Jean Mayo, Phil Kearns
1994 J jnl
Distributed Termination Detection with Roughly Synchronized Clocks.
Inf. Process. Lett.
Jean Mayo, Phil Kearns