This project explores how a Meta Attack Language based Domain Specific Language for web applications can be used to threat model web applications in order to evaluate and improve web application security. Organizations and individuals are targeted by cyberattacks every day where malicious actors could gain access to sensitive information. These malicious actors are also developing new and innovative ways to exploit the many different components of web applications. Web applications are becoming more and more complex and the increasingly complex architecture gives malicious actors more components to target with exploits. In order to develop a secure web application, developers have to know the ins and outs of web application components and web application security. The Meta Attack Language, a framework for developing domain specific languages, was recently developed and has been used to create languages for domains such as Amazon Web Services and smart cars but no language previously existed for web applications. This project presents a prototype web application language delimited to the first vulnerability in the top ten list provided by Open Worldwide Application Security Project (OWASP), which is broken access control, and tests it against the OWASP juice shop, which is an insecure web application developed by OWASP to test new tools. Based on the results it is concluded that the prototype can be used to model web application vulnerabilities but more work needs to be done in order for the language to work on any given web application and vulnerability. / Detta projekt utforskar hur ett Meta Attack Language baserat Domän Specifikt Språk för webbapplikationer kan användas för att hotmodellera samt undersöka och förbättra webbapplikationssäkerhet. Organisationer och individer utsätts dagligen för cyberattacker där en hackare kan få tillgång till känslig information. Dessa hackare utverklar nya och innovativa sätt att utnyttja dem många olika komponenterna som finns i webbapplikationer. Webbapplikationer blir mer och mer komplexa och denna ökande komplexa arkitekturen leder till att det finns mer mål för en hackare att utnyttja. För att utveckla en säker webbapplikation måste utvecklare veta allt som finns om webbapplikations komponenter och webbapplikations säkerhet. Meta Attack Language är ett ramverk för att utveckla nya språk för domäner som till exempel Amazon Web Services och smarta fordon men innan detta existerade inget språk för webbapplikationer. Detta projekt presenterar en webbapplikations språk prototyp som är avgränsad till den första sårbarheten i top tio listan av Open Worldwide Application Security Project (OWASP) vilket är broken access control, och testar den mot OWASP juice shop, vilket är en sårbar webapplikation som utveckalts av OWASP för att testa nya verktyg. Baserat på resultaten dras slutsatsen att prototypen kan användas för att modellera webbapplikations sårbarheter men att det behövs mer arbete för att språket ska fungera på vilken webbapplikation och sårbarhet som helst.

A wind tunnel from the 1950s located in Bromma, Stockholm, once used for military research is today used for commercial activities. Today the tunnel is used for indoor wingsuit flight and the facility has an interest in reducing the overall noise generated by the tunnel. Acoustic measurements indicate noise problems in the 50 Hz range. A 3D and a 2D model was structured with physical measured dimensions of the wind tunnel for simulations.Results indicate that a 37 dB decrease of the second higher order azimuthal spinning mode was achievable with the same number of monopole anti-sources as fan blades with each individual monopole modeling an enclosed loudspeakers. This acoustic mode was identified as the most problematic due to the cut-on frequency for the geometry coinciding with the fundamental blade pass frequency of the fan source during normal operating conditions. / På 1950-talet byggdes en vindtunnel i Bromma, Stockholm kallad "LT1". Vindtunneln användes då för militär utveckling för bland annat flygförsvaret. Idag drivs den efter en period utan användning kommersiellt för flygning av ekorrdräkt så kallad "Wingsuit" inomhus. Området kring tunneln har kommersialierats under tiden den var ur drift och omgivande verksamheter påverkas av ljud från vindtunnelns verksamhet varför tunnelns verksamhet söker förbättringsmöjligheter avseende bullerdämpning. Akustiska mätningar i och utanför tunneln indikerar ett problemområde kring frekvensen 50 Hz som härstammar från den stora fläkt som skapar flödet i tunneln. Vindtunneln modellerades i 3D och 2D med hjälp av fysiskt uppmätta dimensioner på plats. Modellerna användes sedan för att kunna numeriskt simulera och beräkna möjligheten att dämpa ljudet från fläkten med hjälp av aktiv kontroll. Resultaten indikerar att en 37 dB ljudreduktion är möjlig av andra ordningens högre akustiska snurrande mod. Detta var möjligt att uppnå med lika många anti-källor modellerade som monopoler vilket motsvarar slutna högtalare, som fläktblad. Denna akustiska mod identifierades som den mest problematiska eftersom cut-on frekvensen för tunnelns geometri sammanfaller med den fundamentala bladpass-frekvensen för fläkten under normal drift.

The forth industrial revolution has risen the born of new mega trends for the improvement of the time to market and the spare of resources in the development and manufacturing of a new product. Among these trends, the Digital Twin (DT) is the one of major interests for developers and strategy analysts. The perfect transposition of a real entity into a digital environment enables the exploration and testing of the different components within the defined object, taking a further step towards a perfect correct-by-design approach. STMicroelectronics (ST) is exploring the benefits that this technology offers to the developers. The company’s primary focus revolves around the creation of SystemC models for the manufactured components so that a co-simulation between an Hardware (HW)/Software (SW) platform and a kinematic simulator is possible. This innovative approach facilitate the comprehensive validation of the designed Firmware (FW), relying on the intricate interplay with sensory aspects influenced by both device behavior and environmental circumstances. Furthermore, many applications nowadays implement an Artificial Intelligence (AI) algorithm: its performance is strictly dependent on the quality of the signals sensed and on the dataset on which the model is built. The creation of a proper DT allows to implement its development during the design phase, creating not only a valid AI for the real product, but also improving the quality and the performance of the model built. This conclusion is proven through the construction of a simple robotic arm implementing an anomaly detection algorithm based on a Machine Learning (ML) model. / Den fjärde industriella revolutionen har gett upphov till nya megatrender för förbättring av time-to-market och spara resurser vid utveckling och tillverkning av tillverkning av en ny produkt. Bland dessa trender är DT av stort intresse för utvecklare och strategianalytiker. Den perfekta överföringen av en verklig enhet till en digital miljö gör det möjligt att utforska och testa de olika komponenter inom det definierade objektet, vilket tar ytterligare ett steg mot en perfekt korrekt-från-design-metod. ST utforskar fördelarna som denna teknologi erbjuder utvecklare. Företagets huvudsakliga fokus kretsar kring skapandet av SystemC-modeller för tillverkade komponenter så att en samkörning mellan en HW/SW och en kinematisk simulator blir möjlig. Denna innovativa metod underlättar den omfattande valideringen av utformad FW och bygger på den intrikata interaktionen med sensoriska aspekter som påverkas av både enhetens beteende och miljöförhållanden. Dessutom implementerar många applikationer nuförtiden en algoritm för AI: dess prestanda är strikt beroende av kvaliteten på de uppfångade signalerna och den dataset på vilken modellen bygger. Skapandet av en korrekt DT möjliggör genomförandet av detta steg under designfasen, vilket inte bara resulterar i en giltig AI för den verkliga produkten utan också förbättrar kvaliteten och prestandan hos den skapade modellen. Denna slutsats bevisas genom konstruktionen av en enkel robotarm som implementerar en algoritm för avvikelsedetektering baserad på en ML model.

Ligand-gated ion channels play an important role in electrochemical signal transduction across diverse organisms, yet their structural and functional intricacies are not fully understood. Particularly lacking is the knowledge of their response to variations in pH, an aspect necessary for understanding their physiological relevance and potential therapeutic targeting in neurological diseases. In this thesis project, I have investigated the mechanistic response of sTeLIC, a recently reported prokaryotic member of the pentameric ligand-gated ion channel family, to different environmental conditions. Using molecular dynamics simulations, a total of 16 different environmental conditions have been explored including variations in pH (neutral and alkaline), the presence and absence of calcium, and the inclusion of an electric field acting as an external driving force on charged atoms. The results reveal a comprehensive pH-sensing and gating mechanism involving key residues, notably E106 (on the β6 strand) and E160 (on loop F), and their local microenvironments. Additionally, an inhibitory mechanism for calcium is proposed, with E160 playing an important role. The simulations including an electric field has provided support for a non-conventional ion pathway through the pore. Collectively, these results offer insights into a mechanistic framework that may extend to other physiologically relevant systems, providing a foundation for further investigations and potential future therapeutic intervention. / pLGICs har en viktig roll i det elektrokemiska signalsystemet i många organismer, men detaljerna i deras struktur och framför allt funktion är fortfarande inte helt klargjorda. Särskilt är detaljerna kring deras reaktion på ändringar i pH-värde relativt okända, vilket är en viktig del i att förstå kanalernas fysiologiska roll och för att potentiellt hitta läkemedel mot neurologiska sjukdomar där dessa är inblandade. I det här arbetet har jag undersökt hur sTeLIC, som är ett nyligen publicerat bakteriellt protein i familjen pLGICs, reagerar på olika ändringar i miljön. Jag har använt molekyldynamiksimuleringar för att unders öka 16 olika miljöer med två olika pH-värden (neutralt och alkaliskt), med eller utan kalcium samt med eller utan en extern drivkraft över membranet i form av ett elektrisk fält. Arbetet har resulterat i en föreslagen mekanism förhur sTeLIC känner av pH och hur öppningen av kanalen går till. Denna mekanism involverar aminosyrorna E106, som finns på β6-strängen, och E160, som finns på F-loopen, samt deras omgivning. Dessutom har en modulatorisk mekanism föreslagits för en kalciuminhiberande effekt på sTeLIC som också involverar E160. Simuleringarna med en drivkraft över membranet har gett stöd för en ny väg för joner genom kanalen. Tillsammans ger dessa resultat insikt i en mekanism som eventuellt kan appliceras p ̊a andra system. Detta har lagt grunden för fortsatt undersökning som potentiellt kan leda till framtida läkemedelsutveckling inom området.