Luxembourg United Qualification Document for RoboCup 2017

Report (2017)

This is the qualification document for the new team, and first team of Luxembourg, called “Luxembourg United”. This is also the team’s first attempt to qualify for a RoboCup competition. First, a general ... [more ▼]

This is the qualification document for the new team, and first team of Luxembourg, called “Luxembourg United”. This is also the team’s first attempt to qualify for a RoboCup competition. First, a general description of the Luxembourg United team is presented, along with its members and the equipment owned by the team. Second, the mixed team option is considered and potential eventualities suggested. Third, the Luxembourg United team thankfully acknowledges its use of the B-Human code, and lists its original contributions to this code as well as to RoboCup 2017. Fourth, The activities of the team that contribute to Luxembourg United are outlined. Fifth, the impact of the team’s participation and research in RoboCup is described as it applies to the SPL community, to Luxembourg University and SnT Research Center, and to the whole country of Luxembourg. We conclude this document with considerations pertaining to the path that brought us to RoboCup, and present futur perspectives. [less ▲]

ReACP: A Semi-Automated Framework for Reverse-engineering and Testing of Access Control Policies of Web Applications

Report (2016)

This technical report details our a semi-automated framework for the reverse-engineering and testing of access control (AC) policies for web-based applications. In practice, AC specifications are often ... [more ▼]

This technical report details our a semi-automated framework for the reverse-engineering and testing of access control (AC) policies for web-based applications. In practice, AC specifications are often missing or poorly documented, leading to AC vulnerabilities. Our goal is to learn and recover AC policies from implementation, and assess them to find AC issues. Built on top of a suite of security tools, our framework automatically explores a system under test, mines domain input specifications from access request logs, and then, generates and executes more access requests using combinatorial test generation. We apply machine learning on the obtained data to characterise relevant attributes that influence access control to learn policies. Finally, the inferred policies are used for detecting AC issues, being vulnerabilities or implementation errors. We have evaluated our framework on three open-source applications with respect to correctness and completeness. The results are very promising in terms of the quality of inferred policies, more than 94% of them are correct with respect to implemented AC mechanisms. The remaining incorrect policies are mainly due to our unrefined permission classification. Moreover, a careful analysis of these policies has revealed 92 vulnerabilities, many of them are new. [less ▲]

histograph. Graph-based exploration, crowdsourced indexation

Report (2016)

Blockchain: Fundamentals, Applications and Potential

Report (2016)

Bilateral comparison between the FG5X-216 and FG5-242

Report (2015)

Relative gravity measurements in Ilulissat in July 2013

Report (2015)

Staat, Gesellschaft und Demokratisierung. Luxemburg im kurzen 20. Jahrhundert

Report (2015)

Simulink Fault Localization: an Iterative Statistical Debugging Approach

Report (2015)

Debugging Simulink models presents a significant challenge in the embedded industry. In this work, we propose SimFL, a fault localization approach for Simulink models by combining statistical debugging ... [more ▼]

Debugging Simulink models presents a significant challenge in the embedded industry. In this work, we propose SimFL, a fault localization approach for Simulink models by combining statistical debugging and dynamic model slicing. Simulink models, being visual and hierarchical, have multiple outputs at different hierarchy levels. Given a set of outputs to observe for localizing faults, we generate test execution slices, for each test case and output, of the Simulink model. In order to further improve fault localization accuracy, we propose iSimFL, an iterative fault localization algorithm. At each iteration, iSimFL increases the set of observable outputs by including outputs at lower hierarchy levels, thus increasing the test oracle cost but offsetting it with significantly more precise fault localization. We utilize a heuristic stopping criterion to avoid unnecessary test oracle extension. We evaluate our work on three industrial Simulink models from Delphi Automotive. Our results show that, on average, SimFL ranks faulty blocks in the top 8.9% in the list of suspicious blocks. Further, we show that iSimFL significantly improves this percentage down to 4.4% by requiring engineers to observe only an average of five additional outputs at lower hierarchy levels on top of high-level model outputs. [less ▲]

Workshop on Higher Geometry and Field Theory

Report (2015)

How to solve problems in an increasingly complex world: The research group computer-based assessment at the University of Luxembourg and some of its current topics

Report (2015)

Automated Test Suite Generation for Time-Continuous Simulink Models

Report (2015)

All engineering disciplines are founded and rely on models, al- though they may differ on purposes and usages of modeling. Inter- disciplinary domains such as Cyber Physical Systems (CPSs) seek approaches ... [more ▼]

All engineering disciplines are founded and rely on models, al- though they may differ on purposes and usages of modeling. Inter- disciplinary domains such as Cyber Physical Systems (CPSs) seek approaches that incorporate different modeling needs and usages. Specifically, the Simulink modeling platform greatly appeals to CPS engineers due to its seamless support for simulation and code generation. In this paper, we propose a test generation approach that is applicable to Simulink models built for both purposes of simulation and code generation. We define test inputs and outputs as signals that capture evolution of values over time. Our test gener- ation approach is implemented as a meta-heuristic search algorithm and is guided to produce test outputs with diverse shapes according to our proposed notion of diversity. Our evaluation, performed on industrial and public domain models, demonstrates that: (1) In con- trast to the existing tools for testing Simulink models that are only applicable to a subset of code generation models, our approach is applicable to both code generation and simulation Simulink mod- els. (2) Our new notion of diversity for output signals outperforms random baseline testing and an existing notion of signal diversity in revealing faults in Simulink models. (3) The fault revealing ability of our test generation approach outperforms that of the Simulink Design Verifier, the only testing toolbox for Simulink. [less ▲]

Activités, usage et effectif de la Bibliothèque de l’Université du Luxembourg (BUL): quelle augmentation entre 2009 et 2013?

Report (2014)

Machine Learning-Based Malware Detection for Android Applications: History Matters!

Report (2014)

Machine Learning-based malware detection is a promis- ing scalable method for identifying suspicious applica- tions. In particular, in today’s mobile computing realm where thousands of applications are ... [more ▼]

Machine Learning-based malware detection is a promis- ing scalable method for identifying suspicious applica- tions. In particular, in today’s mobile computing realm where thousands of applications are daily poured into markets, such a technique could be valuable to guaran- tee a strong filtering of malicious apps. The success of machine-learning approaches however is highly de- pendent on (1) the quality of the datasets that are used for training and of (2) the appropriateness of the tested datasets with regards to the built classifiers. Unfortu- nately, there is scarce mention of these aspects in the evaluation of existing state-of-the-art approaches in the literature. In this paper, we consider the relevance of history in the construction of datasets, to highlight its impact on the performance of the malware detection scheme. Typ- ically, we show that simply picking a random set of known malware to train a malware detector, as it is done in most assessment scenarios from the literature, yields significantly biased results. In the process of assessing the extent of this impact through various experiments, we were also able to confirm a number of intuitive assump- tions about Android malware. For instance, we discuss the existence of Android malware lineages and how they could impact the performance of malware detection in the wild. [less ▲]

Improving Traffic in Urban Environments

Report (2014)

The vehicular traffic in the cities is increasing every year. The road infrastructure in many metropolitan areas is not able to sustain the rush-hour traffic demand and the extension of the road network ... [more ▼]

The vehicular traffic in the cities is increasing every year. The road infrastructure in many metropolitan areas is not able to sustain the rush-hour traffic demand and the extension of the road network cannot easily be done. There are some solution proposed to improve the traffic situation, among them, the optimization of the resources already available by means of collecting real time Floating Car Data (FCD) from the vehicles and use them to suggest dynamic routes in order to minimize travel delays. The centralized infrastructure able to achieve this goal has already been presented in ”Improving Traffic in Urban Environments applying the Wardrop Equilibrium” (Codeca, L. et al., 2013). In this extended abstract we present the decentralized version of the system and the preliminary results of its evaluation. [less ▲]

Flanierendes Sammeln. Gangarten des Denkens bei Hannah Arendt

Report (2014)

Mapping the Social Economy in British Columbia and Alberta - Final Report

Report (2013)

Higher Algebras and Lie Infinity Homotopy Theory

Report (2013)

Abstracts and list of participants of the Workshop on "Higher Algebras and Lie Infinity Homotopy Theory" organized in June 2013 at the University of Luxembourg by Vladimir Dotsenko and Norbert Poncin

Über den Zusammenhang von Politik und Identität. Überlegungen im Anschluss an Hannah Arendt

Report (2013)

Determination of minority carrier lifetime and reflectance for textured and chemically polished Si wafers

Report (2013)

Governance for Sustainable Spatial Development – a comparative study of Luxembourg and Switzerland (Summary)

Report (2013)

Governance for Sustainable Spatial Development – a comparative study of Luxembourg and Switzerland

Report (2013)

The project, SUSTAIN_GOV, aims at investigating sustainable spatial development policies in the context of governance, both with respect to Luxembourg and, as a comparative ap-proach, to the Swiss ... [more ▼]

The project, SUSTAIN_GOV, aims at investigating sustainable spatial development policies in the context of governance, both with respect to Luxembourg and, as a comparative ap-proach, to the Swiss planning system and urban transformation processes in the Glattal-Stadt. SUSTAIN_GOV builds directly from the strong conceptual and empirical foundations estab-lished by the “SUSTAINLUX Project” (CO9/SR/01) that has thus far shown that despite the intense urbanization pressure, the strong strains on land resources and infrastructure, and the political dilemmas these issues raise, policy, planning and governance practices in the Grand Duchy remain underdeveloped, particularly in the domain citizen involvement in public deci-sion-making. SUSTAIN_GOV brings into sharper focus a more nuanced scientific under-standing of participation, governance, and integrated sustainable spatial development, and an in-depth evaluation of existing spatial planning, policy, and governance patterns in the Grand Duchy. The proposed research is informed by a robust and contemporary set of conceptual approach, that shape current urban and regional literatures. The research design follows a qualitative methodological approach. [less ▲]

Implications of Results

Report (2013)

Diagram Analysis Report: Use Cases for Conviviality and Privacy in Ambient Intelligent Systems

Report (2012)

Absolute Gravity Measurements ath the Geodynamics Observatory in Moxa (Germany)

Report (2012)

Improving Privacy on Android Smartphones Through In-Vivo Bytecode Instrumentation

Report (2012)

In this paper we claim that a widely applicable and efficient means to fight against malicious mobile Android applications is: 1) to perform runtime monitoring 2) by instrumenting the application bytecode ... [more ▼]

In this paper we claim that a widely applicable and efficient means to fight against malicious mobile Android applications is: 1) to perform runtime monitoring 2) by instrumenting the application bytecode and 3) in-vivo, i.e. directly on the smartphone. We present a tool chain to do this and present experimental results showing that this tool chain can run on smartphones in a reasonable amount of time and with a realistic effort. Our findings also identify challenges to be addressed before running powerful runtime monitoring and instrumentations directly on smartphones. We implemented two use-cases leveraging the tool chain: FineGPolicy, a fine-grained user centric permission policy system and AdRemover an advertisement remover. Both prototypes improve the privacy of Android systems thanks to in-vivo bytecode instrumentation. [less ▲]

Method for planning a surgical procedure

Report (2012)

Observations from the Field: A Synthesis Report

Report (2012)

Inside Tomorrow?s Retail Bank

Report (2012)

Key Data of the BUL 2008 to 2011

Report (2012)

Pour la première fois, la Bibliothèque de l'Université du Luxembourg publie des chiffres disponibles relatifs à ses activités, à ses services et collections, ainsi qu'à l'usage de ceux-ci.

Unpacking Luxembourg Governance through Sustainable Development Policy Mobility

Report (2012)

Luxembourg Sustainable Spatial Development Policy: General Milestones and Circuits

Report (2011)

Geometry of Manifolds and Mathematical Physics

Report (2011)

Absolute Gravity Measurements in Yellowstone in September 2009

Report (2010)

3D Reconstruction and Registration in Medical Endoscopy

Report (2010)

Zwischenbericht - Wissenschaftliche Begleitung des Projekts „Keine/r ohne Abschluss“ im besonderen 10.Schuljahr

Report (2010)

Information Technology : Instrument and Object of Risk/Return Management

Report (2010)

Sustainable Spatial Development in Luxembourg

Report (2010)

Definition and Measurement of the Social Economy: Continuous Construct or Dichotomous Variable?

Report (2009)

9th Conference on Geometry and Topology of Manifolds

Report (2008)

Research Decisions in Mapping the Social Economy in Alberta and British Columbia

Report (2008)

8th Conference on Geometry and Topology of Manifolds (Luxembourg-Poland-Ukraine Conference)

Report (2007)

Measurements of the acceleration due to gravity at the gravity laboratory of the National Institute of Metrological Research Turin (Italy)

Report (2006)

Utilisation de l'implémentation de DTLS fournie par OpenSSL

Report (2006)

Datagram Transport Layer Security (DTLS) is a recent prococol. It provides a cryptographical layer on the top of UDP. This protocol is implemented in the OpenSSL library but its use is not documented ... [more ▼]

Datagram Transport Layer Security (DTLS) is a recent prococol. It provides a cryptographical layer on the top of UDP. This protocol is implemented in the OpenSSL library but its use is not documented. This document aims to show how to use this implementation, by providing examples. [less ▲]

Corporate Governance in Cyberspace - A Blueprint for Virtual Shareholder Meetings

Report (2005)

This paper analyses the rules regarding the internet-based exercise of shareholder rights for public corporations incorporated in Canada, France, Germany, the U.S. (DelGCL & RMBCA), the UK and Switzerland ... [more ▼]

This paper analyses the rules regarding the internet-based exercise of shareholder rights for public corporations incorporated in Canada, France, Germany, the U.S. (DelGCL & RMBCA), the UK and Switzerland. The traditional doctrine associates information, communication and voting with shareholder meetings. In addition, shareholder meetings regularly prompt reviews of management's activities exercised on behalf of shareholders by accountants or the judiciary. The analysis reveals that the current regimes of shareholder meetings merely provide for voting and information in the context of a digital environment, while communication and review is usually not replicated. The lack of all functions of traditional shareholder meetings is one reason of why exclusively virtual shareholder meetings have not gained widely spread acceptance across jurisdictions. Another reason is that a well-fitting design for the web-based exercise of shareholder rights does not yet exist. Thus, the paper develops an advisable design of Virtual Shareholder Meetings that replicates all for functions of traditional shareholder meetings, while it is likely to reduce shareholder apathy at the same time. It argues that enabling more frequent opportunities for voting is the logical consequence of the developments of continuous disclosure requirements and continuous buy/hold/sell-decisions by market participants. Therefore, the virtual exercise of shareholder rights should be achieved through (1) liberalizing currently existing legislative and practical barriers, and in particular, time and place restrictions on shareholder meetings; (2) re-integrating analyst and institutional investor meetings in the process of shareholder meetings, and (3) substituting for the traditional face-to-face accountability of managers to shareholders through specific electronic means. The latter involves, specifically, the use of RSS-Feed and XBRL-technologies for gathering and evaluating information, the use of the company's website as the central communication platform for management to shareholders and shareholders to shareholders, and the election of an independent shareholder rights manager (firm) by the shareholder body with procedural, technical, and organizational authority for organizing the exercise of shareholder rights. Ideally, the blueprint presented herein achieves the harmonization of voting behavior and market reactions, thereby furthering market efficiency. [less ▲]

Absolute Gravity Measurements in Lomonosov, Saint-Petersbourg, Russia

Report (2004)

Établissement de tests permettant de mesurer l'impact sur les performances de la sécurisation d'IPv6 par IPsec

Report (2002)

Bibliography \textbar Historical Network Research

Report (n.d.)