Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for analyzing hardware designs for vulnerabilities to side-channel attacks. One of the methods includes receiving a request to analyze a device hardware design for side-channel vulnerabilities in the device after being manufactured. Physical characteristics data is obtained representing one or more physical characteristics of the device based on the device hardware design. Information flow analysis is performed to identify one or more signals of interest corresponding to digital assets. From the physical characteristics data and the one or more signals of interest, data representing potentially vulnerable signals in the device hardware design is generated. A leakage model is generated for the potentially vulnerable signals that quantifies one or more leakage criteria for one or more structures of the device hardware design.

Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for identifying security vulnerabilities introduced by transformations to a hardware design. One of the methods includes obtaining a security model for an initial electronic hardware design and a modified electronic hardware design. An analysis process is performed on the initial representation and on the modified representation of the electronic hardware design according to the security model. If the modified electronic hardware design introduced a security vulnerability relative to the initial electronic hardware design, information representing the introduced security vulnerability is provided.

Abstract: An apparatus for dispersing liquid flame retardant mixtures mounts in the bucket of mine scoop. The apparatus has a housing which is generally sized to fit within a mine scoop bucket while leaving space in the bucket for moving mine material. The housing has a reservoir within it for holding a fire prevention mixture. The mixture is a liquid mixture and the apparatus has a motor, pump, tubes, and nozzles for dispersing the fire prevention mixture. The apparatus accommodates a hydraulic cylinder for moving the mixture dispersing apparatus back and forth within the scoop bucket. The hydraulic cylinder is operated to position the nozzles for dispersing the liquid. Some embodiments of the apparatus have a front face with scraper blade elements that operate as a scraper blade similar to scraper blades in scoop buckets that do not have the apparatus in place.

Abstract: An apparatus for dispersing liquid flame retardant mixtures mounts in the bucket of mine scoop. The apparatus has a housing which is generally sized to fit within a mine scoop bucket while leaving space in the bucket for moving mine material. The housing has a reservoir within it for holding a fire prevention mixture. The mixture is a liquid mixture and the apparatus has a motor, pump, tubes, and nozzles for dispersing the fire prevention mixture. The apparatus accommodates a hydraulic cylinder for moving the mixture dispersing apparatus back and forth within the scoop bucket. Some embodiments of the apparatus have a front face with scraper blade elements that operate as a scraper blade similar to scraper blades in scoop buckets that do not have the apparatus in place.

Abstract: An apparatus for dispersing liquid flame retardant mixtures mounts in the bucket of mine scoop. The apparatus has a housing which is generally sized to fit within a mine scoop bucket while leaving space in the bucket for moving mine material. The housing has a reservoir within it for holding a fire prevention mixture. The mixture is a liquid mixture and the apparatus has a motor, pump, tubes, and nozzles for dispersing the fire prevention mixture. The apparatus accommodates a hydraulic cylinder for moving the mixture dispersing apparatus back and forth within the scoop bucket. Some embodiments of the apparatus have a front face with scraper blade elements that operate as a scraper blade similar to scraper blades in scoop buckets that do not have the apparatus in place.