HR job title
- Professor of the Practice
- Contact Info
- Websites
- ORCiD
- 0000-0003-3940-8268
Carlisle, Martin Professor of the Practice
Positions
- Professor of the Practice, Computer Science and Engineering, College of Engineering
- Faculty Affiliate, Institute for Engineering Education and Innovation, Texas A&M Engineering Experiment Station (TEES)
I am interesting in identification of software vulnerabilities, using formal methods to create software with security properties, and computer security/computer science education.
Research Areas
- Overview
- Publications
- Teaching
- Background
- Contact
- Other
- View All
Overview
Publications
selected publications
-
academic article
-
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.
-
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.
-
Carlisle, M. C.
(2006).
Automatic OO parser generation using visitors for Ada 2005. ACM SIGAda Ada Letters.
XXVI(3), 3-8.
-
Carlisle, M. C., & Hamilton, J. A.
(2006).
Integrating Ada 2005 into visual studio 2005. ACM SIGAda Ada Letters.
XXVI(3), 15-20.
-
Carlisle, M. C.
(2006).
How Ada 2005 impacts CS1/2. ACM SIGAda Ada Letters.
XXVI(1), 18-24.
-
Powers, K., Gross, P., Cooper, S., McNally, M., Goldman, K. J., Proulx, V., & Carlisle, M.
(2006).
Tools for teaching introductory programming. ACM SIGCSE Bulletin.
38(1), 560-561.
-
Carlisle, M. C., Wilson, T. A., Humphries, J. W., & Hadfield, S. M.
(2005).
RAPTOR. ACM SIGCSE Bulletin.
37(1), 176-180.
-
Carlisle, M. C., & Merkle, L. D.
(2004).
Automated Load Balancing of a Missile Defense Simulation Using Domain Knowledge. Journal of Defense Modeling and Simulation.
1(1), 59-68.
-
Carlisle, M. C., Wilson, T. A., Humphries, J. W., & Hadfield, S. M.
(2004).
RAPTOR: Introducing Programming to Non-Majors with Flowcharts. J. Comput. Sci. Coll..
19, 52–60-52–60.
-
Humphries, J. W., Carlisle, M. C., & Wilson, T. A.
(2004).
Multilanguage programming with ada in the .Net environment. ACM SIGAda Ada Letters.
XXIV(1), 1-3.
-
Sward, R. E., Carlisle, M. C., Fagin, B. S., & Gibson, D. S.
(2004).
The case for Ada at the USAF academy. ACM SIGAda Ada Letters.
XXIV(1), 68-70.
-
Carlisle, M. C., Sward, R. E., & Humphries, J. W.
(2003).
Weaving Ada 95 into the .net environment. ACM SIGAda Ada Letters.
XXIII(1), 22-26.
-
Carlisle, M. C., & Sward, R. E.
(2002).
An automatic "visitor" generator for ada. ACM SIGAda Ada Letters.
XXII(3), 42-47.
-
Humphries, J. W., & Carlisle, M. C.
(2002).
Introduction to Cryptography. ACM Transactions on Computing Education.
2(3), 2-2.
-
Carlisle, M. C., & Shomper, K.
(2002).
ROBOT interpreter. ACM Transactions on Computing Education.
2(2), 2-2.
-
Carlisle, M.
(2001).
Keynote address. ACM SIGAda Ada Letters.
XXI(4), 71-72.
-
Carlisle, M. C.
(2000).
An automatic object-oriented parser generator for Ada. ACM SIGAda Ada Letters.
XX(2), 57-62.
-
Carlisle, M. C.
(1999).
A truly implementation independent GUI development tool. ACM SIGAda Ada Letters.
XIX(3), 47-52.
-
Carlisle, M. C.
(1999).
Graphics for free. ACM SIGCSE Bulletin.
31(2), 65-68.
-
Carlisle, M. C., & Maes, P.
(1998).
RAPID. ACM SIGAda Ada Letters.
XVIII(6), 158-164.
-
Carlisle, M. C.
(1998).
Graphics for free. ACM SIGAda Ada Letters.
XVIII(5), 47-50.
-
Carlisle, M. C., & Chamillard, A. T.
(1998).
AdaGIDE: a friendly introductory programming environment for a freshman computer science course. ACM SIGAda Ada Letters.
XVIII(2), 42-52.
-
Carlisle, M. C., & Rogers, A.
(1996).
Software Caching and Computation Migration in Olden. Journal of Parallel and Distributed Computing.
38(2), 248-255.
-
Carlisle, M. C., & Rogers, A.
(1995).
Software caching and computation migration in Olden. ACM SIGPLAN NOTICES.
30(8), 29-38.
-
Carlisle, M. C., & Lloyd, E. L.
(1995).
On the k-coloring of intervals. DISCRETE APPLIED MATHEMATICS.
59(3), 225-235.
-
Rogers, A., Carlisle, M. C., Reppy, J. H., & Hendren, L. J.
(1995).
Supporting dynamic data structures on distributed-memory machines. ACM Transactions on Programming Languages and Systems.
17(2), 233-263.
-
Buchsbaum, A. L., & Carlisle, M. C.
(1993).
Determining uni-connectivity in directed graphs. Information Processing Letters.
48(1), 9-12.
-
Fagin, B. S., & Carlisle, M. C.
(2018).
The IRONSIDES Project: Final Report. Ada User Journal.
39(3), 197-202.
-
chapter
-
Fagin, B., & Carlisle, M.
(2013).
Provably Secure DNS: A Case Study in Reliable Software. ADVANCED COMPUTING STRATEGIES FOR ENGINEERING, PT II.
Reliable Software Technologies – Ada-Europe 2013.
(pp. 81-93).
Springer Berlin Heidelberg.
-
Carlisle, M. C., & Rogers, A.
(2001).
Supporting Dynamic Data Structures with Olden. ADVANCED COMPUTING STRATEGIES FOR ENGINEERING, PT II.
Pande, S., & Agrawal, D. P. (Eds.),
Compiler Optimizations for Scalable Parallel Systems.
(pp. 709-749).
Springer Berlin Heidelberg.
-
Fagin, B., & Carlisle, M.
(2013).
Provably Secure DNS: A Case Study in Reliable Software. ADVANCED COMPUTING STRATEGIES FOR ENGINEERING, PT II.
Reliable Software Technologies – Ada-Europe 2013.
(pp. 81-93).
Springer Berlin Heidelberg.
-
conference paper
-
Jones, L., Christman, D., Banescu, S., & Carlisle, M.
(2018).
ByteWise: A case study in neural network obfuscation identification. 155-164.
-
Fagin, B. S., Klanderman, B., & Carlisle, M. C.
(2017).
Making DNS Servers Resistant to Cyber Attacks: An Empirical Study on Formal Methods and Performance. 2015 IEEE 39th Annual Computer Software and Applications Conference.
566-571.
-
Jones, L., Sellers, A., & Carlisle, M.
(2016).
CARDINAL: similarity analysis to defeat malware compiler variations. 1-8.
-
Jones, L., Sellers, A., Carlisle, M., & IEEE.
(2016).
CARDINAL: Similarity Analysis to Defeat Malware Compiler Variations. 39-46.
-
Adkins, F., Jones, L., Carlisle, M., & Upchurch, J.
(2013).
Heuristic malware detection via basic block comparison. 11-18.
-
Carlisle, M., & Fagin, B.
(2012).
IRONSIDES: DNS with no single-packet denial of service or remote code execution vulnerabilities. 2012 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM).
839-844.
-
Baird, L. C., Carlisle, M. C., Bahn, W. L., & Smith, E.
(2012).
The Glowworm hash: Increased speed and security for BBC unkeyed jam resistance. 2008 IEEE MILITARY COMMUNICATIONS CONFERENCE: MILCOM 2008, VOLS 1-7.
1-6.
-
Hadfield, S., Schweitzer, D., Gibson, D., Fagin, B., Carlisle, M., Boleng, J., & Bibighaus, D.
(2011).
Defining, integrating, and assessing a purposeful progression of cross-curricular initiatives into a computer science program. 2011 Frontiers in Education Conference (FIE).
t3j-1-t3j-6-T3J-6.
-
Carlisle, M. C.
(2011).
What should a college classroom look like in a digital age?. 1-1.
-
Carlisle, M. C.
(2011).
Why i came back to Ada. ACM SIGAda Ada Letters.
37-38.
-
Leemon, C. B., Martin, C. C., & William, L. B.
(2010).
Unkeyed jam resistance 300 times faster: The Inchworm hash. 1298-1303.
-
Carlisle, M. C.
(2010).
Using You Tube to enhance student class preparation in an introductory Java course. 470-474.
-
Sutton, D. P., Carlisle, M. C., Sarmiento, T. A., & Baird, L. C.
(2009).
Partitioned neural networks. 2009 International Joint Conference on Neural Networks.
3032-3037.
-
Hamilton, S. S., Carlisle, M. C., & Hamilton, J. A.
(2007).
A Global Look at Authentication. 1-8.
-
Carlisle, M. C., & Baird, L. C.
(2007).
Design and Use of a Secure Testing Environment on Untrusted Hardware. 349-354.
-
Baird, L. C., Bahn, W. L., Collins, M. D., Carlisle, M. C., & Butler, S. C.
(2007).
Keyless Jam Resistance. 143-150.
-
Richardson, K., Hamilton, J. A., & Carlisle, M. C.
(2007).
A Performance Analysis of the Spring Protocol through Simulation. 356–361-356–361.
-
Carlisle, M. C., & Baird III, L. C.
(2007).
Timing neural networks in C and ada. ACM SIGAda Ada Letters.
71-74.
-
Carlisle, M. C., Humphries, J. W., & Hamilton, J. A.
(2006).
Safely Redistributing Untrusted Code using .NET. 326-331.
-
Carlisle, M. C.
(2006).
Automatic OO parser generation using visitors for Ada 2005. ACM SIGAda Ada Letters.
3-8.
-
Carlisle, M. C., & Hamilton, J. A.
(2006).
Integrating Ada 2005 into visual studio 2005. 15-20.
-
Powers, K., Gross, P., Cooper, S., McNally, M., Goldman, K. J., Proulx, V., & Carlisle, M.
(2006).
Tools for teaching introductory programming. ACM SIGCSE Bulletin.
560-561.
-
Giordano, J. C., & Carlisle, M.
(2006).
Toward a more effective visualization tool to teach novice programmers. 115-122.
-
Carlisle, M. C., Wilson, T. A., Humphries, J. W., & Hadfield, S. M.
(2005).
RAPTOR. 176.
-
Humphries, J. W., Carlisle, M. C., & Wilson, T. A.
(2003).
Multilanguage programming with ada in the .Net environment. ACM SIGAda Ada Letters.
1-3.
-
Sward, R. E., Carlisle, M. C., Fagin, B. S., & Gibson, D. S.
(2003).
The case for Ada at the USAF academy. ACM SIGAda Ada Letters.
68-70.
-
Carlisle, M. C., Sward, R. E., & Humphries, J. W.
(2002).
Weaving Ada 95 into the .net environment. ACM SIGAda Ada Letters.
22-26.
-
Carlisle, M.
(2001).
Keynote address. ACM SIGAda Ada Letters.
71-72.
-
Carlisle, M. C.
(1999).
A truly implementation independent GUI development tool. ACM SIGAda Ada Letters.
47-52.
-
Carlisle, M. C., & Maes, P.
(1998).
RAPID. ACM SIGAda Ada Letters.
158-164.
-
Carlisle, M. C., & Rogers, A.
(1995).
Software caching and computation migration in Olden. ACM SIGPLAN NOTICES.
29-38.
-
Carlisle, M. C., Rogers, A., Reppy, J. H., & Hendren, L. J.
(1994).
Early experiences with Olden. 1-20.
-
Jones, L., Christman, D., Banescu, S., & Carlisle, M.
(2018).
ByteWise: A case study in neural network obfuscation identification. 155-164.
-
open teaching materials
-
Carlisle, M.
(2021).
CSCE 704 Data Analytics for Cybersecurity
-
Carlisle, M.
(2021).
CSCE 704 Data Analytics for Cybersecurity
Teaching
teaching activities
- CSCE120 Program Design & Concepts Instructor
- CSCE121 Intro Pgm Design Concept Instructor
- CSCE222 Discrete Struc Computing Instructor
- CSCE465 Comp & Net Security Instructor
- CSCE481 Seminar Instructor
- CSCE485 Directed Studies Instructor
- CSCE489 Sptp:data Analytics For Cyber Instructor
- CSCE685 Directed Studies Instructor
- CSCE704 Data Analytics Cybersecurity Instructor
Background
education and training
- Ph.D. in Computer Science, Princeton University - (Princeton, New Jersey, United States) 1996
- B.S. in Mathematics and Computer Science, University of Delaware - (Newark, Delaware, United States) 1991
Contact
first name
- Martin
has last name
- Carlisle
Other
In the News
- 10 Talented Federal Employees Earn Arthur S. Flemming Awards News Release
- In cyber war game, Air Force cadets fend off NSA hackers News Release
- Learning to attack the cyberattackers can't happen fast enough News Release
- Meet the Air Force's future cyber force News Release
- SANS Honors People Who Made a Difference in Cybersecurity in 2014 News Release
- Student team places in embedded security system competition News Release
- U.S. Air Force blasts Outlook security patch News Release
- carlislem@tamu.edu