Institute of Computing and Cybersystems (ICC) Blog

Category: Publications

Bo Chen, Grad Students Present Posters at Security Symposium

Published
By

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.

Continue Reading →

Havens, Yazdanparast Publish Article in IEEE Transactions on Big Data

Published
By
Timothy Havens

An article by Audrey Yazdanparast (2019, PhD, Electrical Engineering) and Dr. Timothy Havens, “Linear Time Community Detection by a Novel Modularity Gain Acceleration in Label Propagation,” has been accepted for publication in the journal, IEEE Transactions on Big Data.

The paper presents an efficient approach for detecting self-similar communities in weighted graphs, with applications in social network analysis, online commodity recommendation systems, user clustering, biology, communications network analysis, etc.

Paper Abstract: Community detection is an important problem in complex network analysis. Among numerous approaches for community detection, label propagation (LP) has attracted a lot of attention. LP selects the optimum community (i.e., label) of a network vertex by optimizing an objective function (e.g., Newman’s modularity) subject to the available labels in the vicinity of the vertex. In this paper, a novel analysis of Newman’s modularity gain with respect to label transitions in graphs is presented. Here, we propose a new form of Newman’s modularity gain calculation that quantifies available label transitions for any LP based community detection.

The proposed approach is called Modularity Gain Acceleration (MGA) and is simplified and divided into two components, the local and global sum-weights. The Local Sum-Weight (LSW) is the component with lower complexity and is calculated for each candidate label transition. The General Sum-Weight (GSW) is more computationally complex, and is calculated only once per each label. GSW is updated by leveraging a simple process for each node-label transition, instead of for all available labels. The MGA approach leads to significant efficiency improvements by reducing time consumption up to 85% relative to the original algorithms with the exact same quality in terms of modularity value which is highly valuable in analyses of big data sets.

Timothy Havens is director of Michigan Tech’s Institute of Computing and Cybersystems (ICC), the associate dean for research for the College of Computing , and the William and Gloria Jackson Associate Professor of Computer Systems.

View the article abstract here.

Continue Reading →

Article by Tim Havens in IEEE Transactions on Fuzzy Systems

Published
By

An article co-authored by Tim Havens, associate dean for research, College off Computing, “Soft Overlapping Community Detection in Large-Scale Networks via Fast Fuzzy Modularity Maximization,” was published in the March 2020 issue of IEEE Transactions on Fuzzy Systems.

Havens’s co-authors are Audrey Yazdanparast (ECE) and Mohsen Jamalabdollahi of Cisco Systems.

Article Abstract: Soft overlapping clustering is one of the notable problems of community detection. Extensive research has been conducted to develop efficient methods for non-overlapping and crisp-overlapping community detection in large-scale networks. In this paper, Fast Fuzzy Modularity Maximization (FFMM) for soft overlapping community detection is proposed.

FFMM exploits novel iterative equations to calculate the modularity gain associated with changing the fuzzy membership values of network vertices. The simplicity of the proposed scheme enables efficient modifications, reducing computational complexity to a linear function of the network size and the number of communities. Moreover, to further reduce the complexity of FFMM for very large networks, Multi-cycle FFMM (McFFMM) is proposed.

The proposed McFFMM reduces complexity by breaking networks into multiple sub-networks and applying FFMM to detect their communities. Performance of the proposed techniques are demonstrated with real-world data and the Lancichinetti-Fortunato-Radicchi (LFR) benchmark networks. Moreover, the performance of the proposed techniques is eval- uated versus some state-of-the-art soft overlapping community detection approaches. Results show that the McFFMM produces a remarkable performance in terms of overlapping modularity with fuzzy memberships, computational time, number of detected overlapping nodes, and Overlapping Normalized Mutual Informa- tion (ONMI).

View more info here.

Continue Reading →

Tim Havens Is Co-author of Article in IEEE Transactions on Fuzzy Systems

Published
By

Timothy Havens, director of the Institute of Computing and Cybersystems (ICC), is co-author of the article, “A Similarity Measure Based on Bidirectional Subsethood for Intervals,” published in the March 2020 issue of IEEE Transactions on Fuzzy Systems.

Havens’s co-authors are Shaily Kabir, Christian Wagner, and Derek T. Anderson.

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

Christian Wagner, an affiliated member of the ICC, was an ICC donor-sponsored visiting professor at Michigan Tech in the 2016-17 academic year. He is now with the School of Computer Science at University of Nottingham.

Shaily Kabir is with the School of Computer Science, University of Nottingham. Derek T. Anderson is with the Electrical Engineering and Computer Science Department, University of Missouri, Columbia.

S. Kabir, C. Wagner, T. C. Havens and D. T. Anderson, “A Similarity Measure Based on Bidirectional Subsethood for Intervals,” in IEEE Transactions on Fuzzy Systems.

https://ieeexplore.ieee.org/document/9019656

Continue Reading →

Two Papers by Yakov Nekrich Accepted by SoCG 2020 Conference

Published
By

Yakov Nekrich, associate professor, Department of Computer Science, has been notified that two scholarly papers he has authored were accepted by the 36th International Symposium on Computational Geometry (SoCG 2020), which takes place June 23-26, 2020, in Zurich, Switzerland.

Nekrich is a member of the ICC’s Center for Data Sciences.

The two papers are “Further Results on Colored Range Searching,” by Timothy M. Chan, Qizheng He, and Nekrich, and “Four-Dimensional Dominance Range Reporting in Linear Space” by Nekrich alone.

The Annual Symposium on Computational Geometry (SoCG) is an academic conference in computational geometry. Founded in 1985, it was originally sponsored by the SIGACT and SIGGRAPH Special Interest Groups of the Association for Computing Machinery (ACM). It dissociated from the ACM in 2014. Since 2015 the conference proceedings have been published by the Leibniz International Proceedings in Informatics Since 2019 the conference has been organized by the Society for Computational Geometry. (Wikipedia)

Visit the SoCG 2020 website.

Continue Reading →

Minakata, Students, Rouleau Publish Paper

Published
By

The Process Safety and Environmental Protection special issue on Advanced Oxidation Process (Elsevier), has accepted for publication a paper by associate professor Daisuke Minakata (CEE), his students Robert Zupko, Divya Kamath, and Erica Coscarelli, and his collaborator and co-PI Mark Rouleau (SS), ICC Center for Data Sciences. pictured at left with Mary Raber. Photo by Daily Mining Gazette.

The paper concerns research supported by the National Science Foundation’s Chemical, Bioengineering, Environmental and Transport Systems (CBET) Division.

Grant Title: Coupling Experimental and Theoretical Molecular-Level Investigations to Visualize the Fate of Degradation of Organic Compounds in Aqueous Phase Advanced Oxidation Systems

Grant Abstract: The lack of an overarching management plan combined with uncertainty about the adverse human health and ecological impacts of trace amounts of known and emerging organic compounds have raised public concerns about water. These issues also present major challenges to next generation water treatment utilities dealing with de facto and planned wastewater reuse. Advanced oxidation processes that produce highly reactive hydroxyl radicals are promising technologies to control trace amounts of organic compounds. Although the initial fate of hydroxyl radical induced reactions with diverse organic compounds have been studied, the mechanisms that produce intermediate radicals and stable-byproducts are not well understood. Significant barriers remain in our understanding of complex multi-channel elementary reaction pathways embedded in peroxyl radical bimolecular decay that produce identical intermediate-radicals and stable-byproducts. The model developed in the course of this research will give researchers and policy makers the ability to predict the likely chemical by-products and alternative options to provide least adverse impact on the general public who will directly consume this water or other ecological organisms who will be exposed indirectly.

The proposed study will integrate three thrusts to discover the currently unknown fate of the three major degradation pathways. First, we will perform pulse-photolysis kinetic measurement to determine the temperature-dependent overall reaction rate constants for multi-channel peroxyl radical reactions. We will also measure the resulting byproducts using a mass spectrometry. Second, we will employ quantum mechanical theoretical calculations to determine the elementary reaction pathways and associated reaction rate constants. Third, we will then combine our kinetic measurements with our theoretical calculations to develop an agent-based model that will enable us to visualize and predict the fate of organic compounds. With explicitly assigned reaction rules and molecular behavior embedded within a simulated reaction network, the resulting agent-based model will use software agents to represent radical species and organic compounds and then simulate their interactions to predict corresponding consequences (i.e., byproducts) over time and space. Finally, experimental observations will validate the outcomes from the agent-based model.

The Chemical, Bioengineering, Environmental and Transport Systems (CBET) Division supports innovative research and education in the fields of chemical engineering, biotechnology, bioengineering, and environmental engineering, and in areas that involve the transformation and/or transport of matter and energy by chemical, thermal, or mechanical means.

View additional grant info on the NSF website.

Find more information about the Process Safety and Environmental Protection special issue on Advanced Oxidation Process here.

Continue Reading →

Technical Paper by Nathir Rawashdeh Accepted for SAE World Congress

Published
By

An SAE technical paper, co-authored by Nathir Rawashdeh, assistant professor, CMH Division, College of Computing, has been accepted for publication at the WCX SAE World Congress Experience, April 21-23, 2020, in Detroit, MI.  The title of the paper is “Mobile Robot Localization Evaluations with Visual Odometry in Varying Environments using Festo-Robotino.” 

Abstract: Autonomous ground vehicles can use a variety of techniques to navigate the environment and deduce their motion and location from sensory inputs. Visual Odometry can provide a means for an autonomous vehicle to gain orientation and position information from camera images recording frames as the vehicle moves. This is especially useful when global positioning system (GPS) information is unavailable, or wheel encoder measurements are unreliable. Feature-based visual odometry algorithms extract corner points from image frames, thus detecting patterns of feature point movement over time. From this information, it is possible to estimate the camera, i.e. the vehicle’s motion. Visual odometry has its own set of challenges, such as detecting an insufficient number of points, poor camera setup, and fast passing objects interrupting the scene. This paper investigates the effects of various disturbances on visual odometry. Moreover, it discusses the outcomes of several experiments performed utilizing the Festo-Robotino robotic platform. The experiments are designed to evaluate how changing the system’s setup will affect the overall quality and performance of an autonomous driving system. Environmental effects such as ambient light, shadows, and terrain are also investigated. Finally, possible improvements including varying camera options and programming methods are discussed.

Learn more.

Continue Reading →

Nathir Rawashdeh to Present Paper at Advances in Mechanical Engineering Conference

Published
By

Nathir Rawashdeh

A conference paper co-authored by Nathir Rawashdeh (CC/MERET), has been accepted for presentation and publication at the 5th International Conference on Advances in Mechanical Engineering, December 17-19, 2019, in Istanbul, Turkey.

The paper is entitled, “Effect of Camera’s Focal Plane Array Fill Factor on Digital Image Correlation Measurement Accuracy.” Co-authors are Ala L. Hijazi of German Jordanian University, and Christian J. Kähler of Universität der Bundeswehr München.

Abstract: The digital image correlation (DIC) method is one of the most widely used non-invasive full-field methods for deformation and strain measurements. It is currently being used in a very wide variety of applications including mechanical engineering, aerospace engineering, structural engineering, manufacturing engineering, material science, non-destructive testing, biomedical and life sciences. There are many factors that affect the DIC measurement accuracy where that includes; the selection of the correlation algorithm and parameters, the camera, the lens, the type and quality of the speckle pattern, the lightening conditions and surrounding environment. Several studies have addressed the different factors influencing the accuracy of DIC measurements and the sources of error. The camera’s focal plane array (FPA) fill factor is one of the parameters for digital cameras, though it is not widely known and usually not reported in specs sheets. The fill factor of an imaging sensor is defined as the ratio of a pixel’s light sensitive area to its total theoretical area. For some types of imaging sensors, the fill factor can theoretically reach 100%. However, for the types of imaging sensors typically used in most digital cameras used in DIC measurements, such as the “interline” charge coupled device CCD and the complementary metal oxide semiconductor (CMOS) imaging sensors, the fill factor is much less than 100%. It is generally believed that the lower fill factor may reduce the accuracy of photogrammetric measurements. But nevertheless, there are no studies addressing the effect of the imaging sensor’s fill factor on DIC measurement accuracy. We report on research aiming to quantify the effect of fill factor on DIC measurements accuracy in terms of displacement error and strain error. We use rigid-body-translation experiments then numerically modify the recorded images to synthesize three different types of images with 1/4 of the original resolution. Each type of the synthesized images has different value of the fill factor; namely 100%, 50% and 25%. By performing DIC analysis with the same parameters on the three different types of synthesized images, the effect of fill factor on measurement accuracy may be realized. Our results show that the FPA’s fill factor can have a significant effect on the accuracy of DIC measurements. This effect is clearly dependent on the type and characteristics of the speckle pattern. The fill factor has a clear effect on measurement error for low contrast speckle patterns and for high contrast speckle patterns (black dots on white background) with small dot size (3 pixels dot diameter). However, when the dot size is large enough (about 7 pixels dot diameter), the fill factor has very minor effect on measurement error. In addition, the results also show that the effect of the fill factor is also dependent on the magnitude of translation between images. For instance, the increase in measurement error resulting from low fill factor can be more significant for subpixel translations than large translations of several pixels.
Request the full paper here.
Continue Reading →

Mark Rouleau Is Co-author of Article in the Journal Landscape and Urban Planning

Published
By

Mark Rouleau

An article by Mark Rouleau, associate professor of social sciences and member of the ICC’s Center for Data Sciences, was recently published in the journal Landscape and Urban Planning, published by Elsevier. The article, titled, “Agent-based modeling for bioenergy sustainability assessment,” is co-authored by Robert J. Zupko II.

Article Abstract: Woody biomass bioenergy is an important renewable alternative to conventional fossil fuels. However, the negative land-use change impacts of biomass harvesting necessary for bioenergy production can potentially outweigh its positive benefits if poorly managed. In this paper, we explain how Agent-Based Modeling (ABM), a form of computer simulation, can be used to conduct a comprehensive bioenergy sustainability assessment to identify possible gains and trade-offs necessary to develop bioenergy in regions with large numbers of private family forest owners or smallholders who own a significant share of available biomass. We discuss how ABM simulation can overcome the barriers of existing sustainability assessment tools and provide a demonstration of the sustainability assessment capabilities of an ABM using a hypothetical case study that explores the introduction of a bioenergy conversion facility in the Western Upper Peninsula of Michigan, United States. We conduct a series of alternative futures scenarios and compare the sustainability outcomes of three alternative policy regimes using voluntary incentive programs to encourage smallholders to harvest biomass.

Michigan Tech Digital Commons listing: https://digitalcommons.mtu.edu/michigantech-p/513/

https://doi.org/10.1016/j.landurbplan.2019.04.019
Recommended Citation: Rouleau, M., & Zupko II, R. J. (2019). Agent-based modeling for bioenergy sustainability assessment. Landscape and Urban Planning, 188, 54-63.http://dx.doi.org/10.1016/j.landurbplan.2019.04.019
Continue Reading →

Zhen Liu Co-author of Publication in Cold Regions Science and Technology

Published
By
Zhen Liu, associate professor of civil and environmental engineering and member of the ICC’s Center for Cyber-Physical Systems (CPS), is co-author of the article, “A multivariate freezing-thawing depth prediction model for spring load restriction,” which was published August 6, 2019, in the journal Cold Regions Science and Technology, which is published by Elsevier. Co-authors of the article are Ting Bio and John Bland.

Abstract: Road damages induced by heavily loaded truck traffic during the spring thaw are a major road distress in cold regions. To minimize these damages, Spring Load Restriction (SLR) is widely applied in the U.S., Canada, and other countries during the early thawing season by controlling the movement of freight-carrying trucks and heavy equipment travel until the thawing ends. Most SLR policies rely on the Freezing Depth (FD) and Thawing Depth (TD), especially the latter one. Therefore, accurate predictions of FD and TD are important to prevent both the extensive damage to the pavement due to the late placement or early removal of SLR and the economic loss of road users due to an unnecessarily long SLR period. Here, we propose a new multivariate model for predicting FD and TD in support of SLR decision-making. The model gives a curving surface of FD and TD in a 3-dimensional space, instead of 2-dimensional in traditional methods, by considering both the freezing and thawing indices in the entire freeze-thaw cycle. For model evaluations, yearly field data measured at five typical sites from 104 sites in Michigan were adopted. The evaluation results showed that the proposed model is accurate in predicting FD and TD for most sites. Compared to the previous TD predictions in the existing study, the TD predictions with the proposed model have been significantly improved. In addition, this study provides field data that have not been reported earlier in the literature and that can be used for validating other prediction models. The reported work is ready for practice for roadways in cold regions to support SLR decision-making.

https://digitalcommons.mtu.edu/michigantech-p/406

Citation: Bao, T., Liu, Z., & Bland, J. (2019). A multivariate freezing-thawing depth prediction model for spring load restriction. Cold Regions Science and Technology, 167.http://dx.doi.org/10.1016/j.coldregions.2019.102856

Continue Reading →