Aarhus University logo
Dansk
We have been formalizing mathematics in type theory for many years. Although great progress has been made, there were still a number of issues that…
Abstract:
In my PhD project I am developing a formal semantics of a significant fragment of the C programming language as described by the C11…
Cryptography is a powerful tool that can be used to protect information. In its original form, cryptography enables Alice to communicate with Bob in…
Page 124 of 163.