I am interesting in identification of software vulnerabilities, using formal methods to create software with security properties, and computer security/computer science education.

education and training
selected publications
Academic Articles29
  • Fagin, B. S., & Carlisle, M. C. (2018). The IRONSIDES Project: Final Report.. Ada User Journal. 39(3), 197-202.
  • Carlisle, M. C. (2011). Why i came back to Ada. ACM SIGAda Ada Letters. 31(3), 37-38.
    doi badge
  • Carlisle, M. C. (2009). Raptor: A Visual Programming Environment for Teaching Object-Oriented Programming. J. Comput. Sci. Coll.. 24, 275–281-275–281.
  • Carlisle, M. C., & Baird III, L. C. (2007). Timing neural networks in C and ada. ACM SIGAda Ada Letters. XXVII(3), 71-74.
    doi badge online source badge
  • Powers, K., Gross, P., Cooper, S., McNally, M., Goldman, K. J., Proulx, V., & Carlisle, M. (2006). Tools for teaching introductory programming. SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education). 38(1), 560-561.
    doi badge online source badge
  • Fagin, B., & Carlisle, M. (2013). Provably Secure DNS: A Case Study in Reliable Software. ADVANCES IN NEURAL NETWORKS - ISNN 2014. Reliable Software Technologies – Ada-Europe 2013. (pp. 81-93). Springer Berlin Heidelberg.
    doi badge
  • Carlisle, M. C., & Rogers, A. (2001). Supporting Dynamic Data Structures with Olden. ADVANCES IN NEURAL NETWORKS - ISNN 2014. Pande, S., & Agrawal, D. P. (Eds.), Compiler Optimizations for Scalable Parallel Systems. (pp. 709-749). Springer Berlin Heidelberg.
    doi badge
Conference Papers32
First Name
Last Name