Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types.

Nicolas Lagaillardie Rumyana Neykova Nobuko Yoshida

Published in: CoRR (2022)

Keyphrases

multi party
privacy preserving
programming language
affine transformation
secret sharing
programming environment
turn taking
image registration
dynamic environments
heuristic search
affine invariant
object oriented programming
computer programming