Satisfiability of general intruder constraints with a set constructor

in CRiSIS 2010, Proceedings of the Fifth International Conference on Risks and Security of Internet and Systems, Montreal, QC, Canada, October 10-13, 2010. (2010)

Many decision problems on security protocols can be reduced to solving so-called intruder constraints in Dolev Yao model. Most constraint solving procedures for protocol security rely on two properties of ... [more ▼]

Many decision problems on security protocols can be reduced to solving so-called intruder constraints in Dolev Yao model. Most constraint solving procedures for protocol security rely on two properties of constraint systems called monotonicity and variable-origination. In this work we relax these restrictions by giving an NP decision procedure for solving general intruder constraints (that do not have these properties). Our result extends a first work by L. Mazaré in several directions: we allow non-atomic keys, and an associative, commutative and idempotent symbol (for modeling sets). We also give several new applications of the result. [less ▲]

Savant: Automatic generation of a parallel scheduling heuristic for map-reduce

in International Journal of Hybrid Intelligent Systems (2014), 11(4), 287--302

Saving jobs, promoting democracy: worker co-operatives

in Irish Journal of Sociology (2013), 21(2), 103-115

The article examines transformative alternatives that may offer pathways to a more participative, sustainable and equitable social order. It focuses on one form of alternative, worker-owned co-operatives ... [more ▼]

The article examines transformative alternatives that may offer pathways to a more participative, sustainable and equitable social order. It focuses on one form of alternative, worker-owned co-operatives, and argues this existing form of democratic and economic relations has already proven capacity to generate more equitable socio-economic outcomes and residual social capital. The worker-owned model is located within an ideological framework that focuses on the inherent democratising principles of their praxis that can in the right circumstances underpin firm strategic foundations for radical social change. It examines the development of worker-owned co-ops in Ireland north and south and the obstacles that need to be overcome to make these a more feasible and common form of economic ownership. Reflecting on the current debate in Ireland it argues such co-ops cannot work effectively without a secure legal framework governing their status and softer supports including entrepreneurship development, leadership training, market research, accessing loan finance and grant aid, inter-cooperative networking and federation building. The article poses workers’ co-operatives as sites of political struggle and consciousness, expressed in co-operatives’ core values including sovereignty of labour, the subordinate nature of capital, democracy, inter-cooperation and sustainability, and in tangible democratic experiences and transformative praxis. [less ▲]

Saving the Baby While Discarding the Bathwater: the application of policy coherence for development analysis to payment for watershed services

in Madera y Bosques (2019), 25(3), 2531760

One of the most debated tools for the implementation of sustainable development is “payment for ecosystem services”, of which “payment for watershed services” (PWS) is one of the most developed. While ... [more ▼]

One of the most debated tools for the implementation of sustainable development is “payment for ecosystem services”, of which “payment for watershed services” (PWS) is one of the most developed. While proponents argue that such payments provide market value to the services that ecosystems provide for development, opponents claim that this approach commodifies the environment and promotes inequalities. This article presents an analysis of PWS programs by applying methodologies based on policy coherence for development (PCD), defined as a policy tool aimed at eliminating incoherence within sustainable development strategies that undermine their effectiveness as well as between such strategies and other policy arenas, which are also considered harmful to sustainability. By employing a PCD methodology, the article aims to identify policy mechanisms that undermine PWS programs so that stakeholders can make adjustments, thus, metaphorically ensuring that “the baby” (PWS) is not discarded with “the bathwater” (policy incoherence for sustainable development). [less ▲]

Savoirs et engagements: Hommage à Georges Wirtgen

Book published by éditions PHI (2009)

Le volume se veut un hommage à Georges Wirtgen, docteur en psychologie, directeur honoraire de l'ISERP, président du Conseil permanent de la langue luxembourgeoise et président-fondateur honoraire du ... [more ▼]

Le volume se veut un hommage à Georges Wirtgen, docteur en psychologie, directeur honoraire de l'ISERP, président du Conseil permanent de la langue luxembourgeoise et président-fondateur honoraire du CESIJE (Centre d'études sur la situation des jeunes en Europe asbl). Le projet réunit en tant que contributeurs les disciples, collègues et amis de Georges Wirtgen qu'il a côtoyés dans les différents domaines de ses activités professionnelles et scientifiques. "Savoirs et engagements" représente un document important donnant un regard original sur le paysage de la recherche et de l'enseignement supérieur et universitaire au Luxembourg. Il met notamment l'accent sur l'importance d'une osmose entre savoirs et engagements qui doit se faire dans l'intérêt de l'environnement social direct de l'Université. [less ▲]

Say it in Croatian--Croatian translation of the EGPRN definition of multimorbidity using a Delphi consensus technique.

in Collegium antropologicum (2014), 38(3), 1027-32

Patients coming to their family physician (FP) usually have more than one condition or problem. Multimorbidity as well as dealing with it, is challenging for FPs even as a mere concept. The World Health ... [more ▼]

Patients coming to their family physician (FP) usually have more than one condition or problem. Multimorbidity as well as dealing with it, is challenging for FPs even as a mere concept. The World Health Organization (WHO) has simply defined multimorbidity as two or more chronic conditions existing in one patient. However, this definition seems inadequate for a holistic approach to patient care within Family Medicine. Using systematic literature review the European General Practitioners Research Network (EGPRN) developed a comprehensive definition of multimorbidity. For practical and wider use, this definition had to be translated into other languages, including Croatian. Here presented is the Croatian translation of this comprehensive definition using a Delphi consensus procedure for forward/backward translation. 23 expert FPs fluent in English were asked to rank the translation from 1 (absolutely disagreeable) to 9 (fully agreeable) and to explain each score under 7. It was previously defined that consensus would be reached when 70% of the scores are above 6. Finally, a backward translation from Croatian into English was undertaken and approved by the authors of the English definition. Consensus was reached after the first Delphi round with 100% of the scores above 6; therefore the Croatian translation was immediately accepted. The authors of the English definition accepted the backward translation. A comprehensive definition of multimorbidity is now available in English and Croatian, as well as other European languages which will surely make further implications for clinicians, researchers or policy makers. [less ▲]

Says Who? Edward Steichen, son oeuvre et sa réception à Luxembourg

Article for general public (2012)

This article is part of the Forum special issue about the relations between Luxembourg and the United States. In this context, 'Says Who?' analyses the complex reception of the work of Luxembourg born ... [more ▼]

This article is part of the Forum special issue about the relations between Luxembourg and the United States. In this context, 'Says Who?' analyses the complex reception of the work of Luxembourg born American artist and curator, Edward Steichen, in his native country. [less ▲]

Scaffolding children’s production of representations along the three years of ECE: a longitudinal study.

in Research in Science Education (2020)

scala-tptp-parser

Software (2021)

scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure. The package contains a data structure for the abstract syntax tree (AST) of the parsed input as well as the ... [more ▼]

scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure. The package contains a data structure for the abstract syntax tree (AST) of the parsed input as well as the parser for the different language of the TPTP, see http://tptp.org for details. In particular, the parser supports: - THF (TH0/TH1): Monomorphic and polymorphic higher-order logic, - TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, - FOF: Untyped first-order logic, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. [less ▲]

A Scalable and Accurate Hybrid Vulnerability Analysis Framework

Doctoral thesis (2018)

As the Internet has become an integral part of our everyday life for activities such as e-mail, online-banking, shopping, entertainment, etc., vulnerabilities in Web software arguably have greater impact ... [more ▼]

As the Internet has become an integral part of our everyday life for activities such as e-mail, online-banking, shopping, entertainment, etc., vulnerabilities in Web software arguably have greater impact than vulnerabilities in other types of software. Vulnerabilities in Web applications may lead to serious issues such as disclosure of confidential data, integrity violation, denial of service, loss of commercial confidence/customer trust, and threats to the continuity of business operations. For companies these issues can result in significant financial losses. The most common and serious threats for Web applications include injection vulnerabilities, where malicious input can be “injected” into the program to alter its intended behavior or the one of another system. These vulnerabilities can cause serious damage to a system and its users. For example, an attacker could compromise the systems underlying the application or gain access to a database containing sensitive information. The goal of this thesis is to provide a scalable approach, based on symbolic execution and constraint solving, which aims to effectively find injection vulnerabilities in the server-side code of Java Web applications and which generates no or few false alarms, minimizes false negatives, overcomes the path explosion problem and enables the solving of complex constraints. [less ▲]