Department of Computer Science

• Published

  Computer-Aided Proofs for Multiparty Computation with Active Security

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

• Published

  An Application of Computable Distributions to the Semantics of Probabilistic Programs

  Research output: Other contribution › Net publication - Internet publication › Research

• Published

  Computer-aided proofs for multiparty computation with active security

  Research output: Other contribution › Net publication - Internet publication › Research › peer-review

View all (22) »