skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


Title: Transys: Leveraging Common Security Properties Across Hardware Designs
This paper presents Transys, a tool for translating security critical properties written for one hardware design to analogous properties suitable for a second design. Transys works in three passes adjusting the variable names, arithmetic expressions, logical preconditions, and timing constraints of the original property to retain the intended semantics of the property while making it valid for the second design. We evaluate Transys by translating 27 assertions written in a temporal logic and 9 properties written for use with gate level information flow tracking across 38 AES designs, 3 RSA designs, and 5 RISC processor designs. Transys successfully translates 96% of the properties. Among these, the translation of 23 (64%) of the properties achieved a semantic equivalence rate of above 60%. The average translation time per property is about 70 seconds.  more » « less
Award ID(s):
1816637
PAR ID:
10207526
Author(s) / Creator(s):
;
Date Published:
Journal Name:
2020 IEEE Symposium on Security and Privacy (SP)
Page Range / eLocation ID:
1713 to 1727
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. ; ; ; ; (, Association for Computational Linguistics)
    Translating culture-related content is vital for effective cross-cultural communication. However, many culture-specific items (CSIs) often lack viable translations across languages, making it challenging to collect high-quality, diverse parallel corpora with CSI annotations. This difficulty hinders the analysis of cultural awareness of machine translation (MT) systems, including traditional neural MT and the emerging MT paradigm using large language models (LLM). To address this gap, we introduce a novel parallel corpus, enriched with CSI annotations in 6 language pairs for investigating Culturally-Aware Machine Translation---CAMT. Furthermore, we design two evaluation metrics to assess CSI translations, focusing on their pragmatic translation quality. Our findings show the superior ability of LLMs over neural MTs in leveraging external cultural knowledge for translating CSIs, especially those lacking translations in the target culture. 
    more » « less
  2. ; ; ; ; (, ACM Workshop on Attacks and Solutions in Hardware Security)
    Isadora is a methodology for creating information flow specifications of hardware designs. The methodology combines information flow tracking and specification mining to produce a set of information flow properties that are suitable for use during the security validation process, and which support a better understanding of the security posture of the design. Isadora is fully automated; the user provides only the design under consideration and a testbench and need not supply a threat model nor security specifications. We evaluate Isadora on a RISC-V processor plus two designs related to SoC access control. Isadora generates security properties that align with those suggested by the Common Weakness Enumerations (CWEs), and in the case of the SoC designs, align with the properties written manually by security experts. 
    more » « less
  3. ; ; ; (, Journal of Mechanical Design)
    Abstract Designing 3D porous metamaterial units while ensuring complete connectivity of both solid and pore phases presents a significant challenge. This complete connectivity is crucial for manufacturability and structure-fluid interaction applications (e.g., fluid-filled lattices). In this study, we propose a generative graph neural network-based framework for designing the porous metamaterial units with the constraint of complete connectivity. First, we propose a graph-based metamaterial unit generation approach to generate porous metamaterial samples with complete connectivity in both solid and pore phases. Second, we establish and evaluate three distinct variational graph autoencoder (VGAE)-based generative models to assess their effectiveness in generating an accurate latent space representation of metamaterial structures. By choosing the model with the highest reconstruction accuracy, the property-driven design search is conducted to obtain novel metamaterial unit designs with the targeted properties. A case study on designing liquid-filled metamaterials for thermal conductivity properties is carried out. The effectiveness of the proposed graph neural network-based design framework is evaluated by comparing the performances of the obtained designs with those of known designs in the metamaterial database. Merits and shortcomings of the proposed framework are also discussed. 
    more » « less
  4. ; ; (, Proceedings of the ACM on Human-Computer Interaction)
    Research on live streaming systems that incorporate real-time data, such as game or viewer data, have been a topic of HCI research for some time. Despite the potential of data-driven game streaming interfaces, translating this research into practice faces two key challenges. First, the design space afforded by data-driven game streaming systems is not yet well understood, making it difficult to identify how designs might meet users' existing and potential needs. Second, adoption of these systems relies on engagement with the entire streaming ecosystem, which includes developers, streamers, moderators, and viewers, rather than with just one group. Through a two-phase design study, we investigate the expectations, desires, and experiences of streaming stakeholders, shedding light on how data-driven game streaming systems can meet their needs. Building upon these insights and drawing upon previous research, we propose a design framework aimed at analyzing and generating data-driven game streaming designs, thereby moving toward formalizing the design and development of such systems. 
    more » « less
  5. ; (, Plant Methods)
    Abstract Background Ribo-seq has revolutionized the study of genome-wide mRNA translation. High-quality Ribo-seq data display strong 3-nucleotide (nt) periodicity, which corresponds to translating ribosomes deciphering three nts at a time. While 3-nt periodicity has been widely used to study novel translation events such as upstream ORFs in 5′ untranslated regions and small ORFs in presumed non-coding RNAs, tools that allow the visualization of these events remain underdeveloped. Results RiboPlotR is a visualization package written in R that presents both RNA-seq coverage and Ribo-seq reads in genomic coordinates for all annotated transcript isoforms of a gene. Specifically, for individual isoform models, RiboPlotR plots Ribo-seq data in the context of gene structures, including 5′ and 3′ untranslated regions and introns, and it presents the reads for all three reading frames in three different colors. The inclusion of gene structures and color-coding the reading frames facilitate observing new translation events and identifying potential regulatory mechanisms. Conclusions RiboPlotR is freely available ( https://github.com/hsinyenwu/RiboPlotR and https://sourceforge.net/projects/riboplotr/ ) and allows the visualization of translated features identified in Ribo-seq data. 
    more » « less
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email