The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Hardware has become an increasingly attractive target for attackers, yet we still largely lack tools that enable us to analyze large designs for security flaws. Information flow tracking (IFT) models provide an approach to verifying a hardware design's adherence to security properties related to isolation and reachability.
An initial feasibility study is conducted through subscale testing in order to assess several sensing techniques for their ability to detect corrosion damage and lubrication failure in propulsion ball bearings. Conventional vibroacoustic methods are compared and a thermography technique is examined in brief. Initial results indicate that for small, distributed corrosion pitting damage, PZT acoustic...
Secure hardware design is a challenging task that goes far beyond ensuring functional correctness. Important design properties such as non-interference cannot be verified on functional circuit models due to the lack of essential information (e.g., sensitivity level) for reasoning about security. Hardware information flow tracking (IFT) techniques associate data objects in the hardware design with...
A study of the formation of Gd 11 M 4 In 9 (M=Ni, Pd, Pt) and R 11 Ni 4 In 9 (R=rare earth) compounds revealed a unique and peculiar property, which is to naturally crystallize in a bundle of self-assembled fibers when cooled from the melt. The fibers, which are nano- to millimeters in cross-section and ≈1–40mm long, grow unidirectionally along a temperature...
Despite the progress of higher-level languages and tools, Register Transfer Level (RTL) is still by far the dominant input format for high performance digital designs. Experienced designers can directly express their microarchitectural intuitions in RTL. Yet, RTL is terribly verbose, burdened with trivial details, and thus error prone. In this paper, we augment a modern RTL language (Chisel) with...
Arithmetic circuits are some of the most common circuits, yet building generators for these circuits is usually both ad-hoc and error-prone. Often, generator designers do not directly use Register Transfer Languages, but instead use scripting languages (e.g., Perl) to generate RTL and overcome the limited expressivity of typical RTL languages. We present a new approach to generator construction, where...
Portability benefits have encouraged the trend of distributing applications using processor-independent instructions, a.k.a. bytecode, and executing that bytecode on an emulator running on a target processor. Transparent just-in-time (JIT) compilation of bytecode to native instructions is often used to increase application execution speed without sacrificing portability. Recent work has proposed distributing...
Using a sample of serendipitously discovered active comets in the Sloan Digital Sky Survey (SDSS), we develop well-controlled selection criteria for greatly increasing the efficiency of comet identification in the SDSS catalogs. After follow-up visual inspection of images to reject remaining false positives, the total sample of SDSS comets presented here contains 19 objects, roughly one comet per...
Terminase, the DNA packaging enzyme of phage λ is an ATP-stimulated, site-specific endonuclease comprising the products of λ genesNu1 andA. The interaction of terminase with its specific DNA substratecoswas studied by footprinting.cos(the DNA segmentR4-cosN-R3R2R1), situated at the chromosomal junctions in a concatemer, consists of a nicking domain (cosN) where terminase nicks DNA to regenerate the...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.