Handling Encryption in an Analysis for Secure Information Flow.

Peeter Laud

Browse the full ESOP paper archive.