Detecting meaconing attacks by analysing the clock bias of GNSS receivers

in European Navigation Conference (ENC 2012) (2012)

Existing Global Navigation Satellite Systems offer no authentication of their satellite signals towards their civilian users. As a consequence, several types of GNSS-related attacks, including meaconing ... [more ▼]

Existing Global Navigation Satellite Systems offer no authentication of their satellite signals towards their civilian users. As a consequence, several types of GNSS-related attacks, including meaconing, may be performed and remain undetected. In the scope of the project “Developing a prototype of Localisation Assurance Service Provider”, which is funded by ESA and realised by the company itrust consulting and the University of Luxembourg, a methodology to visualise the beginnings and the ends of meaconing attacks by monitoring the clock bias of an attacked receiver over time was developed. This paper presents an algorithm that is based on this attack visualisation technique and is capable of detecting meaconing attacks automatically. Experiments in a controlled environment confirmed that the chosen methodology works properly. In one of these tests, for example, six meaconing attacks were simulated by using a GNSS signal repeater. The algorithm was able to detect the beginnings and the ends of all six attacks, while resulting in no more than two false positives, even though the average delay introduced by the meaconing stations (repeater) was just 80 nanoseconds. [less ▲]

Bewertung des Anwendungsbereiches der Schlammfaulung unter Berücksichtigung der Energieeffizienz kommunaler Kläranlagen

in Proceedings of 26. Karlsruher Flockungstage‘ (2012)

A longitudinal attachment study on adopted adolescents and their adoptive parents

in Neuropsychiatrie de l'Enfance et de l'Adolescence (2012), 60

A Fair and Robust Voting System by Broadcast

in Lecture Notes in Informatics (2012)

Hao, Ryan, and Zieliński (2010) propose a two-round decentralized voting protocol that is efficient in terms of rounds, computation, and bandwidth. However, the protocol has two drawbacks. First, if some ... [more ▼]

Hao, Ryan, and Zieliński (2010) propose a two-round decentralized voting protocol that is efficient in terms of rounds, computation, and bandwidth. However, the protocol has two drawbacks. First, if some voters abort then the election result cannot be announced, that is, the protocol is not robust. Secondly, the last voter can learn the election result before voting, that is, the protocol is not fair. Both drawbacks are typical of other decentralized e-voting protocols. This paper proposes a recovery round to enable the election result to be announced if voters abort, and we add a commitment round to ensure fairness. In addition, we provide a computational security proof of ballot secrecy. [less ▲]

Clock Skew Based Remote Device Fingerprinting Demystified

in Proceedings of the 55th International IEEE Global Communications Conference (IEEE GLOBECOM 2012) (2012)

Spatio-temporal ToF data enhancement by fusion

in Proceedings - International Conference on Image Processing, ICIP (2012)

We propose an extension of our previous work on spatial domain Time-of-Flight (ToF) data enhancement to the temporal domain. Our goal is to generate enhanced depth maps at the same frame rate of the 2-D ... [more ▼]

We propose an extension of our previous work on spatial domain Time-of-Flight (ToF) data enhancement to the temporal domain. Our goal is to generate enhanced depth maps at the same frame rate of the 2-D camera that, coupled with a ToF camera, constitutes a hybrid ToF multi-camera rig. To that end, we first estimate the motion between consecutive 2-D frames, and then use it to predict their corresponding depth maps. The enhanced depth maps result from the fusion between the recorded 2-D frames and the predicted depth maps by using our previous contribution on ToF data enhancement. The experimental results show that the proposed approach overcomes the ToF camera drawbacks; namely, low resolution in space and time and high level of noise within depth measurements, providing enhanced depth maps at video frame rate. © 2012 IEEE. [less ▲]

Refactoring Access Control Policies for Performance Improvement

in Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering (ICPE 2012) (2012)

In order to facilitate managing authorization, access control architectures are designed to separate the business logic from an access control policy. To determine whether a user can access which ... [more ▼]

In order to facilitate managing authorization, access control architectures are designed to separate the business logic from an access control policy. To determine whether a user can access which resources, a request is formulated from a component, called a Policy Enforcement Point (PEP) located in application code. Given a request, a Policy Decision Point (PDP) evaluates the request against an access control policy and returns its access decision (i.e., permit or deny) to the PEP. With the growth of sensitive information for protection in an application, an access control policy consists of a larger number of rules, which often cause a performance bottleneck. To address this issue, we propose to refactor access control policies for performance improvement by splitting a policy (handled by a single PDP) into its corresponding multiple policies with a smaller number of rules (handled by multiple PDPs). We define seven attribute-set-based splitting criteria to facilitate splitting a policy. We have conducted an evaluation on three subjects of reallife Java systems, each of which interacts with access control policies. Our evaluation results show that (1) our approach preserves the initial architectural model in terms of interaction between the business logic and its corresponding rules in a policy, and (2) our approach enables to substantially reduce request evaluation time for most splitting criteria. Copyright 2012 ACM. [less ▲]

An Nonparametric Evaluation of SysML-Based Mechatronic Conceptual Design

in Proceedings of 24th Benelux Conference on Artificial Intelligence (2012)

Testing Obligation Policy Enforcement using Mutation Analysis

in Proceedings of the 7th International Workshop on Mutation Analysis (associated to the Fifth International Conference on Software Testing, Verification, and Validation, ICST 2012) (2012)

The support of obligations with access control policies allows the expression of more sophisticated requirements such as usage control, availability and privacy. In order to enable the use of these ... [more ▼]

The support of obligations with access control policies allows the expression of more sophisticated requirements such as usage control, availability and privacy. In order to enable the use of these policies, it is crucial to ensure their correct enforcement and management in the system. For this reason, this paper introduces a set of mutation operators for obligation policies. The paper first identifies key elements in obligation policy management, then presents mutation operators which injects minimal errors which affect these aspects. Test cases are qualified w.r.t. their ability in detecting problems, simulated by mutation, in the interactions between policy management and the application code. The use of policy mutants as substitutes for real flaws enables a first investigation of testing obligation policies in a system. We validate our work by providing an implementation of the mutation process: the experiments conducted on a Java program provide insights for improving test selection. [less ▲]

Testing obligation policy enforcement using mutation analysis

in Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012 (2012)

The support of obligations with access control policies allows the expression of more sophisticated requirements such as usage control, availability and privacy. In order to enable the use of these ... [more ▼]

The support of obligations with access control policies allows the expression of more sophisticated requirements such as usage control, availability and privacy. In order to enable the use of these policies, it is crucial to ensure their correct enforcement and management in the system. For this reason, this paper introduces a set of mutation operators for obligation policies. The paper first identifies key elements in obligation policy management, then presents mutation operators which injects minimal errors which affect these aspects. Test cases are qualified w.r.t. their ability in detecting problems, simulated by mutation, in the interactions between policy management and the application code. The use of policy mutants as substitutes for real flaws enables a first investigation of testing obligation policies in a system. We validate our work by providing an implementation of the mutation process: the experiments conducted on a Java program provide insights for improving test selection. © 2012 IEEE. [less ▲]

Depth enhancement by fusion for passive and active sensing

in Lecture Notes in Computer Science (2012), 7585 LNCS(PART 3), 506-515

This paper presents a general refinement procedure that enhances any given depth map obtained by passive or active sensing. Given a depth map, either estimated by triangulation methods or directly ... [more ▼]

This paper presents a general refinement procedure that enhances any given depth map obtained by passive or active sensing. Given a depth map, either estimated by triangulation methods or directly provided by the sensing system, and its corresponding 2-D image, we correct the depth values by separately treating regions with undesired effects such as empty holes, texture copying or edge blurring due to homogeneous regions, occlusions, and shadowing. In this work, we use recent depth enhancement filters intended for Time-of-Flight cameras, and adapt them to alternative depth sensing modalities, both active using an RGB-D camera and passive using a dense stereo camera. To that end, we propose specific masks to tackle areas in the scene that require a special treatment. Our experimental results show that such areas are satisfactorily handled by replacing erroneous depth measurements with accurate ones. © 2012 Springer-Verlag. [less ▲]

XFEM coupling of granular flows interacting with surrounding fluids

in ECCOMAS 2012 - European Congress on Computational Methods in Applied Sciences and Engineering, e-Book Full Papers (2012)

In this paper, ideas for the simulation of sliding dry granular materials interacting with surrounding fluids are presented and first results are presented. The compressible granular material is modeled ... [more ▼]

In this paper, ideas for the simulation of sliding dry granular materials interacting with surrounding fluids are presented and first results are presented. The compressible granular material is modeled as a medium which can show solid-like and fluid-like characteristics. Therefore a weighted decomposition of stress tensors of a solid-like and a fluid-like phase is applied. The surrounding incompressible fluids are described with a Newtonian constitutive model. Interface dynamics are handled with the level-set method. The model equations are discretized with the space-time finite element method. Discontinuous solution characteristics across interfaces are captured numerically by the extended finite element method (XFEM). For all discontinuities the space of ansatz functions is enriched with Heaviside functions. [less ▲]

Central and Eastern European Member States of the EU and the European Convention on Human Rights

in European Convention on Human Rights (2012)

Social media use in old age: User profiles, effects, best practices

in Gerontologist (2012), 52(S1), 563-564

Towards a Simple City Driving Simulator Based on Speed Dreams and OSM

in Adjunct Proceedings of 4th International Conference on Automotive User Interfaces and Interactive Vehicular Applications (2012), 2

This paper presents an architecture and partially built simulation platform which is designed to offer a flexible open ended approach for conducting laboratory experiments. The emphasis is on supporting ... [more ▼]

This paper presents an architecture and partially built simulation platform which is designed to offer a flexible open ended approach for conducting laboratory experiments. The emphasis is on supporting multiple drivers and the ability to swap in and out different software components and devices. [less ▲]

On the optimality of beamformer design for zero-forcing DPC with QR decomposition

in IEEE International Conference on Communications (2012)

We consider the beamformer design for zero-forcing dirty paper coding (ZF-DPC), a suboptimal transmission technique for MISO broadcast channels (MISO BCs). Beamformers for ZF-DPC are designed to maximize ... [more ▼]

We consider the beamformer design for zero-forcing dirty paper coding (ZF-DPC), a suboptimal transmission technique for MISO broadcast channels (MISO BCs). Beamformers for ZF-DPC are designed to maximize a performance measure, subject to some power constraints and zero-interference constraints. For the sum rate maximization problem under a total power constraint, the existing beamformer designs in the literature are based on the QR decomposition (QRD), which is used to satisfy the ZF constraints. However, the optimality of the QRD-based design is still unknown. First, we prove that the QRD-based design is indeed optimal for ZF-DPC for any performance measure under a sum power constraint. For the per-antenna power constraints, the QRD-based designs become suboptimal, and we propose an optimal design, using a convex optimization framework. Low-complexity suboptimal designs are also presented. © 2012 IEEE. [less ▲]

Changing Agreements: Intention Reconsideration based on Assumptions and Reasons

in Proceedings of the First International Conference on Agreement Technologies, AT 2012 (2012)

Normative Multi-Agent Systems

in Dagstuhl Reports (2012), 2(3), 23-49

Normative systems are systems in the behavior of which norms play a role and which need normative concepts in order to be described or specified. A normative multi-agent system combines models for ... [more ▼]

Normative systems are systems in the behavior of which norms play a role and which need normative concepts in order to be described or specified. A normative multi-agent system combines models for normative systems (dealing for example with obligations, permissions and prohibitions) with models for multi-agent systems. Norms have been proposed in multi-agent systems and computer science to deal with issues of coordination, security, electronic commerce and institutions, agent organization. However, due to the lack of a unified theory, many multi-agent system researchers are presently developing their own ad hoc concepts and applications. The aim of this Dagstuhl Seminar was to formulate a collective appraisal of the current perspectives in the field and the most promising venues for future activity. In particular, the seminar has been conceived for the writing of a volume titled "A Prospective view of Normative Multi Agent Systems" aimed to become a standard reference in the field and to provide guidelines for future research in normative multi-agent systems. [less ▲]

Traffic-Aware Time-Critical Scheduling In Heavily Duty-Cycled IEEE 802.15.4e For An Industrial IoT

in Proceedings of IEEE Sensors 2012 (2012)

Subjektive Ressourcen und Defizite in der Pflege des Ehepartners mit Demenz (Subjective resources and deficits in spousal dementia caregiving)

in Verhaltenstherapie (2011, September), 21(S1), 14-14

Judgment aggregation rules based on minimization.

in Actes des Cinquièmes Journées Francophones Modèles Formel de l'Interaction (MFI 11) (2011, July 12), XIII

Many voting rules are based on some minimization principle. Likewise, in the field of logic-based knowledge representation and reasoning, many belief change or inconsistency handling operators also make ... [more ▼]

Many voting rules are based on some minimization principle. Likewise, in the field of logic-based knowledge representation and reasoning, many belief change or inconsistency handling operators also make use of minimization. Surprisingly, minimization has not played a major role in the field of judgment aggregation, in spite of its proximity to voting theory and logic-based knowledge representation and reasoning. Here we make a step in this direction and study six judgment aggregation rules; two of them, based on distances, have been previously defined; the other four are new, and all inspired both by voting theory and knowledge representation and reasoning. We study the inclusion relationships between these rules and address some of their social choice theoretic properties. [less ▲]

La médiation parmi les modes de règlement des différends civils et commerciaux

in Les médiations: la justice autrement? (2011, June)

Anonymous Communication in the Digital World

in Abstract book of 17th Conference on Communication in Distributed Systems (KiVS'11), Kiel, Germany (2011)

The influence of stationary synaptic activity on the PRC

in BMC Neuroscience (2011), 12

Finite element method for strongly-coupled systems of fluid-structure interaction with application to granular flow in silos

in Proceedings of the 4th International Conference on Computational Methods for Coupled Problems in Science and Engineering, COUPLED PROBLEMS 2011 (2011)

A monolithic approach to fluid-structure interactions based on the space-time finite element method (STFEM) is presented. The method is applied to the investigation of stress states in silos filled with ... [more ▼]

A monolithic approach to fluid-structure interactions based on the space-time finite element method (STFEM) is presented. The method is applied to the investigation of stress states in silos filled with granular material during discharge. The thin-walled siloshell is modeled in a continuum approach as elastic solid material, whereas the flowing granular material is described by an enhanced viscoplastic non-Newtonian fluid model. The weak forms of the governing equations are discretized by STFEM for both solid and fluid domain. To adapt the matching mesh nodes of the fluid domain to the structural deformations, a mesh-moving scheme using a neo-Hookean pseudo-solid is applied. The finite element approximation of non-smooth solution characteristics is enhanced by the extended finite element method (XFEM). The proposed methodology is applied to the 4D (space-time) investigation of deformation-dependent loading conditions during silo discharge. [less ▲]

A Model for Energy-efficient Task Mapping on Milliclusters

in Proceedings of the Second International Conference on Parallel, Distributed, Grid and Cloud Computing for Engineering (2011)

This paper exposes the mismatch between the classic problem representation in the scheduling problem of independent task mapping and the reality of multi-core proces- sors, operating system driven power ... [more ▼]

This paper exposes the mismatch between the classic problem representation in the scheduling problem of independent task mapping and the reality of multi-core proces- sors, operating system driven power management and time sharing for overlapping I/O with computation. A new, simple, model is proposed to address this gap. The model, along with a scheduling heuristic, are applied to the evaluation of software pipelin- ing in the context of the recent millicomputing initiative. [less ▲]

Ambivalenz in Eltern-Kind-Beziehungen im Jugend- und jungen Erwachsenenalter: Welche Rolle spielt das elterliche Erziehungsverhalten?

in Abstractband EPSY (2011)

Die Erforschung von Ambivalenz in intergenerationalen Beziehungen hat sich in den letzten Jahren schwerpunktmäßig mit Übergängen in Eltern-Kind-Beziehungen im Erwachsenenalter befasst. Frühere Phasen in ... [more ▼]

Die Erforschung von Ambivalenz in intergenerationalen Beziehungen hat sich in den letzten Jahren schwerpunktmäßig mit Übergängen in Eltern-Kind-Beziehungen im Erwachsenenalter befasst. Frühere Phasen in Eltern-Kind-Beziehungen wurden hingegen seltener unter diesem Gesichtspunkt betrachtet. Gerade der Prozess der Individuation im Jugend- und jungen Erwachsenenalter ist jedoch von Dynamiken der gleichzeitigen Suche nach Nähe und Abgrenzung bestimmt, die mit widersprüchlichen Emotionen und Handlungstendenzen einhergehen können. Die innerfamiliale Regulation unterschiedlicher Bedürfnisse sollte dabei nicht zuletzt auch vom elterlichen Erziehungsverhalten abhängen. Ziel der vorliegenden Studie ist es, die erlebte Ambivalenz von Jugendlichen und jungen Erwachsenen im Zusammenhang mit dem wahrgenommenen elterlichen Erziehungsverhalten zu untersuchen und zwar unter Berücksichtigung der Frage, ob das Alter der Befragten einen Moderator dieses Zusammenhangs darstellt. Die Stichprobe besteht aus N = 233 luxemburgischen Jugendlichen und jungen Erwachsenen im Alter zwischen 14 und 25 Jahren, die mittels eines standardisierten Fragebogens das wahrgenommene elterliche Erziehungsverhalten (Wärme, psychologische Kontrolle und Verhaltenskontrolle) und ihre erlebte Ambivalenz zu Vater und Mutter einschätzten. Die Analysen zeigten insbesondere einen starken positiven Zusammenhang zwischen elterlicher psychologischer Kontrolle und Ambivalenz über alle Altersgruppen hinweg, wohingegen elterliche Wärme durchweg einen negativen Zusammenhang zum Erleben von Ambivalenz gegenüber beiden Eltern aufzeigte. Hingegen war die mütterliche Verhaltenskontrolle nur bei älteren Jugendlichen und jungen Erwachsenen mit dem Erleben von Ambivalenz gegenüber den eigenen Müttern verbunden; in den Beziehungen zum Vater zeigten sich keine Altersunterschiede im positiven Zusammenhang zwischen Verhaltenskontrolle und Ambivalenz. Die vorliegende Studie liefert damit einen wichtigen Beitrag zur Erforschung von Ambivalenz in früheren Abschnitten der Entwicklung sowie einen weiteren Hinweis darauf, dass insbesondere die mütterliche Verhaltenskontrolle je nach Alter des Jugendlichen unterschiedliche Bedeutungen haben kann. Die Ergebnisse werden vor dem Hintergrund der intrafamilialen Regulation von Beziehungen im Individuationsprozess diskutiert. [less ▲]

A study of the PDGF signaling pathway with PRISM

in Proceedings of the 3rd Workshop on Computational Models for Cell Processes (2011), EPTCS 67

50 Ways to Break RFID Privacy

in Privacy and Identity Management for Life (2011), 352

Galois theory for partial clones and some relational clones

in Proceedings - 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011 (2011)

A Galois connection between partial clones and a new variant of relation algebras is established. We introduce a new elementary operation on relations which captures the difference between total and ... [more ▼]

A Galois connection between partial clones and a new variant of relation algebras is established. We introduce a new elementary operation on relations which captures the difference between total and partial clones and allows us to adapt the proof of the Galois connection from the total case to the partial case. This Galois connection is able to capture all partial clones and is not restricted to strong partial clones as in previous work. [less ▲]

NetPower DemoLab A Test Bed Infrastructure for Security and Reliability Investigations of SCADA Systems

in Abstract paper of 2011 Grande Region Security and Reliability Day (2011)

The purpose of this paper is to present the capabilities of the new NetPower DemoLab of the Interdisciplinary Centre for Reliability and Trust at the University of Luxembourg, operated by the Systems and ... [more ▼]

The purpose of this paper is to present the capabilities of the new NetPower DemoLab of the Interdisciplinary Centre for Reliability and Trust at the University of Luxembourg, operated by the Systems and Control group, and to stimulate potential public or private collaborations in the area of SCADA security and reliability investigations. [less ▲]

Korrelate intergenerationaler familiärer Unterstützung im Erwachsenenalter.

in Von der Forschung zur Praxis: 13. Kongress der DGVM (2011)

Die Frage nach Zuständigkeiten für Pflege und Unterstützung im Alter ist in den letzten Jahren im Zuge des demographischen Wandels immer mehr in das Zentrum des öffentlichen Interesses gerückt und hat ... [more ▼]

Die Frage nach Zuständigkeiten für Pflege und Unterstützung im Alter ist in den letzten Jahren im Zuge des demographischen Wandels immer mehr in das Zentrum des öffentlichen Interesses gerückt und hat zahlreiche Forschungsaktivitäten angeregt. Insbesondere die Erforschung von Eltern-Kind-Beziehungen im Erwachsenenalter hat dabei stark an Bedeutung gewonnen, da ein Großteil an intergenerationeller Unterstützung innerhalb der Familie geleistet wird. In Anlehnung an das Modell der intergenerationalen Solidarität sensu Bengtson (z.B. Bengtson & Roberts, 1991) als theoretischer Bezugsrahmen werden in der vorliegenden Studie unterschiedliche Dimensionen der Solidarität umschrieben und Korrelate intergenerationeller Unterstützung zwischen erwachsenen Kindern und ihren Müttern analysiert. Die Stichprobe bestand aus insgesamt N = 123 Personen im mittleren Erwachsenenalter (davon 31.1% männlich) zwischen 32 und 64 (M = 44.99, SD = 6.68) Jahren, die anhand eines standardisierten Fragebogens über Aspekte der Beziehungen zu ihren Müttern (gegebene und erhaltene Unterstützung, internalisierte Familiennormen, emotionale Beziehungsqualität zur Mutter, Gefühle der Ambivalenz gegenüber der Mutter) befragt wurden. Es lagen demnach Auskünfte über Mütter im Alter zwischen 54 und 93 Jahren (M = 72.58, M = 7.99) vor, von denen die meisten nach Angaben ihrer Kinder über einen relativ guten oder im mittleren Bereich liegenden Gesundheitszustand verfügten, in 16 Fällen war jedoch eine Pflegebedürftigkeit gegeben. Die Ergebnisse zeigten, dass vor allem die emotionale Beziehungsqualität sowie internalisierte Familiennormen den Austausch von Unterstützung bedingen, wohingegen Kontextmerkmale (wie Familienstand, Gesundheitszustand der Mutter; Berufstätigkeit des Kindes) weniger stark mit Aspekten der Solidarität zusammenhingen. Ferner wurde das Auftreten ambivalenter Gefühle im Zusammenhang mit der Unterstützung für Mütter durch eine internalisierte Familienorientierung moderiert: Respondenten, die bei starker Familienorientierung hohe Unterstützungsleistungen erbrachten, berichteten über weniger ambivalente Gefühle als Personen, die bei niedriger Familienorientierung hohe Unterstützungsleistungen erbrachten. Die Ergebnisse werden mit Blick auf mögliche Voraussagen für Situationen späterer Pflegebedürftigkeit und unter Berücksichtigung intrafamilialer Prozesse der intergenerationellen Beziehungsregulation diskutiert. [less ▲]

Zur psychometrischen Abbildung und Erfassung von Ambivalenz in Generationenbeziehungen.

in Vortrag beim 2. Werkstattgespräch „Ambivalenz“ (2011)

CertiCloud: une plate-forme Cloud IaaS sécurisée

in RenPar'20 2011 (2011)

La sécurité des Clouds est un aspect essentiel qui n'est pas forcément abordé selon le point de vue de l'utilisateur. En particulier, sur une plate-forme de type IaaS, il est actuellement impossible pour ... [more ▼]

La sécurité des Clouds est un aspect essentiel qui n'est pas forcément abordé selon le point de vue de l'utilisateur. En particulier, sur une plate-forme de type IaaS, il est actuellement impossible pour un utilisateur de certifier de manière fiable et sécurisée que l'environnement qu'il a déployé (typiquement sous forme d'une machine virtuelle) est toujours dans un état qu'il juge intègre et opérationnel. Cet article s'attelle à cette tâche en proposant CertiCloud, une plate-forme Cloud de type IaaS qui exploite les concepts développés dans le cadre du TCG mais aussi les éléments matériels que sont les TPM pour offrir à l'utilisateur un environnement sécurisé et sécurisant. Ces deux aspects sont garantis par les deux protocoles TCRR et VerifMyVM qui sont à la base de CertiCloud. Quand le premier permet de certifier l'intégrité d'une machine distante et d'échanger une clef de chiffrement symétrique, le second permet à l'utilisateur de s'assurer dynamiquement et à la demande de l'intégrité de sa machine virtuelle exécutée sur les ressources de \CertiC. Ces deux protocoles étant les briques de base de notre plate-forme, une attention toute particulière a été apportée à leurs élaborations. A cet effet, ils ont été validés avec succès par AVISPA et Scyther, deux outils de référence dans le domaine de la vérification automatique des protocoles de sécurité (cette analyse est présentée dans cet article). Ensuite, la plate-forme CertiCloud est détaillée: outre les protocoles TCRR et VerifMyVM, elle propose le stockage sécurisé des environnements utilisateurs et leurs exécutions à travers un framework de virtualisation reprenant l'hyperviseur Xen. Quand les ressources physiques sont certifiées par TCRR, l'utilisateur peut utiliser à la demande le protocole VerifMyVM pour s'assurer de l'intégrité de son environnement déployé. Un prototype de CertiCloud a été réalisé et nous présentons les premiers résultats expérimentaux qui démontrent de la faisabilité et du faible surcoût de notre approche sur des scénarios classiquement rencontrés sur les infrastructures Cloud de type IaaS. [less ▲]

Judgment Aggregation for Cooperative Anchoring on the NAO Robots

in Works-in-progress track - 3rd International Conference on Social Robotics (2011)

Cooperative anchoring is the sharing of associations between symbols and sensor data across multi robot systems. We apply the solution of Judgment Aggregation, a logic based collective-decision making ... [more ▼]

Cooperative anchoring is the sharing of associations between symbols and sensor data across multi robot systems. We apply the solution of Judgment Aggregation, a logic based collective-decision making framework from social choice theory to the problem of cooperative anchoring in terms of information fusion. We model a multi-agent system comprising of nao robots on a search exercise using its vision and audition sensor into this framework and fuse them by means of aggregation rules and compare them on a truth-tracking basis. [less ▲]

Model Driven Mutation Applied to Adaptative Systems Testing

in 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (2011)

Dynamically Adaptive Systems modify their behavior and structure in response to changes in their surrounding environment and according to an adaptation logic. Critical systems increasingly incorporate ... [more ▼]

Dynamically Adaptive Systems modify their behavior and structure in response to changes in their surrounding environment and according to an adaptation logic. Critical systems increasingly incorporate dynamic adaptation capabilities, examples include disaster relief and space exploration systems. In this paper, we focus on mutation testing of the adaptation logic. We propose a fault model for adaptation logics that classifies faults into environmental completeness and adaptation correctness. Since there are several adaptation logic languages relying on the same underlying concepts, the fault model is expressed independently from specific adaptation languages. Taking benefit from model-driven engineering technology, we express these common concepts in a metamodel and define the operational semantics of mutation operators at this level. Mutation is applied on model elements and model transformations are used to propagate these changes to a given adaptation policy in the chosen formalism. Preliminary results on an adaptive web server highlight the difficulty of killing mutants for adaptive systems, and thus the difficulty of generating efficient tests. [less ▲]

Factors affecting patient-centredness and communication in geriatric medical encounters in a multilingual setting.

in Psychology and Health (2011), 26(Sup2), 256-256

Le développement d’un regard clinique à travers un dispositif d’analyse de pratiques

in Actes du congrès : AREF 2010 Congrès international: Actualité de la recherche en sciences de l'éducation (2011)

Dans l’approche de leur futur métier, les jeunes enseignants-stagiaires sont souvent menés par différents fantasmes par rapport à la réalité en classe et la transmission du savoir. À ce sujet, un ... [more ▼]

Dans l’approche de leur futur métier, les jeunes enseignants-stagiaires sont souvent menés par différents fantasmes par rapport à la réalité en classe et la transmission du savoir. À ce sujet, un dispositif d’analyse des pratiques a été mis en place à l’Université du Luxembourg en 2005 dans le cadre de la formation des enseignants du secondaire. Ma visée pour ce genre de travail était d’aider les stagiaires à s’ouvrir à l’altérité de l’autre et à savoir trouer leurs propres croyances et représentations, à savoir se considérer partie prenante dans leur observation et jugements et à se découvrir à une place de sachant et de supposé savoir. Le travail sur le transfert devra permettre de voir comment le rapport au savoir et à la vérité est en jeu dans la relation avec les élèves. À ce sujet je me demandais : quels peuvent être les effets et les limites et défis de cette démarche ? Premières conclusions : ? grâce à ce dispositif les stagiaires peuvent confronter le manque de savoir, la différence entre savoir et vérité, trouer certaines positions imaginaires et développer de nouveaux signifiants ; ? l’analyse de mes propres contre-transferts m’a aidé à développer le dispositif. [less ▲]

Shifts of spatial attention cued by irrelevant numbers: electrophysiological evidence.

in Journal of Cognitive Neuroscience (2011)

The role of gender in the intergenerational transmission of family values between mothers, fathers and adolescents.

in Abstract book of 15th European Conference on Developmental Psychology (2011)

Referring to gender role models of socialization, the intergenerational transmission of values within families should generally be higher in same-gender compared to mixed dyads. However, empirical studies ... [more ▼]

Referring to gender role models of socialization, the intergenerational transmission of values within families should generally be higher in same-gender compared to mixed dyads. However, empirical studies have not always supported this assumption. Recent research has suggested that different results might be expected depending on the specific value content. The aim of the present study is to investigate the influence of the parent-child gender constellation on value similarities in families with adolescents in Luxembourg, focusing on gender-related and general family values. A sample of N = 46 family triads, i.e. adolescents (n=22 boys, n=24 girls) between age 15 and 20 together with their mothers and fathers, were interviewed on values about hierarchical gender roles as well as obligations towards family members. Analyses showed that both daughters and sons were more similar to mothers compared to fathers in their respective value profiles. Analyzing the similarities between the adolescent and parent generation showed that daughters were more similar to the typical female and sons more similar to the typical male value profile. Regarding specific value contents, fathers’ and sons’ values about obligations towards family members were related to each other. Moreover, similarities in values about hierarchical gender roles were showed for both mother-daughter and mother-son dyads. This finding was further specified, given that sons agreed more than mothers with values about hierarchical gender roles, indicating thus a relative (not absolute) mother-son value transmission. Results are discussed from theoretical perspectives of gender role socialization as well as gender specific salience of value orientations. [less ▲]

mCarve: Carving attributed dump sets

in Abstract book of 20th USENIX Security Symposium (2011)

Selective Test Generation Method for Evolving Critical Systems

in Proceedings of 4th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2011) (2011)

We present in this paper the implementation of a model-based testing technique for evolving systems. These latters are described in UML using class/object diagrams and state charts, augmented with OCL ... [more ▼]

We present in this paper the implementation of a model-based testing technique for evolving systems. These latters are described in UML using class/object diagrams and state charts, augmented with OCL constraints. Based on two versions of a given model, an automated process deduces the impact of model evolutions on the existing tests. Our methodology then classifies tests into different test suites to test evolution, regression, stagnation and deletion on the concrete system. We introduce the notion of tests and test suites life cycles that help defining the purpose of each test at a given step of the system evolution, and thus, their classification in different test suites. The approach is illustrated on a realistic case study, and the improvements w.r.t. other regression testing techniques are discussed. [less ▲]

Charakter, System und Fristen der Verjährung im französischem Recht

in Verjährungsrecht in Europa zwischen Bewährung und Reform (2011)

Dessiner des cartes pour trouver des hôpitaux

in Annales de l'Est (2011), n° spécial 2010

Children Participating in Armed Conflict and International Criminal Law

in Human Rights and International Legal Discourse (2011), 5

Conference report

in IFPO (2011)

OO-SPL modelling of the focused case study

in Comparing Modeling Approaches (CMA) International Workshop affiliated with ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (CMA@MODELS2011) (2011)

Stable Robust Adaptive Control of Induction Motors with Unknown Parameters

in Abstract book of 1st International Conference on Energy, Power, and Control (2010, November)

This paper presents a new strategy for controlling induction motors with unknown parameters. Using a simple linearized model of induction motors, we design robust adaptive controllers and unknown ... [more ▼]

This paper presents a new strategy for controlling induction motors with unknown parameters. Using a simple linearized model of induction motors, we design robust adaptive controllers and unknown parameters update laws. The control design and parameters estimators are proved to have global stable performance against sudden load variations. All closed loop signals are guaranteed to be bounded. Simulations are performed to show the efficacy of the suggested scheme. [less ▲]

Classifying Ear Disorders Using Support Vector Machines

in IEEE (2010, September), 1

Strategic Games and Truly Playable Effectivity Functions

in Proceedings of EUMAS2010 (2010)