Institute for Systems Research Technical Reports

Permanent URI for this collection

http://hdl.handle.net/1903/4376

This archive contains a collection of reports generated by the faculty and students of the Institute for Systems Research (ISR), a permanent, interdisciplinary research unit in the A. James Clark School of Engineering at the University of Maryland. ISR-based projects are conducted through partnerships with industry and government, bringing together faculty and students from multiple academic departments and colleges across the university.

Browse

Recent Submissions

Now showing 1 - 5 of 2409
  • Thumbnail Image
    Item
    TimingCamouflage+ Decamouflaged
    (Association for Computer Machinery (ACM), 2023-06-05) Mittu, Priya; Liu, Yuntao; Srivastava, Ankur
    In today’s world, sending a chip design to a third party foundry for fabrication poses a serious threat to one’s intellectual property. To keep designs safe from adversaries, design obfuscation techniques have been developed to protect the IP details of the design. This paper explains how the previously considered secure algorithm, TimingCamouflage+, can be thwarted and the original circuit can be recovered [15]. By removing wave-pipelining false paths, the TimingCamouflage+ algorithm is reduced to the insecure TimingCamouflage algorithm [16]. Since the TimingCamouflage algorithm is vulnerable to the TimingSAT attack, this reduction proves that TimingCamouflage+ is also vulnerable to TimingSAT and not a secure camouflaging technique [7]. This paper describes how wave-pipelining paths can be removed, and this method of handling false paths is tested on various benchmarks and shown to be both functionally correct and feasible in complexity.
  • Thumbnail Image
    Item
    Using Metareasoning on a Mobile Ground Robot to Recover from Path Planning Failures
    (2023-02) Molnar, Sidney; Mueller, Matt; Macpherson, Robert; Rhoads, Lawrence; Herrmann, Jeffrey W.
    Autonomous mobile ground robots use global and local path planners to determine the routes that they should follow to achieve mission goals while avoiding obstacles. Although many path planners have been developed, no single one is best for all situations. This paper describes metareasoning approaches that enable a robot to select a new path planning algorithm when the current planning algorithm cannot find a feasible solution. We implemented the approaches within a ROS-based autonomy stack and conducted simulation experiments to evaluate their performance in multiple scenarios. The results show that these metareasoning approaches reduce the frequency of failures and reduce the time required to complete the mission.
  • No Thumbnail Available
    Item
    Data for: Eelbrain: A Python toolkit for time-continuous analysis with temporal response functions
    (2021) Brodbeck, Christian; Bhattasali, Shohini; Das, Proloy; Simon, Jonathan Z.
    This dataset accompanies “Eelbrain: A Python toolkit for time-continuous analysis with temporal response functions” (Brodbeck et al., 2021) and is a derivative of the Alice EEG datasets collected at the University of Michigan Computational Neurolinguistics Lab (Bhattasali et al., 2020), licensed under CC BY (https://creativecommons.org/licenses/by/4.0/) and the original work can be found at DOI: 10.7302/Z29C6VNH. The files were converted from the original matlab format to fif format in order to be compatible with Eelbrain. This dataset includes the EEG data for 33 participants, which were used in the example analyses for the paper. The original Alice dataset included data from all 49 participants and participants were excluded due to artifacts and incorrect behavioral responses (for more details see Bhattasali et al., 2020). You can use the Python script data_grab.py at https://github.com/christianbrodbeck/Alice-Eelbrain to download and unzip these files into a specified destination folder.
  • No Thumbnail Available
    Item
    Dynamic Estimation of Auditory Temporal Response Functions via State-Space Models with Gaussian Mixture Process Noise
    (PLOS Computational Biology, 2020-08-02) Presacco, Alessandro; Miran, Sina; Fu, Michael; Marcus, Steven; Simon, Jonathan; Babadi, Behtash
    MEG data used for the "Switching attention" experiment. This set of data refers to the part of the "forced" switching of attention
  • No Thumbnail Available
    Item
    Dynamic Estimation of Auditory Temporal Response Functions via State-Space Models with Gaussian Mixture Process Noise
    (PLOS Computational Biology, 2020-08-02) Presacco, Alessandro; Miran, Sina; Fu, Michael; Marcus, Steven; Jonathan, Simon; Babadi, Betash
    MEG data used for the "Switching attention" experiment