Browsing Theoretical Computer Science Group by Issue Date
Now showing items 21-25 of 25
-
Introduction to Categories and Categorical Logic
The aim of these notes is to provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The notes are based on a lecture course given at Oxford over the past few years. ... -
Algebraic Foundations for Information Theoretical, Probabilistic and Guessability measures of Information Flow
Several mathematical ideas have been investigated for Quantitative Information Flow. Information theory, probability, guessability are the main ideas in most proposals. They aim to quantify how much information is leaked, ... -
Modelling the User
We overview our research on the formal modelling of user behaviour, generic user modelling,, as a form of usability evaluation looking for design flaws that lead to systematic human error. This involves formalising principles ... -
Trace Properties from Separation Logic Specifications
We propose a formal approach for relating abstract separation logic library specifications with the trace properties they enforce on interactions between a client and a library. Separation logic with abstract predicates ...