Carvalho, Marco

Associate Professor
Harris Institute for Assured Information

Personal Overview

Dr Marco Carvalho an Associated Professor at the Florida Institute of Technology, and a Research Scientist at the Institute for Human and Machine Cognition. At Florida Tech, Dr. Carvalho is the Executive Director of the Harris Institute for Assured Information, and the Director of the Intelligent Communication and Information Systems Laboratory (ICIS). Dr. Carvalho is the Principal Investigator of several research projects. His area primary areas of research are in computer security, computer networks, and information systems. 


Educational Background

Ph.D. in Computer Science
Tulane University, LA/USA (2006)

M.Sc. in Computer Science
Unviersity fo West Florida, FL/USA

M.Sc. in Mechanical Engineering
Federal Unvieristy of Brasilia, UnB, Brasilia, D.F.

B.Sc. in Mechanical Engineering
Federal Unvieristy of Brasilia, UnB, Brasilia, D.F.



Current Courses

Computer Networks

Network Security

Additional Duties

Executive Director, Harris Institute for Assured Information
Director, Intelligent Communications and Information Systems Laboratory

Current Research

  • (2012 - Present) GeoReasoner – A Geo-spatial Reasoner for Advanced Cockpit Displays).
 The contextual representation of spatial features in cockpit displays is an important capability both for civilian and military aviation. As part of this research effort, the Florida Institute of Technology will collaborate with Rockwell Collins to design methods and algorithms for geospatial reasoning for advanced cockpit displays. (P.I.: Dr. Carvalho)

  • (2012 - Present) Moving Target Defense (Computer Network Security)
Under sponsorship of the U.S. Department of Defense, and in collaboration with the Institute for Human and Machine Cognition, we are designing new approach approaches for the development of Moving Target Commend and Control frameworks. (P.I.: Dr. Carvalho)

  • (2012 - Present) Hybrid Emulation Systems for Airborne Networks
As part of this research effort we are developing statistical models and frameworks to create high-fidelity wireless network emulators that are customized for airborne networks. This work is sponsored by the U.S. Air Force Research Laboratory and builds on technologies developed and the Naval Research Laboratory. (P.I.: Dr. Carvalho)

  • (2012 - Present) Cognitive Network Management and Electronic Warfare
Under sponsorship from Rockwell Collins, Dr. Carvalho is also leading a research effort for the development of cognitive network management systems and electronic warfare. This research is focused on the online behavior modeling of wireless sources for threat classification and mitigation. (P.I.: Dr. Carvalho)

  • (2012 - Present) Cross-Layer Frameworks for Survivable Information Management Systems
Under sponsorship form the U.S. Air Force Research Laboratory, and in collaboration with BBN/Raytheon, Dr. Carvalho is leading a research effort at FIT for the design of security cross-layer communication substrates for tactical information systems. This effort is in support of Raytheon's research on Survivability Assessment for Information Management, and the Air Force's Phoenix Information System.  (P.I.: Dr. Carvalho) 

  • (2011 - Present) NextVC2: Next Generation Virtual World Command and Control
Under sponsorship form the Harris Corporation, this research effort focuses on the development of Virtual Worlds for mission critical command and control. This research focuses on the problem of cross-domain information release and introduces a novel approach for policy-based operations, in collaborative and shared environments.   (Co-P.I.: Dr. Carvalho)

  • (2011 - Present) Secure Framework for Cognitive Network Management
This new project is sponsored by the Harris Corporation. As part of this effort Dr. Carvalho is collaborating with Dr. Richard Ford to create a secure platform for tactical communication systems. This capability will be combined with previous research efforts to build and demonstrate a secure cognitive network management for tactical communication environments. (P.I.: Dr. Carvalho)
Selected Publications
  • Carvalho, M., DeMott, J., Ford, R., and Wheeler, D. A. Heartbleed 101. Security & Privacy, IEEE 12, 4 (2014), 63–67. 
  • Carvalho, M., Eskridge, T. C., Bunch, L., Dalton, A., Hoffman, R., Bradshaw, J. M., Feltovich, P. J., Kidwell, D., and Shanklin, T. Mtc2: A command and control framework for moving target defense and cyber resilience. In Resilient Control Systems (ISRCS), 2013 6th International Symposium on (2013), pp. 175–180. 
  • Carvalho, M., and Ford, R. Moving-target defenses for computer networks. Security & Privacy, IEEE 12, 2 (2014), 73–76. 
  • Carvalho, M., Granados, A., McLane, J., and Stoner, E. An adversarial gaming and emu- lation environment for resilient network design and electronic warfare. Tech. rep., Florida institute of Technology, Melbourne, FL, June 2013. 
  • Carvalho, M., Granados, A., McLane, J., and Stoner, E. A gaming environment for resilient network design and adversarial co-evolution modeling. In Proceedings of the 3rd International Conference on Information Communication and Management (Paris, France, October 2013), vol. 2 of Lecture Notes on Information Theory, pp. 92–97. 
  • Carvalho, M., Granados, A., McLane, J., and Stoner, E. A gaming environment for resilient network design and adversarial co-evolution modeling. Lecture Notes on Information Theory Vol 2, 1 (2014). 
  • Fink, G. A., and Carvalho, M. The language of behavior: Exploring a new formalism for resilient response. In Resilient Control Systems (ISRCS), 2013 6th International Symposium on (2013), pp. 210– 217. 
  • Ford, R., and Carvalho, M. Protecting me. Security & Privacy, IEEE 12, 1 (2014), 80–82. 
  • Hambebo, B. M., Carvalho, M., and Ham, F. Strategies for spectrum allocation in ofdma cellular networks. In Learning and Intelligent Optimization. Springer International Publishing, 2014, pp. 378– 382. 
  • Hambebo, B. M., Carvalho, M. M., and Ham, F. M. Performance evaluation of static frequency reuse techniques for ofdma cellular networks. In Networking, Sensing and Control (ICNSC), 2014 IEEE 11th International Conference on (2014), IEEE, pp. 355–360. 
  • McCusker, O., Brunza, S., Carvalho, M., Dasgupta, D., and Vora, S. A combined discrimi- native and generative behavior model for cyber physical system defense. In Resilient Control Systems (ISRCS), 2013 6th International Symposium on (2013), pp. 144–149. 
  • Oliveira, D., Carvalho, M., and Menezes, R. Using network sciences to evaluate the brazilian airline network. In COCOON (2013), D.-Z. Du and G. Zhang, Eds., vol. 7936 of Lecture Notes in Computer Science, Springer, pp. 849–858. 
  • Pappu, V., Carvalho, M., and Pardalos, P. Optimization and Security Challenges in Smart Power Grids. Energy Systems. Springer London, Limited, 2013.
  • Pindoriya, N. M., Dasgupta, D., Srinivasan, D., and Carvalho, M. Infrastructure security for smart electric grids: A survey. In Systems and Optimization Aspects of Smart Grid Challenges (2013), P. P. Vijay Pappu, Marco Carvalho, Ed., no. 8 in Energy Systems, Springer London, Limited, p. 220. 
  • Rey, G. Z., Carvalho, M., and Trentesaux, D. Cooperation models between humans and artificial self-organizing systems: Motivations, issues and perspectives. In Resilient Control Systems (ISRCS), 2013 6th International Symposium on (2013), pp. 156–161. 
  • Zhou, X., Petrovic, M., Eskridge, T., and Carvalho, M. Exploring netfow data using hadoop.

Selected Publications