„I have an instrument to measure teachers’ aggression, and I’m not afraid to use it!“

Scientific Conference (2013)

I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis

Report (2014)

Android applications may leak privacy data carelessly or maliciously. In this work we perform inter-component data-flow analysis to detect privacy leaks between components of Android applications. Unlike ... [more ▼]

Android applications may leak privacy data carelessly or maliciously. In this work we perform inter-component data-flow analysis to detect privacy leaks between components of Android applications. Unlike all current approaches, our tool, called IccTA, propagates the context between the components, which improves the precision of the analysis. IccTA outperforms all other available tools by reaching a precision of 95.0% and a recall of 82.6% on DroidBench. Our approach detects 147 inter-component based privacy leaks in 14 applications in a set of 3000 real-world applications with a precision of 88.4%. With the help of ApkCombiner, our approach is able to detect inter-app based privacy leaks. [less ▲]

‘I learnt English – the wrong thing, eh’ – power, interests and language practices among cross-border workers in Luxembourg

in Koff, Harlan; Schulz, Christian; Gilles, Peter (Eds.) Theorising Power through Analyses of Border Relationships (2013)

I love English: Engels en geletterdheid in twee opsteloefeningen in een lagere school in ruraal Gambia, West-Afrika

in Koole, Tom; Nortier, Jacomine; Tahitu, Bert (Eds.) Artikelen van de vijfde sociolinguïstische conferentie (2006)

I need a research tool to…

Report (2017)

A whole range of digital tools exists nowadays to help historians in their daily work, but how to choose the “perfect” one for your needs? Should you lose time searching for the holy Grail, or take the ... [more ▼]

A whole range of digital tools exists nowadays to help historians in their daily work, but how to choose the “perfect” one for your needs? Should you lose time searching for the holy Grail, or take the risk to try out and study tools that, in the end, might not fit your needs? [less ▲]

‚The I think must be able to accompany all my representations.’ Kant’s theory of apperception and the unconscious

in Sgarbi, P. Giordanetti A. N. D. R. Pozzo A. N. D. M. (Ed.) Kant’s Philosophy of the Unconscious (2012)

I’ll Just Stay Home: Employment Inequality among Parents

in Social Politics: International Studies in Gender, State, and Society (2019), 26(3), 394-418

How does homeownership magnify existing gender disparities in the labor markets of the rich OECD countries? Men and women, and especially mothers and fathers, respond to homeownership differently. Owners ... [more ▼]

How does homeownership magnify existing gender disparities in the labor markets of the rich OECD countries? Men and women, and especially mothers and fathers, respond to homeownership differently. Owners work more hours than renters but mothers experience an ownership penalty while fathers solidify their market attachment. Both responses increase the gender gap. As such, governments pursuing dual policy objectives of promoting homeownership and greater gender parity in the labor market will find their policies working at cross-purposes. This paper analyzes the effect of homeownership on labor market attachment and explains why mothers and fathers respond to it in different ways. [less ▲]

“I’m much better off…” - Comparative Processes and Future Intentions of Elder Portuguese Immigrants in Luxembourg

Scientific Conference (2019, June 28)

Ageing and migration have become key issues in many European countries as a large number of first generation immigrants are approaching retirement age in the next years. Focusing on elder Portuguese ... [more ▼]

Ageing and migration have become key issues in many European countries as a large number of first generation immigrants are approaching retirement age in the next years. Focusing on elder Portuguese immigrants in the Grand Duchy of Luxembourg, the present study had the aim to explore the roles of social and temporal comparisons for future intentions to stay in the receiving country, return to the country of origin or commute between both. Whereas earlier studies have examined the roles of social or cultural links, economic or health aspects, we focused here on the participants’ personal evaluation of their migratory project by asking them to evaluate their current situation compared with the past and with peers. A sample of N = 109 Portuguese first generation immigrants (49.5% female; average age: M = 55.35, SD = 7.42) who had been living in Luxembourg for about M = 30.69 (SD = 8.55) years were interviewed by use of a standardized questionnaire. Analyses showed that about half of participants preferred to stay in Luxembourg, whereas the remainder planned to return to Portugal or to commute. The appraisal of the current (vs. past) situation was significantly more positive for those who planned to stay or commute compared to those who wanted to return after retirement. Interestingly, both those who planned to return and those who wanted to stay engaged more frequently in social or temporal comparisons than those who preferred to commute. Results will be discussed taking into consideration regulatory processes of subjective well-being and different migration experiences. [less ▲]

I/O Logic in HOL

in Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications (Special Issue on Reasoning for Legal AI) (2019), 6(5), 715--732

I/O Logic in HOL --- First Steps

E-print/Working paper (2018)

A semantical embedding of input/output logic in classical higher-order logic is presented. This embedding enables the mechanisation and automation of reasoning tasks in input/output logic with off-the ... [more ▼]

A semantical embedding of input/output logic in classical higher-order logic is presented. This embedding enables the mechanisation and automation of reasoning tasks in input/output logic with off-the-shelf higher-order theorem provers and proof assistants. The key idea for the solution presented here results from the analysis of an inaccurate previous embedding attempt, which we will discuss as well. [less ▲]