From Operational Models to Information Theory; Side Channels in pGCL with Isabelle.

David A. Cock

Browse the full ITP paper archive.