Abstract: Random number testing is disclosed. In one example, a random number tester includes a register unit that stores a pseudorandom number sequence generated by a random number generator, a next-bit prediction unit that performs machine learning in a learning mode so as to receive a bit string of m bits in the pseudorandom number sequence stored in the register unit as an input, and, according to a predetermined machine learning algorithm, output a desired bit string including a predicted next bit, and a matching probability determination unit that makes, in a test mode, a pass/fail determination on a random number test on the basis of a matching probability based on a next bit following an m-bit bit string in a pseudorandom number sequence generated by the random number generator and of a predicted next bit output from a trained next-bit prediction unit.

Abstract: To securely realize updating of a key shared between an apparatus on a transmission side and an apparatus on a reception side. A second apparatus encrypts a new shared key by an encryption processing unit, issues a signature for the encrypted new shared key from a signature processing unit, and transmits the signature and the encrypted new shared key to a first apparatus. When a signature processing unit fails in verifying the signature, the first apparatus performs control to prohibit at least one of processing executed after reception of the encrypted new shared key and required to store the new shared key into a storage unit.

Abstract: In a semiconductor device including a lockstep function, conflicts of bus accesses by a plurality of processors are suppressed. The semiconductor device includes a first processor, a second processor for monitoring operation of the first processor in a first mode, first and second buses, first and second non-shared resources dedicated to either the first or second processor in a second mode, and a first selector for selecting a bus for transferring interface signals between the second processor and the selected bus. In a second mode in which the first and second processors execute different instructions, the first selector selects the second bus. In the second mode, the first non-shared resource is accessed by the first processor via the first bus and the second non-shared resource is accessed by the second processor via the second bus.

Abstract: Provided is a semiconductor device which can perform secure data transmission/reception considering functional safety. The semiconductor device includes a hardware security module circuit which performs an authentication process and an error detection circuit used to perform an error detection process at least on first data which is processed in the hardware security module circuit. A memory area associated with the error detection circuit is configured to be accessible only by the hardware security module circuit when the error detection process is performed at least on the first data.

Abstract: In a semiconductor device including a lockstep function, conflicts of bus accesses by a plurality of processors are suppressed. The semiconductor device includes a first processor, a second processor for monitoring operation of the first processor in a first mode, first and second buses, first and second non-shared resources dedicated to either the first or second processor in a second mode, and a first selector for selecting a bus for transferring interface signals between the second processor and the selected bus. In a second mode in which the first and second processors execute different instructions, the first selector selects the second bus. In the second mode, the first non-shared resource is accessed by the first processor via the first bus and the second non-shared resource is accessed by the second processor via the second bus.

Abstract: An object of the present invention is to perform a program updating process without reconstructing a program using a pre-update program and an update differential program. An embedded device has a nonvolatile memory having a plurality of planes from/to which data can be read/written independently and an address translator performing address translation by using an address translation table. When an address obtained by decoding an instruction by a CPU is an address corresponding to a change part in a default program, the address translator translates the address to an address in which a differential program is disposed.

Abstract: A determination apparatus includes a difference code generation section that generates a first difference code and a second difference code, the first difference code representing a set of code pieces in a first program that are different from code pieces in a second program, the second difference code representing a set of code pieces in the second program that are different from code pieces in the first program, a logical expression derivation section that performs predetermined conversion to derive a first logical expression from the first difference code and derive a second logical expression from the second difference code, and a determination section that, depending on whether the second logical expression includes the first logical expression, determines whether the first program in a predetermined embedded device is dynamically updatable to the second program.

Abstract: Provided are a device, a method, and a program which allow learning models to be appropriately evaluated or trained. The evaluation device according to an aspect performs the steps of: (A) obtaining, using checking data, a first execution result based on a first learning model as an exemplar model; (B) obtaining, using the checking data, a second execution result based on a second learning model; (C) determining whether or not the first and second execution results satisfy a logical formula; and (D) comparing, using a Bayesian statistical model checking method, respective behaviors of the first and second learning models with each other on the basis of a result of the determination in the step (C).

Abstract: To securely realize updating of a key shared between an apparatus on a transmission side and an apparatus on a reception side. A second apparatus encrypts a new shared key by an encryption processing unit, issues a signature for the encrypted new shared key from a signature processing unit, and transmits the signature and the encrypted new shared key to a first apparatus. When a signature processing unit fails in verifying the signature, the first apparatus performs control to prohibit at least one of processing executed after reception of the encrypted new shared key and required to store the new shared key into a storage unit.

Abstract: Provided is a semiconductor device which can perform secure data transmission/reception considering functional safety. The semiconductor device includes a hardware security module circuit which performs an authentication process and an error detection circuit used to perform an error detection process at least on first data which is processed in the hardware security module circuit. A memory area associated with the error detection circuit is configured to be accessible only by the hardware security module circuit when the error detection process is performed at least on the first data.

Abstract: In a communication system in which a relay apparatus, a terminal apparatus, and other apparatuses, which can communicate with an authentication apparatus, are coupled through a communication path, the relay apparatus, and the terminal apparatus have unique authentication information, respectively. The relay apparatus transmits its own authentication information and authentication information collected from the terminal apparatus to the authentication apparatus. The authentication apparatus determines whether the relay apparatus and the terminal apparatus are authentic apparatuses based on the received authentication information. The relay apparatus shuts down communication between itself and an apparatus determined to be unauthentic based on a result of the determination, and transmits communication control information to shut down communication with the apparatus determined to be unauthentic to the terminal apparatus.

Abstract: In an authentication method according to an embodiment, a server generates first authentication information configured by a value generated by using a pseudo ransom function using an identifier of an authentication target device and a common key as arguments and transmits the first authentication information to the authentication target device via an authentication proxy client.

Abstract: A determination apparatus includes a difference code generation section that generates a first difference code and a second difference code, the first difference code representing a set of code pieces in a first program that are different from code pieces in a second program, the second difference code representing a set of code pieces in the second program that are different from code pieces in the first program, a logical expression derivation section that performs predetermined conversion to derive a first logical expression from the first difference code and derive a second logical expression from the second difference code, and a determination section that, depending on whether the second logical expression includes the first logical expression, determines whether the first program in a predetermined embedded device is dynamically updatable to the second program.

Abstract: An object of the present invention is to perform a program updating process without reconstructing a program using a pre-update program and an update differential program. An embedded device has a nonvolatile memory having a plurality of planes from/to which data can be read/written independently and an address translator performing address translation by using an address translation table. When an address obtained by decoding an instruction by a CPU is an address corresponding to a change part in a default program, the address translator translates the address to an address in which a differential program is disposed.

Abstract: In a communication system in which a relay apparatus, a terminal apparatus, and other apparatuses, which can communicate with an authentication apparatus, are coupled through a communication path, the relay apparatus, and the terminal apparatus have unique authentication information, respectively. The relay apparatus transmits its own authentication information and authentication information collected from the terminal apparatus to the authentication apparatus. The authentication apparatus determines whether the relay apparatus and the terminal apparatus are authentic apparatuses based on the received authentication information. The relay apparatus shuts down communication between itself and an apparatus determined to be unauthentic based on a result of the determination, and transmits communication control information to shut down communication with the apparatus determined to be unauthentic to the terminal apparatus.

Abstract: The present invention provides a detecting apparatus for detecting an abnormal state such as a drop or fall of a person to be observed from a captured image in a real-time manner and realizing improvement in precision of the detection while eliminating the influence of a background image and noise. The detecting apparatus calculates a motion vector of each of blocks of an image of video data, and extracts a block group in which the size of the motion vector exceeds a predetermined value. The detecting apparatus forms a group from adjacent blocks. For example, in descending order of the area of the blocks, the detecting apparatus calculates characteristic amounts such as an average vector, a variance, and a rotation direction component of motion blocks included in the blocks. The detecting apparatus detects that the person to be observed is in an abnormal state such as a drop or fall on the basis of the characteristic amounts of the groups, and informs an external apparatus or the like of the detection result.

Abstract: The present invention provides a detecting apparatus for detecting an abnormal state such as a drop or fall of a person to be observed from a captured image in a real-time manner and realizing improvement in precision of the detection while eliminating the influence of a background image and noise. The detecting apparatus calculates a motion vector of each of blocks of an image of video data, and extracts a block group in which the size of the motion vector exceeds a predetermined value. The detecting apparatus forms a group from adjacent blocks. For example, in descending order of the area of the blocks, the detecting apparatus calculates characteristic amounts such as an average vector, a variance, and a rotation direction component of motion blocks included in the blocks. The detecting apparatus detects that the person to be observed is in an abnormal state such as a drop or fall on the basis of the characteristic amounts of the groups, and informs an external apparatus or the like of the detection result.

Abstract: Specific characteristics of a branch structure between a behavioral description and a hardware description, a structural dependence relation therebetween, and the like are extracted and used to shorten the time of processing for equivalence checking, thereby contributing to the shortening of a processing time required for equivalence checking for a high-level description and a behavioral synthesis result. Upon checking of the equivalence of a high-level description and a synthesis result obtained by performing a behavior synthesis on the high-level description according to a behavioral synthesis restriction, correspondence information between flip-flops with a feedback loop in the synthesis result and variables associated therewith with a backward data dependence relation in a high-level description is generated and used.

Abstract: A language conversion method includes a first process in which a computer unit inputs algorithm description data describing an algorithm of hardware under a predetermined description constraint using a program description language, a second process in which the computer unit inputs hardware element specification data specifying parameters representing hardware elements included in the algorithm description data, and a third process in which the computer unit converts the algorithm description data into data of a hardware model based on a system level description language, wherein, in the third process, the computer unit generates a data dependency preservation description which preserves, in the hardware model, data dependency in the algorithm description with regard to a parameter specified in the hardware element specification data.

Abstract: A language conversion method includes a first process in which a computer unit inputs algorithm description data describing an algorithm of hardware under a predetermined description constraint using a program description language, a second process in which the computer unit inputs hardware element specification data specifying parameters representing hardware elements included in the algorithm description data, and a third process in which the computer unit converts the algorithm description data into data of a hardware model based on a system level description language, wherein, in the third process, the computer unit generates a data dependency preservation description which preserves, in the hardware model, data dependency in the algorithm description with regard to a parameter specified in the hardware element specification data.