Choreographic Programming part 1 of 3?
Computer verification of SMPC protocols by any means necessary
PL Theory for SMPC Implementations
Metadata-privacy preserving Instant Messaging
Casual security suggestions for friends
Notes tangential to the BGW protocol
What’s in my bin
RSA Blind Signature