Logical relations for encryption

Eijiro Sumii, Benjamin C. Pierce

Research output: Contribution to journalArticlepeer-review

24 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Logical relations for encryption'. Together they form a unique fingerprint.

Computer Science

Mathematics

Medicine and Dentistry

Psychology