We outline a bicategorical syntax for the interaction between public and private information in classical information theory. We use this to give high-level graphical definitions of encryptedâ€¦ (More)

Algorithmic entropy can be seen as a special case of entropy as studied in statistical mechanics. This viewpoint allows us to apply many techniques developed for use in thermodynamics to the subjectâ€¦ (More)

Drossopoulou and Noble [6] argue persuasively for the need for a means to express policy in object-capabilitybased systems. We investigate a practical means to realize their aim via the Curry-Howardâ€¦ (More)

We present an approach to modeling computational calculi using higher category theory. Specifically we present a fully abstract semantics for the Ï€-calculus. The interpretation is consistent withâ€¦ (More)

This paper aims at developing a new hybrid cipher by combining the characteristics of two ciphers namely AES(Advanced Encryption Standard) and Rc4(also known as ARC4). The characteristics of both theâ€¦ (More)

We present an algorithm for deriving a spatial-behavioral type system from a formal presentation of a computational calculus. Given a 2-monad Calc : Cat â†’ Cat for the free calculus on a category ofâ€¦ (More)