Sign in

Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact).

Nicolas LagaillardieRumyana NeykovaNobuko Yoshida
Published in: Dagstuhl Artifacts Ser. (2022)
Keyphrases
  • multi party
  • privacy preserving
  • affine transformation
  • programming language
  • description language
  • object oriented programming
  • secret sharing