Huawei Technologies Co., Limited

Qatar University

The Open University

Yijun Yu

Ahmed E Hassan

Khaled M Khan

Armstrong Nhlabatsi

Michael Ling

Yuan Wang

Arosha Bandara

Niamul Haque Khan

Haitao Wu

Bashar Nuseibeh

Thein Than Tun

Methods, devices and media for two-pass source code transformation from a first high-level programming language to a second high-level programming language are described. Two different source code transformation technologies are combined to produce a two-pass source code transformation method: a compiler-based source code transformation technique is used in a first pass, and a parse-tree-based source code transformation technique is used in second pass. The second pass may be used to automatically refactor the source code to enhance desired properties of the second programming language. A two-pass C-to-Rust transformation technique, CRustS, is described which automatically generates Rust source code that exhibits memory safety and overcomes other limitations of existing tools such as C2Rust.

Methods, devices, and media for two-pass source code transformation

Certain embodiments may generally relate to controlling access to data held in the cloud. A method for controlling access to data held in the cloud may include determining, at a cloud server, the validity of user credentials received from a user device. The method may also include receiving context data related to the user device based on the validity of the user credentials. The method may further include synchronizing the context data with the cloud server. In addition, the method may include enforcing context-sensitive security checks on requests made by the user for resources based on the sensor data collected by the user device.

Method and system for adaptive security in cloud-based services

Growing community of inventors

Milton Keynes, United Kingdom

Yijun Yu