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 ▲]

D'Fangeren ewech vum Index...

Article for general public (2016)

Diachrone Interkulturalität. Theoretischer Entwurf und Fallbeispiele

Speeches/Talks (2016)

GNSS related periodic signals in coordinate time-series from Precise Point Positioning

in Geophysical Journal International (2016)

In Global Navigation Satellite System (GNSS) coordinate time series unrecognised errors and un-modelled (periodic) effects may bias non-linear motions induced by geophysical signals. Hence, understanding ... [more ▼]

In Global Navigation Satellite System (GNSS) coordinate time series unrecognised errors and un-modelled (periodic) effects may bias non-linear motions induced by geophysical signals. Hence, understanding and mitigating these errors is vital to reducing biases and on revealing subtle geophysical signals. To assess the nature of periodic signals in coordinate time series Precise Point Positioning (PPP) solutions for the period 2008 to 2015 are generated. The solu- tions consider Global Positioning System (GPS), GLObalnaya NAvigatsionnaya Sputnikovaya Sistema (GLONASS) or combined GPS+GLONASS (GNSS) observations. We assess the pe- riodic signals of station coordinates computed using the combined International GNSS Service (IGS) and four of its Analysis Centers (ACs) products. Furthermore, we make use of different filtering methods to investigate the sources of the periodic signals. A faint fortnightly signal in our PPP solution based on Jet Propulsion Laboratory (JPL) products and the existence of an 8-day period for those ACs generating combined GPS+GLONASS products are the main features in the GPS-only solutions. The existence of the 8-day period in the GPS-only solution indicates that GPS orbits computed in a combined GNSS solution contain GLONASS-specific signals. The GLONASS-only solution shows highly elevated powers at the 3rd draconitic harmonic ( ~ 120-day period), at the 8-day period and its harmonics (4 days, 2.67 days) besides the well-known annual, semi-annual and other draconitic harmonics. We show that the GLONASS constellation gaps before December 2011 contribute to the power at some of the frequencies. However, the well known fortnightly signal in GPS-only solutions is not discernible in the GLONASS-only solution. The combined GNSS solution contains periodic signals from both systems, with most of the powers being reduced when compared to the single-GNSS solutions. A 52% reduction for the horizontal components and a 36% reduction for the vertical compo- nent are achieved for the fortnightly signal from the GNSS solution compared to the GPS-only solution. Comparing the results of the employed filtering methods reveals that the source of most of the powers of draconitic and fortnightly signals are satellite-induced with a non-zero contribution of site-specific errors. [less ▲]

Der Umgang mit traumatischen Erlebenissen.

Presentation (2016, December 08)

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 ▲]

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 ▲]

Aufbauen auf den mehrsprachigen Ressourcen der Kinder,

Scientific Conference (2016, December 07)