University of Luxembourg

About: University of Luxembourg is a education organization based out in Luxembourg, Luxembourg. It is known for research contribution in the topics: Context (language use) & Computer science. The organization has 4744 authors who have published 22175 publications receiving 381824 citations.

Software-Defined Networking: A Comprehensive Survey

Abstract: Software-Defined Networking (SDN) is an emerging paradigm that promises to change this state of affairs, by breaking vertical integration, separating the network's control logic from the underlying routers and switches, promoting (logical) centralization of network control, and introducing the ability to program the network. The separation of concerns introduced between the definition of network policies, their implementation in switching hardware, and the forwarding of traffic, is key to the desired flexibility: by breaking the network control problem into tractable pieces, SDN makes it easier to create and introduce new abstractions in networking, simplifying network management and facilitating network evolution. In this paper we present a comprehensive survey on SDN. We start by introducing the motivation for SDN, explain its main concepts and how it differs from traditional networking, its roots, and the standardization activities regarding this novel paradigm. Next, we present the key building blocks of an SDN infrastructure using a bottom-up, layered approach. We provide an in-depth analysis of the hardware infrastructure, southbound and northbound APIs, network virtualization layers, network operating systems (SDN controllers), network programming languages, and network applications. We also look at cross-layer problems such as debugging and troubleshooting. In an effort to anticipate the future evolution of this new paradigm, we discuss the main ongoing research efforts and challenges of SDN. In particular, we address the design of switches and control platforms -- with a focus on aspects such as resiliency, scalability, performance, security and dependability -- as well as new opportunities for carrier transport networks and cloud providers. Last but not least, we analyze the position of SDN as a key enabler of a software-defined environment.

Genome-wide association study reveals genetic risk underlying Parkinson's disease

Abstract: We performed a genome-wide association study (GWAS) in 1,713 individuals of European ancestry with Parkinson's disease (PD) and 3,978 controls. After replication in 3,361 cases and 4,573 controls, we observed two strong association signals, one in the gene encoding a-synuclein (SNCA; rs2736990, OR = 1.23, P = 2.24 x 10(-16)) and another at the MAPT locus (rs393152, OR = 0.77, P = 1.95 x 10(-16)). We exchanged data with colleagues performing a GWAS in Japanese PD cases. Association to PD at SNCA was replicated in the Japanese GWAS1, confirming this as a major risk locus across populations. We replicated the effect of a new locus detected in the Japanese cohort (PARK16, rs823128, OR = 0.66, P = 7.29 x 10(-8)) and provide supporting evidence that common variation around LRRK2 modulates risk for PD (rs1491923, OR = 1.14, P = 1.55 x 10(-5)). These data demonstrate an unequivocal role for common genetic variants in the etiology of typical PD and suggest population-specific genetic heterogeneity in this disease.

FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps

Abstract: Today's smartphones are a ubiquitous source of private and confidential data. At the same time, smartphone users are plagued by carelessly programmed apps that leak important data by accident, and by malicious apps that exploit their given privileges to copy such data intentionally. While existing static taint-analysis approaches have the potential of detecting such data leaks ahead of time, all approaches for Android use a number of coarse-grain approximations that can yield high numbers of missed leaks and false alarms. In this work we thus present FlowDroid, a novel and highly precise static taint analysis for Android applications. A precise model of Android's lifecycle allows the analysis to properly handle callbacks invoked by the Android framework, while context, flow, field and object-sensitivity allows the analysis to reduce the number of false alarms. Novel on-demand algorithms help FlowDroid maintain high efficiency and precision at the same time. We also propose DroidBench, an open test suite for evaluating the effectiveness and accuracy of taint-analysis tools specifically for Android apps. As we show through a set of experiments using SecuriBench Micro, DroidBench, and a set of well-known Android test applications, FlowDroid finds a very high fraction of data leaks while keeping the rate of false positives low. On DroidBench, FlowDroid achieves 93% recall and 86% precision, greatly outperforming the commercial tools IBM AppScan Source and Fortify SCA. FlowDroid successfully finds leaks in a subset of 500 apps from Google Play and about 1,000 malware apps from the VirusShare project.

Modelling the global ocean tides: modern insights from FES2004

Abstract: During the 1990s, a large number of new tidal atlases were developed, primarily to provide accurate tidal corrections for satellite altimetry applications. During this decade, the French tidal group (FTG), led by C. Le Provost, produced a series of finite element solutions (FES) tidal atlases, among which FES2004 is the latest release, computed from the tidal hydrodynamic equations and data assimilation. The aim of this paper is to review the state of the art of tidal modelling and the progress achieved during this past decade. The first sections summarise the general FTG approach to modelling the global tides. In the following sections, we introduce the FES2004 tidal atlas and validate the model against in situ and satellite data. We demonstrate the higher accuracy of the FES2004 release compared to earlier FES tidal atlases, and we recommend its use in tidal applications. The final section focuses on the new dissipation term added to the equations, which aims to account for the conversion of barotropic energy into internal tidal energy. There is a huge improvement in the hydrodynamic tidal solution and energy budget obtained when this term is taken into account.