Abstract: An electronic device includes a secure element in which at least one application package is installed and a processor for communicating with the secure element. The secure element further stores a list with which a part or all of identification information of the at least one application package is registered. The processor controls the secure element such that an application package indicated by the identification information registered with the list is uninstalled, in response to a specified event. Various other embodiments recognized from the specification are also possible.

Abstract: An electronic device and a program management method therefor are provided. The electronic device includes a communication interface, a memory, at least one processor, and a secure circuitry. The secure circuitry is configured to provide a first public key stored in the secure circuitry to the at least one processor. The at least one processor is configured to transmit the first public key to an external device and receive an encrypted secure program encrypted based on the first public key and a second public key generated by the external device, from the external device. The at least one processor is further configured to transmit the second public key and the encrypted secure program to the secure circuitry. The secure circuitry is configured to decrypt the encrypted secure program based on the second public key and a first private key which is symmetrical to the first public key.

Abstract: An electronic device includes a secure element in which at least one application package is installed and a processor for communicating with the secure element. The secure element further stores a list with which a part or all of identification information of the at least one application package is registered. The processor controls the secure element such that an application package indicated by the identification information registered with the list is uninstalled, in response to a specified event. Various other embodiments recognized from the specification are also possible.

Abstract: Provided are CO hydratase and a method for producing formate using the same, and more specifically, to CO hydratase which is a novel enzyme which is produced by linking CO dehydrogenase (CODH) and CO2 reductase and can directly convert CO into formate, and use thereof.

Abstract: An electronic device is provided. The electronic device includes a processor, a memory configured to connect to the processor, and an embedded secure element (eSE) configured to connect to the processor over a physical channel to receive secure data sent by the processor over the physical channel, and store the secure data.

Abstract: An electronic device and a program management method therefor are provided. The electronic device includes a communication interface, a memory, at least one processor, and a secure circuitry. The secure circuitry is configured to provide a first public key stored in the secure circuitry to the at least one processor. The at least one processor is configured to transmit the first public key to an external device and receive an encrypted secure program encrypted based on the first public key and a second public key generated by the external device, from the external device. The at least one processor is further configured to transmit the second public key and the encrypted secure program to the secure circuitry. The secure circuitry is configured to decrypt the encrypted secure program based on the second public key and a first private key which is symmetrical to the first public key.

Abstract: Provided are CO hydratase and a method for producing formate using the same, and more specifically, to CO hydratase which is a novel enzyme which is produced by linking CO dehydrogenase (CODH) and CO2 reductase and can directly convert CO into formate, and use thereof.

Abstract: An apparatus and method for providing virtualization services in a mobile device are provided. The virtualization service providing apparatus includes an installer module configured to receive a hypervisor image and an agent for installing the hypervisor image, from a host server, a virtualization service module configured to store the hypervisor image and the agent and to transmit a request for rebooting the mobile device, in response to determining that the hypervisor image and the agent are authenticated by an authentication server, and a power management module configured to receive the request, and to reboot the mobile device.

Abstract: An electronic device that makes a payment with an external payment device includes a power module configured to power the electronic device is provided. The electronic device includes a memory configured to store first payment information that accompanies a user authentication and second payment information that does not accompany the user authentication, a near-field wireless communication module configured to send the first payment information or the second payment information stored in the memory to the external payment device, and a processor configured to obtain power information of the power module, to set the memory such that the first payment information is sent to the external payment device if a value corresponding to the power information is greater than or equal to a power value, and to set the memory such that the second payment information is sent to the external payment device if the value corresponding to the power information is less than the power value.

Abstract: An electronic device is provided. The electronic device includes a processor, a memory configured to connect to the processor, and secure circuitry configured to connect to the processor over a physical channel receive data sent by the processor over the physical channel, and store the data.

Abstract: An apparatus and method for selecting a Secure Element (SE) in a Near Field Communication (NFC) device are provided. Identifiers (IDs) are displayed to indicate which application programs correspond to a plurality of SEs. Upon selection of one of the IDs, an SE corresponding to the selected application-program ID from among the plurality of SEs is activated. An NFC controller is configured to select an SE from one of at least three schemes including a User Selection Scheme, Automatic Selection Scheme, and a Hybrid Scheme.

Abstract: An apparatus and method for providing virtualization services in a mobile device are provided. The virtualization service providing apparatus includes an installer module configured to receive a hypervisor image and an agent for installing the hypervisor image, from a host server, a virtualization service module configured to store the hypervisor image and the agent and to transmit a request for rebooting the mobile device, in response to determining that the hypervisor image and the agent are authenticated by an authentication server, and a power management module configured to receive the request, and to reboot the mobile device.

Abstract: An apparatus and a method perform paying for a product using a near field communication device. The method includes: when payment for a particular product is requested by a user, generating a payment request message for requesting payment for the particular product and transmitting the payment request message to a security element server; when a personal identification information request message for requesting personal identification information in response to the payment request message is received, receiving an input of personal identification information from the user; transmitting the input personal identification information to the security element server; and receiving a payment result message representing a result of the payment.

Abstract: An apparatus and method for selecting a Secure Element (SE) in a Near Field Communication (NFC) device are provided. Identifiers (IDs) are displayed to indicate which application programs correspond to a plurality of SEs. Upon selection of one of the IDs, an SE corresponding to the selected application-program ID from among the plurality of SEs is activated. An NFC controller is configured to select an SE from one of at least three schemes including a User Selection Scheme, Automatic Selection Scheme, and a Hybrid Scheme.