Organizational Changes and their Presumptive Effect on the Military Families

This study investigates the role of work-life balance in a recent relocation decision made by the Swedish Armed Forces. Applying the “What is the problem represented to be?” (WPR) discourse analysis method to documents concerning budget submissions over a five-year period (2020–2024) and a relocation decision from 2017, this study identifies a common focus on the reduction of organizational vulnerability. The way the problem of organizational vulnerability is presented, however, neglects considerations of employees’ work-life balance and serves to make effects of organizational changes at the individual level invisible. Founded on a social constructivist perspective, the study therefore argues that this neglect of work-life balance in official discourse on organizational change may be counterproductive to the proposed aim of a reduction in organizational vulnerability

Visualisering av bansträckning

Detta är ett arbete som undersökte en arbetsmetod för att på ett så enkelt sätt som möjligt kunna göra en visualisering av projekterade järnvägsfiler. Detta gör man för att kunder och andra personer/verksamheter ska få en bra uppfattning om hur slutprojektet kommer att se ut

Relationssymbolisk körning av WebAssembly

WebAssembly is a new low-level language used as a compilation target which runs in web browsers. As more code is run on the client side of a web application the issue of security of that code become more important. Our work is based in the approach of using formal verification in order to prove that for a program one or more security properties hold. In this thesis we have explored the usage of relational symbolic execution in order to perform formal verification of security properties for WebAssembly programs. We described a formal semantics of relational symbolic execution for WebAssembly, implemented it in the Redex framework, extended the implementation for verification of constant-time security, and used the implementation to formally verify multiple sample programs including Salsa20. Our work shows that relational verification of standard security properties such as non-interference and constant-time security by using relational symbolic execution for WebAssembly is a viable approach.WebAssembly är ett nytt lågnivåspråk vilket fungerar som kompileringsmål och körs i webbläsare. Allt eftersom att mer programkod körs på klientsidan av webbprogram har säkerheten av dessa program blivit viktigare. Vårt arbete nyttjar formella verifikationsmetoder för att bevisa att ett program uppfyller en eller flera säkerhetsegenskaper. Mer specifikt har vi i detta examensarbete utforskat användandet av relationssymbolisk exekvering i syfte att utföra formell verifiering av säkerhetsegenskaper för WebAssemblyprogram. Vi har beskrivit en formell semantik för relationssymbolisk exekvering för WebAssembly, implementerat det i Redexramverket, utökat implementationen för verifiering av konstanttidssäkerhet samt använt implementationen för att formellt verifiera flera urval av program, inkluderande Salsa20. Vårt arbete visar att relationell verifiering av standardsäkerhetsegenskaper såsom icke-interferens samt konstanttidssäkerhet är genomförbart via relationssymbolisk exekvering för WebAssembly

Institutionell Förändring : En kvalitativ studie av två lagreformer och deras framgång

Makt är förmågan att förändra och styra, både för Hobbes och för Dahl, om det så är att styra andra eller sin egen tillvaro. Även om deras definitioner i vissa avseenden skiljer sig är den grunden klar. För institutionella ansatser inom statsvetenskaper agerar och verkar människor inom system av formella och informella regler, dessa regler utgörs delvis av formella lagar och normer. Det är i ljuset av detta, institutionernas effekter som kontroll av människor, de kommer att studeras i denna uppsats, specifikt det ögonblick då en förändring av institutionen sker. De för uppsatsen centrala teorierna historisk institutionalism och institutionell RTC ger i viss mån olika bilder och verktyg till analysen. I denna uppsats har två lagförändringar som syftat till att påverka invånarnas beteende på specifika sätt studerats. Avsikten är att på så vis kunna analysera effektiviteten med vilken de genomförts, kunna se vilka krafter som har verkat och vilket utfallet har blivit. Studien har genomförts som en textanalys av det material som varit grunden för besluten och även visst material från berörda myndigheter, från uppföljning av resultatet. Därutöver har en enkel jämförelse gjorts mellan det förväntade resultatet, utifrån regeringens bild, mot faktiska data för att på så viss kunna utröna i fall lagändringarna har haft en inverkan på människors beteende. Resultatet visar att regeringen i båda fallen förändrat rationella incitament. I det ena fallet genom att förändra ekonomiska incitament och i det andra genom att ökat risken att åka fast för missbruk av systemet. Regeringen har i dessa fall inte förmått förändra aktörernas beteende såsom de önskade och förväntade sig

"Fully Acceptable" : Policies on Homosexuality in the Swedish Parliament between 1933-2010

This study looks at the development in policy towards homosexuals in Sweden from criminalization to constitutional protection. A study on the ideational development in parliament has yet to be conducted. By studying the frames expressed in the official documents between 1933 and 2010 the study analyses ideas in terms of problems and solutions to describe how change occurred. The result is that Swedish policy towards homosexuals has been determined by two frames of understanding: a sexual frame  and an emotional frame. The policy process of the frames developed similarly in terms of institutionalization. Initially both frames saw homosexuals as dangerous which resulted in a different legal status. The frames gradually harmonized with a new scientific understanding that reinterpreted homosexuality as harmless and the different legal status problematic

CLIMATE FINANCE AND UNIVERSAL ENERGY ACCESS: ENERGY JUSTICE IN THE GREEN CLIMATE FUNDS PROJECTS TO PROMOTE ENERGY ACCESS IN AFRICA

Climate finance is becoming an increasingly important aspect of climate change action, and massive sums are estimated to be required to mitigate further increase in greenhouse gas (GHG) emissions. Mitigation projects supported by climate finance further have the possibility to increase access to modern energy services in countries where these are lacking. Focusing on the Green Climate Fund (GCF) and the fund’s climate finance projects committed to enhancing energy access, this study investigates the complexities related to climate finance projects and what possible justice implications climate finance might result in. The area of focus in the study is the African continent, and the aspect of energy justice, specifically energy access equity. The study uses qualitative document analysis and reflexive thematic analysis along with an energy justice lens and framework, to analyse aspects of energy justice in six approved funding proposals of the GFCs energy generation and access portfolio. The results reveal three major overarching themes of a strong focus on private sector enhancement, where risk management and return on investments are common patterns in the approved funding proposals, site selection criteria that focus on financial viability and market potential, and a strong focus on finding a balance between affordability and profits. Resulting from this is likely to be an enhancement of energy access for the middle and low-income population in Africa, however, the results of the study show that energy justice implications resulting from the planned projects, particularly in terms of energy access equity are likely to arise. The themes found in the documents are likely to result in both distributive and recognition justice implications specifically affecting individuals, households and social groups living in extreme poverty or in areas deemed as undesirable for investments. It further highlights the need to consider already marginalised groups in society and not only financial viability of projects to attract private sector involvement. The study concludes that while private finance is positive in terms of climate finance, a balance between private and public finance is of importance, and increased focus must be put on the fairness and equity of energy access projects supported by climate finance from the Green Climate Fund.

Visualisering av bansträckning

Detta är ett arbete som undersökte en arbetsmetod för att på ett så enkelt sätt som möjligt kunna göra en visualisering av projekterade järnvägsfiler. Detta gör man för att kunder och andra personer/verksamheter ska få en bra uppfattning om hur slutprojektet kommer att se ut

Välfärd och socialt kapital : En jämförande studie

Under senare tid har fler och fler forskare betonat det sociala kapitalets betydelse för samhället. Men vilken betydelse har välfärden i denna aspekt? Det finns en stark koppling mellan trygghet och socialt kapital, vissa går så långt som att säga att trygghet är en fundamental faktor för att undvika sociala fällor. Men kan man då skapa socialt kapital genom välfärden? Detta skulle innebära att en generösare välfärd mer är en investering för samhället än en välgörenhet

Relationssymbolisk körning av WebAssembly

WebAssembly is a new low-level language used as a compilation target which runs in web browsers. As more code is run on the client side of a web application the issue of security of that code become more important. Our work is based in the approach of using formal verification in order to prove that for a program one or more security properties hold. In this thesis we have explored the usage of relational symbolic execution in order to perform formal verification of security properties for WebAssembly programs. We described a formal semantics of relational symbolic execution for WebAssembly, implemented it in the Redex framework, extended the implementation for verification of constant-time security, and used the implementation to formally verify multiple sample programs including Salsa20. Our work shows that relational verification of standard security properties such as non-interference and constant-time security by using relational symbolic execution for WebAssembly is a viable approach.WebAssembly är ett nytt lågnivåspråk vilket fungerar som kompileringsmål och körs i webbläsare. Allt eftersom att mer programkod körs på klientsidan av webbprogram har säkerheten av dessa program blivit viktigare. Vårt arbete nyttjar formella verifikationsmetoder för att bevisa att ett program uppfyller en eller flera säkerhetsegenskaper. Mer specifikt har vi i detta examensarbete utforskat användandet av relationssymbolisk exekvering i syfte att utföra formell verifiering av säkerhetsegenskaper för WebAssemblyprogram. Vi har beskrivit en formell semantik för relationssymbolisk exekvering för WebAssembly, implementerat det i Redexramverket, utökat implementationen för verifiering av konstanttidssäkerhet samt använt implementationen för att formellt verifiera flera urval av program, inkluderande Salsa20. Vårt arbete visar att relationell verifiering av standardsäkerhetsegenskaper såsom icke-interferens samt konstanttidssäkerhet är genomförbart via relationssymbolisk exekvering för WebAssembly

Difference and social cohesion : A Study of Different Identities' Effect on Societal Cohesiveness

This paper has had the ambition to answer the question does people’s perception of group difference affect their sense of societal cohesiveness? Using survey data from a Swedish 2015 study conductedby the SOM-institute this study looks at people living in Sweden’s perceptions of differentgroup identities to see which elements come at play in forming an over-all sense of societal cohesion.This study combines theories on social capital in relation to group identities to create anadvanced model to test the data in. The analysis confirmed that people’s discernment of other groups indeed affects the level of societal cohesiveness, and that respondents who felt a stronger emotional connection towards groups with another economy, education and culture were more likely to feel like a part of the Swedish society and to be more trusting of others.