Bruce M. Kapron

A new approach for safely analyzing program complexity through controlled data release.

Exploring the link between separation logic and cryptographic security through independence.