共 50 条
- [21] Alice and Bob: Reconciling Formal Models and Implementation PROGRAMMING LANGUAGES WITH APPLICATIONS TO BIOLOGY AND SECURITY: ESSAYS DEDICATED TO PIERPAOLO DEGANO ON THE OCCASION OF HIS 65TH BIRTHDAY, 2015, 9465 : 66 - 85
- [22] Can Alice and Bob Guarantee Output to Carol? ADVANCES IN CRYPTOLOGY, PT V, EUROCRYPT 2024, 2024, 14655 : 32 - 61