Abstract: A method for analyzing side-channel leakage of an application running on a device including loading the application on a system comprising a device simulator, wherein the application is configured to accept public inputs and secret inputs and selecting a set of public inputs. The method includes, for each public input in the set of public inputs, executing the application on the system comprising the device simulator based on a respective public input and a first value for a secret input and extracting first intermediate values for the simulated device, and executing the application on the system based on the respective public input and a second value for the secret input and extracting second intermediate values for the simulated device. The method includes determining an amount of dependency of a location of the simulated device on the secret input based on a plurality of the first and second intermediate values.

Abstract: A method for analyzing side-channel leakage of an application running on a device including loading the application on a system comprising a device simulator, wherein the application is configured to accept public inputs and secret inputs and selecting a set of public inputs. The method includes, for each public input in the set of public inputs, executing the application on the system comprising the device simulator based on a respective public input and a first value for a secret input and extracting first intermediate values for the simulated device, and executing the application on the system based on the respective public input and a second value for the secret input and extracting second intermediate values for the simulated device. The method includes determining an amount of dependency of a location of the simulated device on the secret input based on a plurality of the first and second intermediate values.

Abstract: The invention relates to an unload access system for an unit load device, comprising a framework, the framework delimiting a cargo space arranged on a ground load deck and the framework comprising an unload deck for unloading shipments out of the unit load device, whereby the unload deck is arranged distant above the ground load deck and extends in an offset plane adjacent to the cargo space, the unload deck comprises a movable platform, and the platform extends coplanar with the unload deck and is movable between a retracted position and a maximum extracted position, whereby in the maximum extracted position the platform overlaps at least partly the cargo space by extending into the cargo space and in the retracted position the platform does not overlap the cargo space.

Abstract: The present invention includes embodiments that generally relate to a parts washer and methods for making and using the same. According to some embodiments a parts washer can include a plurality of cleaning stations arranged in series and adapted to automatically wash and transfer parts to the next cleaning station. Furthermore, in some embodiments the parts washer is adapted to minimize contact between a plurality of parts being washed. Some embodiments can include a rotatable cleaning station divided into substations and can include an aperture for transferring a part from the cleaning station to an adjacent cleaning station.