On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version)

Ugo Dal Lago, Davide Davoli, Bruce M. Kapron

Separation logic is a substructural logic which has proved to have numerous and fruitful applications to the verification of programs working on dynamic data structures. Recently,…