Aarhus University logo
Department of Computer Science, Aarhus University is hosting a summer school in Programming Languages, Logic and Software Security.
Abstract:
To ensure that functional programs preserve differential privacy, a key technique involves adding noise to the result according to the…
Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
In recent years temporal verification has been increasingly applied to…
The mode of a logic program says which parts of a predicate’s arguments are inputs, and which are outputs. A program is mode-correct when information…
I will present my results towards a formally secure extraction framework for the proof-oriented language F* that protects verified F* programs against…
The talk will on one hand provide an overview of the past 15 years of research and development of theory theory and tools for Dynamic Condition…
Page 1 of 4
