Source author record

Joao Sousa

Joao Sousa appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

2works
2topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

2 published item(s)

preprint2022arXiv

Bao-Enclave: Virtualization-based Enclaves for Arm

General-purpose operating systems (GPOS), such as Linux, encompass several million lines of code. Statistically, a larger code base inevitably leads to a higher number of potential vulnerabilities and inherently a more vulnerable system. To minimize the impact of vulnerabilities in GPOS, it has become common to implement security-sensitive programs outside the domain of the GPOS, i.e., in a Trusted Execution Environment (TEE). Arm TrustZone is the de-facto technology for implementing TEEs in Arm devices. However, over the last decade, TEEs have been successfully attacked hundreds of times. Unfortunately, these attacks have been possible due to the presence of several architectural and implementation flaws in TrustZone-based TEEs. In this paper, we propose Bao-Enclave, a virtualization-based solution that enables OEMs to remove security functionality from the TEE and move them into normal world isolated environments, protected from potentially malicious OSes, in the form of lightweight virtual machines (VMs). We evaluate Bao-Enclave on real hardware platforms and find out that Bao-Enclave may improve the performance of security-sensitive workloads by up to 4.8x, while significantly simplifying the TEE software TCB.

preprint2016arXiv

Optimal Rendezvous Trajectory for Unmanned Aerial-Ground Vehicles

Fixed-wind unmanned aerial vehicles (UAVs) are essential for low cost aerial surveillance and mapping applications in remote regions. One of the main limitations of UAVs is limited fuel capacity and hence requires periodic refueling to accomplish a mission. The usual mechanism of commanding the UAV to return to a stationary base station for refueling can result in fuel wastage and inefficient mission operation time. Alternatively, unmanned gound vehicle (UGV) can be used as a mobile refueling unit where the UAV will rendezvous with the UGV for refueling. In order to accurately perform this task in the presence of wind disturbances, we need to determine an optimal trajectory in 3D taking UAV and UGV dynamics and kinematics into account. In this paper, we propose an optimal control formulation to generate a tunable UAV trajectory for rendezvous on a moving UGV taking wind disturbances into account. By a suitable choice of the value of an aggressiveness index in our problem setting, we are able to control the UAV rendezvous behavior. Several numerical results are presented to show the reliability and effectiveness of our approach.