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 Walker
Michigan Tech Publications

A Visualization for Teaching Integer Coercion, James Walker, Steven M. Carr, Ahmed Radwan, Yuhsiang Hu, Yuchin Cheng, Jean Mayo, Ching-Kuang Shene
Michigan Tech Publications

Admonita: A recommendation-based trust model for dynamic data integrity, Wassnaa Al-Mawee, Steve Carr, Jean Mayo
Michigan Tech Publications

SecureCvisual: Visualization and Analysis for C Code Security, Steve Carr, Jean Mayo
Michigan Tech Publications

A system for visualizing the process address space in the context of teaching secure coding in C, James Walker, Man Wang, Steven M. Carr, Jean Mayo, Ching-Kuang Shene
Michigan Tech Publications

Maia: A language for mandatory integrity controls of structured data, Wassnaa Al-Mawee, Paul Bonamy, Steven Carr, Jean Mayo
Michigan Tech Publications

Teaching integer security using simple visualizations, James Walker, Man Wang, Steven Carr, Jean Mayo, Ching-Kuang Shene
Michigan Tech Publications

UNIXvisual: A visualization tool for teaching UNIX Permissions, Man Wang, Jean Mayo, Ching-Kuang Shene, Steven Carr, Chaoli Wang
Michigan Tech Publications

UNIXvisual: A visualization tool for teaching the UNIX permission model, Man Wang, Jean Mayo, Ching-Kuang Shene, Steven Carr, Chaoli Wang
Michigan Tech Publications

AESvisual: A visualization tool for the AES cipher, Jun Ma, Jun Tao, Jean Mayo, Ching-Kuang Shene, Melissa Karanen, Chaoli Wang
Michigan Tech Publications

Fault-tolerant parallel and distributed computing for software engineering undergraduates, Ali Ebnenasir, Jean Mayo
Michigan Tech Publications

VIGvisual: A visualization tool for the Vigenère cipher, Can Li, Jun Ma, Jun Tao, Jean Mayo, Ching-Kuang Shene, Melissa Karanen, Chaoli Wang
Michigan Tech Publications

RBACvisual: A visualization tool for teaching access control using role-based access control, Man Wang, Jean Mayo, Ching-Kuang Shene, Thomas Lake, Steven Carr, Chaoli Wang
Michigan Tech Publications

Teaching cryptography and access control hands-on, Steve M. Carr, Melissa Karanen, Jean Mayo
Michigan Tech Publications

SHAvisual: A secure hash algorithm visualization tool, Jun Ma, Jun Tao, Melissa Karanen, Jean Mayo, Ching-Kuang Shene, Chaoli Wang
Michigan Tech Publications

Detection of a weak conjunction of unstable predicates in dynamic systems, Xinli Wang, Jean Mayo, Guy Hembroff
Michigan Tech Publications

Detection of conjunctive stable predicates in dynamic systems, Xinli Wang, Jean Mayo, Guy Hembroff, Chunming Gao
Michigan Tech Publications

MuON: Epidemic based mutual anonymity in unstructured P2P networks, Neelesh Bansod, Ashish Malgi, Byung K. Choi, Jean Mayo
Michigan Tech Publications

Stable predicate detection in dynamic systems, Donald Darling, Jean Mayo, Xinli Wang
Michigan Tech Publications

MuON: epidemic based mutual anonymity, Neelesh Bansod, Ashish Malgi, Byung K. Choi, Jean Mayo
Michigan Tech Publications

ThreadMentor: a pedagogical tool for multithreaded programming, Steven Carr, Jean Mayo, Ching-Kuang Shene
Michigan Tech Publications

Teaching ASMs, teaching with ASMs: Opportunities in undergraduate education, James Huggins, Jean Mayo, Charles Wallace
Michigan Tech Publications

Channels, visualization, and topology editor, Steven Carr, Ping Chen, Timothy R. Jozwowski, Jean Mayo, Ching-Kuang Shene
Michigan Tech Publications

A communication library to support concurrent programming courses, Steven Carr, Changpeng Fang, Timothy R. Jozwowski, Jean Mayo, Ching-Kuang Shene
Michigan Tech Publications

A secure networked laboratory for kernel programming, Jean Mayo, Phil Kearns
Michigan Tech Publications