Search for dissertations about: "Johannes Borgström"

Found 4 swedish dissertations containing the words Johannes Borgström.

2. 1. Equivalences and Calculi for Formal Verification of Cryptographic Protocols

   Author : Johannes Borgström; Uwe Nestmann; Thomas A Henzinger; Martin Odersky; Andrew D Gordon; Viktor Kuncak; Björn Victor; EPFL; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : Security protocols are essential to the proper functioning of any distributed system running over an insecure network but often have flaws that can be exploited even without breaking the cryptography. Formal cryptography, the assumption that the cryptographic primitives are flawless, facilitates the construction of formal models and verification tools. READ MORE

4. 2. Advancing concurrent system verification : Type based approach and tools

   Author : Ramunas Gutkovas; Johannes Borgström; Björn Victor; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

   Abstract : Concurrent systems, i.e., systems of parallel processes, are nearly ubiquitous and verifying the correctness of such systems is becoming an important subject. Many formalisms were invented for such purpose, however, new types of systems are introduced and there is a need for handling larger systems. READ MORE

5. 3. Languages, Logics, Types and Tools for Concurrent System Modelling

   Author : Ramūnas Gutkovas; Johannes Borgström; Björn Victor; Thomas T. Hildebrandt; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; process calculus; modal logic; session types; tool; Computer Science; Datavetenskap;

   Abstract : A concurrent system is a computer system with components that run in parallel and interact with each other. Such systems are ubiquitous and are notably responsible for supporting the infrastructure for transport, commerce and entertainment. READ MORE

6. 4. Probabilistic Programming for Birth-Death Models of Evolution

   Author : Jan Kudlicka; Johannes Borgström; Thomas B. Schön; Lawrence M. Murray; Bret Larget; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; probabilistic programming; birth-death models; statistical phylogenetics; particle filters; sequential Monte Carlo SMC ; Computer Science; Datavetenskap;

   Abstract : Phylogenetic birth-death models constitute a family of generative models of evolution. In these models an evolutionary process starts with a single species at a certain time in the past, and the speciations—splitting one species into two descendant species—and extinctions are modeled as events of non-homogenous Poisson processes. READ MORE