Systematizing Genome Privacy Research: A Privacy-Enhancing Technologies Perspective

Rapid advances in human genomics are enabling researchers to gain a better understanding of the role of the genome in our health and well-being, stimulating hope for more effective and cost efficient healthcare. However, this also prompts a number of security and privacy concerns stemming from the distinctive characteristics of genomic data. To address them, a new research community has emerged and produced a large number of publications and initiatives. In this paper, we rely on a structured methodology to contextualize and provide a critical analysis of the current knowledge on privacy-enhancing technologies used for testing, storing, and sharing genomic data, using a representative sample of the work published in the past decade. We identify and discuss limitations, technical challenges, and issues faced by the community, focusing in particular on those that are inherently tied to the nature of the problem and are harder for the community alone to address. Finally, we report on the importance and difficulty of the identified challenges based on an online survey of genome data privacy expertsComment: To appear in the Proceedings on Privacy Enhancing Technologies (PoPETs), Vol. 2019, Issue

Herders in the budgetary commons : the fiscal policy consequences of multiparty government in the European Union

In contemporary political economy, it is often argued that multiparty government contributes to sustainability problems in the public economy. This is because parties have incentives to offer targeted policies to narrow-based voter groups while neglecting a large share of the costs associated with such policies. The structure of the situation is arguably similar to overconsumption and under-saving problems often encountered in the management of natural resources, which has given rise to the notion of the budgetary or fiscal common-pool problem. In this view, multiparty government is associated with increases in public spending, taxes and debt as well as persistent budget deficits; such phenomena becoming clearer as the number of parties in government grows. This work challenges the view by arguing that such problems are not inherent features of multiparty politics, but rather follow from the combination of multiparty decision making and the breakdown of programmatic linkages between voters and political parties. In particular, when corruption and other forms of favouritism and partiality are prevalent in the public sector, the credibility of programmatic goals and statements that parties make decreases. This creates room for non-programmatic, distributive objectives and hence encourages the exploitation of the tax base, which becomes visible in empirical associations between the number of government parties and fiscal policy aggregates. In contrast, impartial and efficient state institutions make it possible to present and implement programmes with far-reaching and universalistic implications, whereby the programmatic stances rather than the number of government parties explain policy outcomes. This makes it possible to manage the ‘budgetary commons’ in a sustainable way. These arguments are tested on data that covers the current 28 member states (as of 2017) of the European Union from the early 1970s or mid-1990s to 2012. The results are largely in line with the expectations, although the effects of political variables differ somewhat between the post-communist member states and the rest. The number of parties in government explains fiscal policy outcomes mainly in those post-communist countries where favouritism and partiality in the use of state authority are most prevalent. However, in the post-communist area these effects disappear when state institutions are more impartial, whereby the effects of variables capturing programmatic aspects of politics have explanatory power. Outside the post-communist area, political variables generally have little effect on fiscal policy aggregates, especially since the early 1990s. However, in that group of countries, those countries with most impartial state institutions have been most likely to adopt stringent and encompassing fiscal rules.  Nykyisessä poliittisen talouden tutkimuksessa on tavallista väittää, että monipuoluehallinto on omiaan johtamaan julkistalouden kestävyysongelmiin. Tämä johtuu siitä, että puolueilla on kannustimia tarjota kohdennettuja etuja kapeapohjaisille äänestäjäryhmille ja jättää suuri osa toimenpiteiden kustannuksista huomiotta. Rakenteeltaan tilanteen väitetään usein muistuttavan luonnonvarojen hallinnassa usein ilmeneviä ylikulutus- ja alisäästämisongelmia. Siksi budjettiyhteisvaranto-ongelman käsite on tullut suosituksi. Tämän näkemyksen mukaan monipuoluehallinto on yhteydessä julkisten menojen, verotuksen ja velan kasvuun sekä sitkeisiin alijäämiin siten, että nämä ilmiöt käyvät sitä voimakkaammiksi, mitä suurempi määrä puolueita on jakamassa hallitusvaltaa. Tämän tutkimuksen mukaan edellä mainitut ilmiöt eivät ole monipuoluehallinnon välttämättömiä seurauksia. Pikemminkin ne seuraavat siitä, että monipuoluepolitiikkaa tehdään äänestäjien ja puolueiden välisten ohjelmallisten yhteyksien ollessa heikkoja tai puuttuessa kokonaan. Erityisesti korruption ja muiden puolueellisuuden muotojen ollessa julkisella sektorilla yleisiä puolueiden esittämien ohjelmallisten tavoitteiden ja väittämien uskottavuus heikkenee. Tämä luo tilaa ei-ohjelmallisille jakopoliittisille motiiveille ja kannustaa käyttämään veropohjaa jakopoliittisten resurssien lähteenä, mikä ilmenee hallituspuolueiden lukumäärän ja julkistaloudellisten muuttujien välisinä empiirisinä yhteyksinä. Puolueettomat ja tehokkaat valtioinstituutiot sen sijaan mahdollistavat laajojen ja pitkävaikutteisten ohjelmien esittämisen ja toimeenpanemisen, jolloin puolueiden esittämät ohjelmalliset linjat, hallituspuolueiden lukumäärän sijaan, selittävät politiikan lopputuloksia. Näitä väittämiä testataan aineistolla, joka kattaa Euroopan unionin nykyiset 28 jäsenmaata (vuoden 2017 tilanteen mukaan) 1970-luvun alusta tai 1990-luvun puolivälistä vuoteen 2012. Tulokset ovat pitkälti odotusten mukaisia, joskin poliittisten muuttujien vaikutukset poikkeavat toisistaan jälkikommunistisissa ja muissa jäsenmaissa. Hallituspuolueiden lukumäärä selittää julkistaloudellisia lopputuloksia lähinnä niissä jälkikommunistisissa maissa, joissa puolueellisuus julkisen vallan käytössä on kaikkein yleisintä. Jälkikommunistisella alueella nämä ilmiöt kuitenkin häviävät valtioinstituutioiden käydessä puolueettomammiksi, jolloin politiikan ohjelmallisia puolia kuvaavat muuttujat saavat selitysvoimaa. Jälkikommunistisen alueen ulkopuolella poliittisilla muuttujilla on vain vähän vaikutusta julkistaloudellisiin mittareihin erityisesti tarkasteltaessa 1990-luvun alun jälkeistä ajanjaksoa. Kuitenkin jälkikommunistisen alueen ulkopuolisista maista ne, joiden valtioinstituutiot ovat kaikkein puolueettomimmat, ovat todennäköisimmin ottaneet käyttöön vahvoja ja kattavia budjetointisääntöjä

Verifying message-passing programs with dependent behavioural types

Concurrent and distributed programming is notoriously hard. Modern languages and toolkits ease this difficulty by offering message-passing abstractions, such as actors (e.g., Erlang, Akka, Orleans) or processes (e.g., Go): they allow for simpler reasoning w.r.t. shared-memory concurrency, but do not ensure that a program implements a given specification. To address this challenge, it would be desirable to specify and verify the intended behaviour of message-passing applications using types, and ensure that, if a program type-checks and compiles, then it will run and communicate as desired. We develop this idea in theory and practice. We formalise a concurrent functional language λπ, with a new blend of behavioural types (from π-calculus theory), and dependent function types (from the Dotty programming language, a.k.a. the future Scala 3). Our theory yields four main payoffs: (1) it verifies safety and liveness properties of programs via typeś level model checking; (2) unlike previous work, it accurately verifies channel-passing (covering a typical pattern of actor programs) and higher-order interaction (i.e., sending/receiving mobile code); (3) it is directly embedded in Dotty, as a toolkit called Effpi, offering a simplified actor-based API; (4) it enables an efficient runtime system for Effpi, for highly concurrent programs with millions of processes/actors