Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption ControlVolp, Marcus ; ; Decouchant, Jérémie et alScientific 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 ▲] Detailed reference viewed: 344 (29 UL) Elastography under uncertaintyHale, Jack ; ; Bordas, Stéphane ![]() Poster (2016, December 12) Detailed reference viewed: 197 (11 UL) A Probabilistic View of Neighborhood-based Recommendation MethodsWang, Jun ; 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 ▲] Detailed reference viewed: 152 (10 UL) Fractional charge oscillations in quantum spin Hall quantum dots; ; Dolcetto, Giacomo et alE-print/Working paper (2016) We show that correlated two-particle backscattering can induce fractional charge oscillations in a quantum dot built at the edge of a two-dimensional topological insulator by means of magnetic barriers ... [more ▼] We show that correlated two-particle backscattering can induce fractional charge oscillations in a quantum dot built at the edge of a two-dimensional topological insulator by means of magnetic barriers. The result nicely complements recent works where the fractional oscillations were obtained employing of semiclassical treatments. Moreover, since by rotating the magnetization of the barriers a fractional charge can be trapped in the dot via the Jackiw-Rebbi mechanism, the system we analyze offers the opportunity to study the interplay between this noninteracting charge fractionalization and the fractionalization due to two-particle backscattering. In this context, we demonstrate that the number of fractional oscillations of the charge density depends on the magnetization angle. Finally, we address the renormalization induced by two-particle backscattering on the spin density, which is characterized by a dominant oscillation, sensitive to the Jackiw-Rebbi charge, with a wavelength twice as large as the charge density oscillations. [less ▲] Detailed reference viewed: 55 (3 UL) D'Fangeren ewech vum Index...Scuto, Denis ![]() Article for general public (2016) Detailed reference viewed: 76 (4 UL) Feedback trading and index option pricesLehnert, Thorsten ![]() Scientific Conference (2016, December 10) Detailed reference viewed: 40 (2 UL) Diachrone Interkulturalität. Theoretischer Entwurf und FallbeispieleWiegmann, Eva ![]() Speeches/Talks (2016) Detailed reference viewed: 68 (5 UL) Deep Learning on Big Data Sets in the Cloud with Apache Spark and Google TensorFlowGlauner, Patrick ; State, Radu ![]() Scientific Conference (2016, December 09) Machine learning is the branch of artificial intelligence giving computers the ability to learn patterns from data without being explicitly programmed. Deep Learning is a set of cutting-edge machine ... [more ▼] Machine learning is the branch of artificial intelligence giving computers the ability to learn patterns from data without being explicitly programmed. Deep Learning is a set of cutting-edge machine learning algorithms that are inspired by how the human brain works. It allows to selflearn feature hierarchies from the data rather than modeling hand-crafted features. It has proven to significantly improve performance in challenging data analytics problems. In this tutorial, we will first provide an introduction to the theoretical foundations of neural networks and Deep Learning. Second, we will demonstrate how to use Deep Learning in a cloud using a distributed environment for Big Data analytics. This combines Apache Spark and TensorFlow, Google’s in-house Deep Learning platform made for Big Data machine learning applications. Practical demonstrations will include character recognition and time series forecasting in Big Data sets. Attendees will be provided with code snippets that they can easily amend in order to analyze their own data. A related, but shorter tutorial focusing on Deep Learning on a single computer was given at the Data Science Luxembourg Meetup in April 2016. It was attended by 70 people making it the most attended event of this Meetup series in Luxembourg ever since its beginning. [less ▲] Detailed reference viewed: 494 (6 UL) “It’s like society on a smaller scale” – First observations of a multilingual classroom theatre project in LuxembourgWeyer, Dany ![]() Presentation (2016, December 09) Detailed reference viewed: 95 (20 UL) GNSS related periodic signals in coordinate time-series from Precise Point PositioningAbraha, Kibrom Ebuy ; Teferle, Felix Norman ; Hunegnaw, Addisu et alin 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 ▲] Detailed reference viewed: 330 (30 UL)![]() Poster: LuST-LTE: A Simulation Package for Pervasive Vehicular ConnectivityDerrmann, Thierry ; Faye, Sébastien ; Frank, Raphaël et alPoster (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 ▲] Detailed reference viewed: 246 (22 UL) Social advance in interwar European borderlands. A compared analysis of elite training in Polish Upper Silesia and the Eupen-Malmedy regionVenken, Machteld ![]() Presentation (2016, December 08) Detailed reference viewed: 6 (0 UL) L'intérim transfrontalier : les marges de l'emploi aux marges des territoiresPigeron-Piroth, Isabelle ; 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 ▲] Detailed reference viewed: 197 (10 UL) Espaces publics et mémoires à la frontière Serbie/Croatie : une illustration des tensions entre expressions nationalistes, oubli sélectif et banalité du quotidienBlondel, Cyril ![]() Scientific Conference (2016, December 08) Detailed reference viewed: 57 (3 UL) Der Umgang mit traumatischen Erlebenissen.Weber, Jean-Marie ![]() Presentation (2016, December 08) Detailed reference viewed: 47 (2 UL) Une minorité de citoyens reste nostalgiqueParavantis, Spero ![]() E-print/Working paper (2016) Au cours de l’automne 1991, les républiques constituantes de l’Union soviétique proclamaient, l’une après l’autre, leur indépendance. Il y a 25 ans, avec la création de la Communauté des États ... [more ▼] Au cours de l’automne 1991, les républiques constituantes de l’Union soviétique proclamaient, l’une après l’autre, leur indépendance. Il y a 25 ans, avec la création de la Communauté des États indépendants (CEI), la superpuissance URSS a cessé d’exister d’un jour à l’autre. Dr. Spero S.Z. Paravantis de l’Université du Luxembourg revient sur ce grand chapitre de l’histoire. [less ▲] Detailed reference viewed: 60 (7 UL) Aufbauen auf den mehrsprachigen Ressourcen der Kinder,Kirsch, Claudine ![]() Scientific Conference (2016, December 07) Detailed reference viewed: 113 (6 UL) A tracking error control approach for model predictive position control of a quadrotor with time varying referenceDentler, Jan Eric ; Kannan, Somasundar ; Olivares Mendez, Miguel Angel et alin 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 ▲] Detailed reference viewed: 236 (29 UL) COLLABORATIVE RULE-BASED PROACTIVE SYSTEMS: MODEL, INFORMATION SHARING STRATEGY AND CASE STUDIESDobrican, Remus-Alexandru ![]() Doctoral thesis (2016) The Proactive Computing paradigm provides us with a new way to make the multitude of computing systems, devices and sensors spread through our modern environment, work for/pro the human beings and be ... [more ▼] The Proactive Computing paradigm provides us with a new way to make the multitude of computing systems, devices and sensors spread through our modern environment, work for/pro the human beings and be active on our behalf. In this paradigm, users are put on top of the interactive loop and the underlying IT systems are automated for performing even the most complex tasks in a more autonomous way. This dissertation focuses on providing further means, at both theoretical and applied levels, to design and implement Proactive Systems. It is shown how smart mobile, wearable and/or server applications can be developed with the proposed Rule-Based Middleware Model for computing pro-actively and for operating on multiple platforms. In order to represent and to reason about the information that the proactive system needs to know about its environment where it performs its computations, a new technique called Proactive Scenario is proposed. As an extension of its scope and properties, and for achieving global reasoning over inter-connected proactive systems, a new collaborative technique called Global Proactive Scenario is then proposed. Furthermore, to show their potential, three real world case studies of (collaborative) proactive systems have been explored for validating the proposed development methodology and its related technological framework in various domains like e-Learning, e-Business and e-Health. Results from these experiments con rm that software applications designed along the lines of the proposed rule-based proactive system model together with the concepts of local and global proactive scenarios, are capable of actively searching for the information they need, of automating tasks and procedures that do not require the user's input, of detecting various changes in their context and of taking measures to adapt to it for addressing the needs of the people which use these systems, and of performing collaboration and global reasoning over multiple proactive engines spread across different networks. [less ▲] Detailed reference viewed: 254 (36 UL) Sustainable Economic and Monetary Union: the role of social rightsMuñoz, Susana ![]() Scientific Conference (2016, December 06) This paper focuses on one significant aspect of the sustainability of the EMU. it argues that social rights are key factors to support economic integration in the EU and in fine the overall European ... [more ▼] This paper focuses on one significant aspect of the sustainability of the EMU. it argues that social rights are key factors to support economic integration in the EU and in fine the overall European integration process. [less ▲] Detailed reference viewed: 22 (0 UL) |
||