Computer-aided proofs for multiparty computation with active security.
Helene HaaghAleksandr KarbyshevSabine OechsnerBas SpittersPierre-Yves StrubPublished in: IACR Cryptol. ePrint Arch. (2018)
Keyphrases
- computer aided
- multi party
- computer assisted
- privacy preserving
- diagnosis of breast cancer
- computer aided diagnosis
- image analysis
- secret sharing
- turn taking
- pulmonary nodules
- case study
- semi honest
- fault tree
- capsule endoscopy
- human communication
- computer aided design
- early diagnosis
- prostate cancer
- design tools
- autonomous agents
- state space
- neural network