Enhancing privacy of paging procedure in LTE

The mechanisms adopted by cellular technologies for user identification allow an adversary to collect information about individuals and track their movements within the network; and thus exposing privacy of the users to unknown risks. Despite efforts have been made by Long Term Evolution LTE toward enhancing privacy preserving capabilities, LTE does not eliminate the possibility of user privacy attacks. LTE is still vulnerable to user privacy attacks. This paper includes an evaluation of LTE security architecture and proposes a security solution for the enhancement of paging procedure privacy in LTE. The solution is based on introducing of frequently changing unrelated temporary mobile subscriber identifiers (TMSI) used for identification. The scheme provides secure and effective identity management in respect to the protection of user privacy in LTE during paging process. The scheme is formally verified using proVerif and proved to provide an adequate assurance of user privacy protection

A proof-producing machine-code analyzer for secure information flow

An approach enabling end-users to verify that a downloaded untrusted code will not leak confidential data to unauthorized parties is presented. The approach certifies RISC-style assembly programs for secure information flow by statically analyzing the code based on the idea of Proof Carrying Code (PCC). The proofs that untrusted code does not leak sensitive information are generated and checked on the host machine and if they are valid, then the untrusted code can be installed and executed safely. The proposed security analyzer operates directly on the machinecode requiring only the inputs and outputs of the code be annotated with security levels. The generated proofs serve as evidence that give end-users a guarantee about the security of the untrusted code

Training manual on approach to unwell children under 5 years

In line with the SDG, Ministry of Health Malaysia aims to end all preventable deaths among newborn and children under 5 years and developed the ‘Training Manual on Approach to Unwell Children under 5 years’ (ATUCU5) based on the WHO IMCI strategy. ATUCU5 is meant for training of our health care providers on three main components, which includes early detection of danger signs, improvements in the case management skills and proper immediate treatment