Category: CS

Signature Research Inc. has partnered with Michigan Technological University to accomplish a Phase II STTR project sponsored by the National Geospatial-Intelligence Agency. The two-year, $1 Million project is titled, “Algorithms for Look-Down Infrared Target Exploitation-Phase II.” Michigan Tech’s portion of the $1 million contract is $400K.

Principal investigator of the project is Dr. Timothy Havens, director of the Institute of Computing and Cyberystems (ICC) and associate dean of research for the College of Computing. Havens is joined by Signature Research, Inc. (SGR) Program Manager Matt Blanck, who will lead the SGR side of the project.

At Tech, Havens will be assisted in accomplishing the goals of this project by Research Scientist Adam Webb of the Michigan Tech Research Institute (MTRI) and Nicholas Hamilton, a Computer Science Ph.D. candidate.

“This project will identify physics-based novel signatures and data processing techniques to exploit overhead infrared (IR) imagery using machine learning algorithms.”

“The SGR/MTU Team will generate, collect, and label a wide body of data, implement learning algorithms, develop use cases and tests on those data, and perform a comprehensive study to determine ways in which learning algorithms can automate IR imagery recognition tasks.”

Dr. Timothy Havens

And while this effort is focused on overhead IR imagery, Havens says the methods and software developed will have applicability to other sensing modalities, leading to investigations of multi-modal fusion of all-source data.

Signature Research, Inc. (SGR) solutions to DoD and Intelligence Community customers, and specializes in in Signature Phenomenology, Analysis, and Modeling of items of military interest covering the breadth of the electromagnetic spectrum.

The National Geospatial-Intelligence Agency (NGA) is a combat support agency under the United States Department of Defense and a member of the United States Intelligence Community, with the primary mission of collecting, analyzing, and distributing geospatial intelligence in support of national security.

The Institute of Computing and Cybersystems (ICC) promotes research and learning experiences in the areas of cyber-physical systems, cybersecurity, data sciences, human-centered computing, and scalable architectures and systems for the benefit of Michigan Tech and society at large.

The Michigan Tech Research Institute (MTRI) is an innovator in building information from data through the marriage of phenomenological understanding and implementation of mathematically rigorous algorithms. Together with University and other national and international collaborators, MTRI researchers and scientists work to solve critical problems in national security, protecting and evaluating critical infrastructure, bioinformatics, Earth sciences, and environmental processes, according to their website.

The Michigan Tech Graduate School has announced that Computer Science Ph.D. candidate Ali Jalooli is among the graduate students who have received a Doctoral Finishing Fellowship Award.

Jalooli’s research studies the optimization of message routing in heterogeneous wireless networks. His dissertation is titles, “Enabling Technologies for Internet of Things: Optimized Networking for Connected and Autonomous Vehicles.”

Each semester, the Graduate School awards Finishing Fellowships that provide support to Ph.D. candidates nearing completion of their degrees. The fellowships, available through the generosity of University alumni and friends, are intended to recognize outstanding Ph.D. candidates who are in need of financial support to finish their degrees, and who are also contributing to the attainment of goals outlined in The Michigan Tech Plan. Support ranges from a $2,000 stipend to full support (stipend and tuition).

Jalooli’s research focuses on vehicular “networks in smart cities. He notes that research in this area is of great importance, as it advances cutting-edge connected and autonomous vehicle technologies.

“This has far-reaching consequences for many aspects of daily life, given the expanding world of the Internet of Things,” he explains. “Connected vehicles provide various benefits, spanning from advanced driver assistance, remote diagnostics, and infotainment for consumers to road safety, improving response time for emergency vehicles, and even improving national and international economies by ameliorating traffic congestion.”

“My work at Tech on the underlying networks that drive these technologies enhances the performance and feasibility of robust wireless networks,” Jalooli says. “During my time at Tech, I have also gained teaching experience and increased responsibility in course development and assessment as a teaching assistant and lead instructor.”

“I am grateful to the Graduate School and the Graduate School Dean Awards Advisory Panel for awarding me a Finishing Fellowship,” Jalooli says. “I am also grateful to my advisors, Dr. Kuilin Zhang and Dr. Min Song, for their support and guidance.”

Read a Grad School blog post about Ali Jalooli here.

Additional recipients of graduate student awards appear below.
Doctoral Finishing Fellowship Award: Elizabeth M. Barnes, Forest Science; Shahab Bayani Ahangar, Mechanical Engineering-Engineering Mechanics; Haitao Cao, Geophysics ; Eassa Hedayati, Computational Science and Engineering; Pratik Umesh Joshi, Chemical Engineering ; Kevin C. Nevorski, Biological Sciences ; Bethel Worku Tarekegne, Environmental Energy and Policy; Hua Wang, Rhetoric, Theory and Culture
Portage Health Foundation Graduate Assistantship: Lavanya Rajesh Kumar, Applied Cognitive Science and Human Factors; Dylan G. Turpeinen, Chemical Engineering
Matwiyoff & Hogberg Endowed Graduate Fellowship: Wenkai Jia, Biomedical Engineering
The DeVlieg Foundation 2020 Summer Research Award in Biology/Wildlife: Angela M. Walczyk, Biological Sciences

Profiles of all the current recipients can be found online.

The MTU RedTeam ranked 13th out of 162 teams in a recent 24-hour Cybar OSINT Capture The Flag (CTF) cybersecurity competition. The team finished tied for 5th place, having completed all the challenges presented by the competition.

Students on the team were Trevor Hornsby (Software Engineering), Shane Hoppe (Computer Science), Matthew Chau (Cybersecurity), Steven Whitaker (Electrical Engineering), and Sankalp Shastry (Electrical Engineering).

Professor Yu Cai, Applied Computing, and Assistant Professor Bo Chen, Computer Science, are advisor and co-advisor of RedTeam, respectively. Both are members of the ICC’s Center for Cybersecurity.

RedTeam promotes a security-driven mindset among Michigan Tech students and provides a community and resource for those wishing to learn more about information security. The RedTeam competes in National Cyber League (NCL) competitions, a great way for students to gain competency in cybersecurity tools and boost their resumes.

RedTeam is on Slack at mturedteam.slack.com. Interested students can sign up with a Michigan Tech email. View past RedTeam presentations here.

This OSINT CTF is non-theoretical and contestants work in teams of up to four members to crowdsource the collection of OSINT to assist law enforcement in generating new leads on missing persons.

The contest runs as a Capture the Flag (CTF) format where contestants must collect various “flags” which equate to points. Since the each flag submitted is treated as potential “net new intelligence”, Trace Labs has a team of volunteers known as “Judges” who validate each submission and award points if the flag meets the category requirements. At the end of each CTF, the team with the most points on the scoreboard wins.

College of Computing Assistant Professor Bo Chen, Computer Science, and his graduate students presented two posters at the 41st IEEE Symposium on Security and Privacy, which took place online May 18 to 21, 2020.

Since 1980, the IEEE Symposium on Security and Privacy has been the premier forum for presenting developments in computer security and electronic privacy, and for bringing together researchers and practitioners in the field.

Chen leads the Security and Privacy (SnP) lab at Michigan Tech. He is a member of Michigan Tech’s Institute of Computing and Cybersystems (ICC) Center for Cybersecurity (CyberS).

Chen’s research focuses on applied cryptography and data security and he investigates novel techniques to protect sensitive data in mobile devices/flash storage media and cloud infrastructures. Chen is also interested in designing novel techniques to ensure security and privacy of big data.

Chen will serve as general chair for the First EAI International Conference on Applied Cryptography in Computer and Communications (AC3), which will be held in Xiamen, China, in May 2021.

Visit Bo Chen’s faculty webpage here.

Poster: A Secure Plausibly Deniable System for Mobile Devices against Multi-snapshot Adversaries
Authors: Bo Chen, Niusen Chen
Abstract: Mobile computing devices have been used broadly to store, manage and process critical data. To protect confidentiality of stored data, major mobile operating systems provide full disk encryption, which relies on traditional encryption and requires keeping the decryption keys secret. This however, may not be true as an active attacker may coerce victims for decryption keys. Plausibly deniable encryption (PDE) can defend against such a coercive attacker by disguising the secret keys with decoy keys. Leveraging concept of PDE, various PDE systems have been built for mobile devices. However, a practical PDE system is still missing which can be compatible with mainstream mobile devices and, meanwhile, remains secure when facing a strong multi- snapshot adversary. This work fills this gap by designing the first mobile PDE system against the multi-snapshot adversaries.

Poster: Incorporating Malware Detection into Flash Translation Layer
Authors: Wen Xie, Niusen Chen, Bo Chen
Abstract: OS-level malware may compromise OS and obtain root privilege. Detecting this type of strong malware is challeng- ing, since it can easily hide its intrusion behaviors or even subvert the malware detection software (or malware detector). Having observed that flash storage devices have been used broadly by computing devices today, we propose to move the malware detector to the flash translation layer (FTL), located inside a flash storage device. Due to physical isolation provided by the FTL, the OS-level malware can neither subvert our malware detector, nor hide its access behaviors from our malware detector.

The 41st IEEE Symposium on Security and Privacy was sponsored by the IEEE Computer Society Technical Committee on Security and Privacy in cooperation with the International Association for Cryptologic Research. The Symposium was May 18-20, 2020, and the Security and Privacy Workshops were May 21, 2020.

The College of Computing is pleased to announce that it has awarded five faculty seed grants, which will provide immediate funding in support of research projects addressing critical needs during the current global pandemic.

Tim Havens, College of Computing associate dean for research, said that the faculty seed grants will enable progress in new research that has the potential to make an impact on the current research. Additional details will be shared soon.

Congratulations to the winning teams!

Guy Hembroff (AC, HI): “Development of a Novel Hospital Use Resource Prediction Model to Improve Local Community Pandemic Disaster Planning”

Leo Ureel (CS) and Charles Wallace (CS): “Classroom Cyber-Physical Simulation of Disease Transmission”

Bo Chen (CS): “Mobile Devices Can Help Mitigate Spreading of Coronavirus”

Nathir Rawashdeh (AC, MERET): “A Tele-Operated Mobile Robot for Sterilizing Indoor Space Using UV Light” (A special thanks to Paul Williams, who’s generous gift to support AI and robotics research made this grant possible)

Weihua Zhou (AC, HI) and Jinshan Tang (AC, MERET): “KD4COVID19: An Open Research Platform Using Feature Engineering and Machine Learning for Knowledge Discovery and Risk Stratification of COVID-19″

Weihua Zhou

Nathir Rawashdeh

Jinshan Tang

Guy Hembroff

Leo Ureel

Charles Wallace

Bo Chen

The U.S. Department of Defense, Office of Naval Research, has awarded Michigan Tech faculty researchers a $249,000 grant that supports the creation of an ROTC undergraduate science and engineering research program at Michigan Tech. The primary goal of the program is to supply prepared cadets to all military branches to serve as officers in Cyber commands.

The principal investigator (PI) of the project is Andrew Barnard, Mechanical Engineering-Engineering Mechanics. Co-PIs are Timothy Havens, College of Computing; Laura Brown , Computer Science, and Yu Cai, Applied Computing. The title of the project is, “Defending the Nation’s Digital Frontier: Cybersecurity Training for Tomorrow’s Officers.”

The curriculum will be developed over the summer, and instruction associated with the award will begin in the fall 2020 semester. Cadets interested in joining the new program are urged to contact Andrew Barnard.

Initially, the program will focus on topics in cybersecurity, machine learning and artificial intelligence, data science, and remote sensing systems, all critical to the The Naval Science and Technology (S&T) Strategic Plan and the Navy’s Force of the Future, and with equal relevance in all branches of the armed forces.

The plan of work focuses on on engaging ROTC students in current and on-going Cyber research, and supports recruitment of young ROTC engineers and scientists to serve in Navy cybersecurity and cyber-systems commands. The program will compel cadets to seek positions within Cyber commands upon graduation, or pursue graduate research in Cyber fields.

“Our approach develops paid, research-based instruction for ROTC students through the existing Michigan Tech Strategic Education Naval Systems Experiences (SENSE) program,” said principal investigator Andrew Barnard, “ROTC students will receive one academic year of instruction in four Cyber domains: cybersecurity, machine learning and artificial intelligence (ML/AI), data science, and remote sensing systems.”

Barnard says the cohort-based program will enrich student learning through deep shared research experiences. He says the program will be designed with flexibility and agility in mind to quickly adapt to new and emerging Navy science and technology needs in the Cyber domain. 

Placement of officers in Cyber commands is of critical long-term importance to the Navy (and other DoD branches) in maintaining technological superiority, says the award abstract, noting that technological superiority directly influences the capability and safety of the warfighter.

Also closely involved in the project are Michigan Tech Air Force and Army ROTC officers Lt. Col. John O’Kane and LTC Christian Thompson, respectively.

“Unfortunately, many ROTC cadets are either unaware of Cyber related careers, or are unprepared for problems facing Cyber officers,” said Lt. Col. O’Kane. “This proposal aims to provide a steady flow of highly motivated and trained uniformed officers to the armed-services, capable of supporting the warfighter on day-one.”

Andrew Barnard is director of Michigan Tech’s Great Lakes Research Center, an associate professor of Mechanical Engineering-Engineering Mechanics, and faculty advisor to the SENSE Enterprise.

Tim Havens is director of the Institute of Computing and Cybersystems, associate dean for research, College of Computing, and the William and Gloria Jackson Associate Professor of Computer Systems.

Laura Brown is an associate professor, Computer Science, director of the Data Science graduate program, and a member of the ICC’s Center for Data Sciences.

Yu Cai is a professor of Applied Computing, an affiliated professor of Computational Science and Engineering, a member of the ICC’s Center for Cybersecurity, and faculty advisor for the Red Team, which competes in the National Cyber League (NCL).

The Great Lakes Research Center (GLRC) provides state-of-the-art laboratories to support research on a broad array of topics. Faculty members from many departments across Michigan Technological University’s campus collaborate on interdisciplinary research, ranging from air–water interactions to biogeochemistry to food web relationships.

The Army and Air Force have active ROTC programs on Michigan Tech’s campus.

The Office of Naval Research (ONR) coordinates, executes, and promotes the science and technology programs of the United States Navy and Marine Corps.

Ali Ebnenasir (SAS/CS), professor of computer science, is co-author of the article, “On the verification of livelock-freedom and self-stabilization on parameterized rings,” published in the July 2019 issue of the journal ACM Transactions on Computational Logic. The article is co-authored by Alex Klinkhamer of Google.

Abstract: This article investigates the verification of livelock-freedom and self-stabilization on parameterized rings consisting of symmetric, constant space, deterministic, and self-disabling processes. The results of this article have a significant impact on several fields, including scalable distributed systems, resilient and self-* systems, and verification of parameterized systems. First, we identify necessary and sufficient local conditions for the existence of global livelocks in parameterized unidirectional rings with unbounded (but finite) number of processes under the interleaving semantics. Using a reduction from the periodic domino problem, we show that, in general, verifying livelock-freedom of parameterized unidirectional rings is undecidable (specifically, Π10-complete) even for constant space, deterministic, and self-disabling processes. This result implies that verifying self-stabilization for parameterized rings of self-disabling processes is also undecidable. We also show that verifying livelock-freedom and self-stabilization remain undecidable under (1) synchronous execution semantics, (2) the FIFO consistency model, and (3) any scheduling policy. We then present a new scope-based method for detecting and constructing livelocks in parameterized rings. The proposed semi-algorithm behind our scope-based verification is based on a novel paradigm for the detection of livelocks that totally circumvents state space exploration. Our experimental results on an implementation of the proposed semi-algorithm are very promising as we have found livelocks in parameterized rings in a few microseconds on a regular laptop. The results of this article have significant implications for scalable distributed systems with cyclic topologies.

Citation: Klinkhamer, A., & Ebnenasir, A. (2019). On the verification of livelock-freedom and self-stabilization on parameterized rings. ACM Transactions on Computational Logic, 20(3), 16:1-16:36. http://dx.doi.org/10.1145/3326456

MTU Digital Commons link: https://digitalcommons.mtu.edu/michigantech-p/146/

ACM link: https://dl.acm.org/citation.cfm?doid=3338853.3326456

An article co-authored by Ali Ebnenasir (SAS/CS) and Alex Klinkhamer, “Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings,” was recently published in ACM Transactions on Computational Logic.

Abstract: This article investigates the verification of livelock-freedom and self-stabilization on parameterized rings consisting of symmetric, constant space, deterministic, and self-disabling processes. The results of this article have a significant impact on several fields, including scalable distributed systems, resilient and self-* systems, and verification of parameterized systems. First, we identify necessary and sufficient local conditions for the existence of global livelocks in parameterized unidirectional rings with unbounded (but finite) number of processes under the interleaving semantics. Using a reduction from the periodic domino problem, we show that, in general, verifying livelock-freedom of parameterized unidirectional rings is undecidable (specifically, Π10-complete) even for constant space, deterministic, and self-disabling processes. This result implies that verifying self-stabilization for parameterized rings of self-disabling processes is also undecidable. We also show that verifying livelock-freedom and self-stabilization remain undecidable under (1) synchronous execution semantics, (2) the FIFO consistency model, and (3) any scheduling policy. We then present a new scope-based method for detecting and constructing livelocks in parameterized rings. The proposed semi-algorithm behind our scope-based verification is based on a novel paradigm for the detection of livelocks that totally circumvents state space exploration. Our experimental results on an implementation of the proposed semi-algorithm are very promising as we have found livelocks in parameterized rings in a few microseconds on a regular laptop. The results of this article have significant implications for scalable distributed systems with cyclic topologies.

https://dl.acm.org/citation.cfm?id=3326456&dl=ACM&coll=DL

doi: 10.1145/3326456

The article “Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems With Constant-Space Processes,” authored by Ali Ebnenasir (SAS/CS) and Alex Klinkhamer, has been accepted for publication in the journal IEEE Transactions on Software Engineering. Read the full article here: https://ieeexplore.ieee.org/document/8651426.

Dr. Soner Onder (CS, SAS) will present an invited talk titled “Program semantics meets architecture: What if we did not have branches?” at a workshop organized in honor of the 80th birthday of Prof. Yale Patt of University of Texas, Austin. Prof. Patt is a prominent researcher with decades of accomplishments in Computer Architecture.

The workshop, titled “Yale:80 in 2019, Pushing the Envelope of Computing for the Future,” will take place July 1-2, 2019, in Barcelona, Spain. The workshop is organized by Universitat Politècnica de Catalunya and Barcelona Supercomputing Center, and sponsored by the Ministry of Science, Innovation and Universities of Spain, among others.