Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control

Scientific Conference (2016, December 12)

Intel SGX is the latest processor architecture promising secure code execution despite large, complex and hence potentially vulnerable legacy operating systems (OSs). However, two recent works identified ... [more ▼]

Intel SGX is the latest processor architecture promising secure code execution despite large, complex and hence potentially vulnerable legacy operating systems (OSs). However, two recent works identified vulnerabilities that allow an untrusted management OS to extract secret information from Intel SGX's enclaves, and to violate their integrity by exploiting concurrency bugs. In this work, we re-investigate delayed preemption (DP) in the context of Intel SGX. DP is a mechanism originally proposed for L4-family microkernels as disable-interrupt replacement. Recapitulating earlier results on language-based information-flow security, we illustrate the construction of leakage-free code for enclaves. However, as long as adversaries have fine-grained control over preemption timing, these solutions are impractical from a performance/complexity perspective. To overcome this, we resort to delayed preemption, and sketch a software implementation for hypervisors providing enclaves as well as a hardware extension for systems like SGX. Finally, we illustrate how static analyses for SGX may be extended to check confidentiality of preemption-delaying programs. [less ▲]

A Probabilistic View of Neighborhood-based Recommendation Methods

in ICDM 2016 - IEEE International Conference on Data Mining series (ICDM) workshop CLOUDMINE (2016, December 12)

Probabilistic graphic model is an elegant framework to compactly present complex real-world observations by modeling uncertainty and logical flow (conditionally independent factors). In this paper, we ... [more ▼]

Probabilistic graphic model is an elegant framework to compactly present complex real-world observations by modeling uncertainty and logical flow (conditionally independent factors). In this paper, we present a probabilistic framework of neighborhood-based recommendation methods (PNBM) in which similarity is regarded as an unobserved factor. Thus, PNBM leads the estimation of user preference to maximizing a posterior over similarity. We further introduce a novel multi-layer similarity descriptor which models and learns the joint influence of various features under PNBM, and name the new framework MPNBM. Empirical results on real-world datasets show that MPNBM allows very accurate estimation of user preferences. [less ▲]

The Werner Report: A Blueprint for an Economic and Monetary Union in Europe?"

Presentation (2016, December 12)

One of the major research projects currently under way is dedicated to the European vocation and achievements of Pierre Werner, a former Prime Minister, Finance Minister and Foreign Minister of Luxembourg ... [more ▼]

One of the major research projects currently under way is dedicated to the European vocation and achievements of Pierre Werner, a former Prime Minister, Finance Minister and Foreign Minister of Luxembourg, unanimously recognised as one of the architects of Economic and Monetary Union. The first stage of the research project particularly focuses on the plan for the establishment by stages of an economic and monetary union (more widely known as the Werner Report or the Werner Plan), drawn up by a group of experts chaired by Pierre Werner and officially presented on 8 October 1970 in Luxembourg. The project will then concentrate on the events that subsequently led to Economic and Monetary Union, as seen through the eyes of Pierre Werner and from the perspective of his own contribution; it will also examine a number of issues in which the former Luxembourg Prime Minister was particularly involved, such as the question of the seats of the institutions, the Luxembourg Compromise, the accession of the United Kingdom, and cooperation between the Benelux countries and the Belgo-Luxembourg Economic Union (BLEU). Project Manager: Dr Elena Danescu (elena.danescu@uni.lu) [less ▲]

Feedback trading and index option prices

Scientific Conference (2016, December 10)

Diachrone Interkulturalität. Theoretischer Entwurf und Fallbeispiele

Speeches/Talks (2016)

“It’s like society on a smaller scale” – First observations of a multilingual classroom theatre project in Luxembourg

Presentation (2016, December 09)

Poster: LuST-LTE: A Simulation Package for Pervasive Vehicular Connectivity

Poster (2016, December 08)

Recent technological advances in communication technology have provided new ways to understand human mobility. Connected vehicles with their rising market penetration are particularly representative of ... [more ▼]

Recent technological advances in communication technology have provided new ways to understand human mobility. Connected vehicles with their rising market penetration are particularly representative of this trend. They become increasingly interesting, not only as sensors, but also as participants in Intelligent Transportation System (ITS) applications. More specifically, their pervasive connectivity to cellular networks enables them as passive and active sensing units. In this paper, we introduce LuST-LTE, a package of open-source simulation tools that allows the simulation of vehicular traffic along with pervasive LTE connectivity. [less ▲]

L'intérim transfrontalier : les marges de l'emploi aux marges des territoires

in Revue Française de Socio-Economie (2016), 17(2nd semestre), 43-63

Within the Greater Region Saar-Lor-Lux (including one state: Luxembourg, and four regions: Saarland and Rhineland-Palatinate in Germany, Wallonia in Belgium and Lorraine in France), there is an increase ... [more ▼]

Within the Greater Region Saar-Lor-Lux (including one state: Luxembourg, and four regions: Saarland and Rhineland-Palatinate in Germany, Wallonia in Belgium and Lorraine in France), there is an increase in the number of cross-border workers as well as a diversification of this form of employment, including temporary work. Temporary work agencies now constitute new employment intermediaries inside this cross-border area. They favour the development of specific forms of employment and take advantage of the differences in social and fiscal rules between countries. [less ▲]

Social advance in interwar European borderlands. A compared analysis of elite training in Polish Upper Silesia and the Eupen-Malmedy region

Presentation (2016, December 08)

A tracking error control approach for model predictive position control of a quadrotor with time varying reference

in IEEE International Conference on Robotics and Biomimetics ROBIO, Qingdao, China, 2016 (2016, December 06)

In mobile robotic applications, a common problem is the following of a given trajectory with a constant velocity. Using standard model predictive control (MPC) for tracking of time varying trajectories ... [more ▼]

In mobile robotic applications, a common problem is the following of a given trajectory with a constant velocity. Using standard model predictive control (MPC) for tracking of time varying trajectories leads to a constant tracking error. This problem is modelled in this paper as quadrotor position tracking problem. The presented solution is a computationally light-weight target position control (T PC), that controls the tracking error of MPCs for constantly moving targets. The proposed technique is assessed mathematically in the Laplace domain, in simulation, as well as experimentally on a real quadrotor system. [less ▲]