Computer-Aided Proofs for Multiparty Computation with Active Security.
Helene HaaghAleksandr KarbyshevSabine OechsnerBas SpittersPierre-Yves StrubPublished in: CSF (2018)
Keyphrases
- computer aided
- multi party
- computer assisted
- computer aided diagnosis
- privacy preserving
- diagnosis of breast cancer
- image analysis
- secret sharing
- human communication
- capsule endoscopy
- turn taking
- process planning
- prostate cancer
- differential diagnosis
- computer aided design
- artificial intelligence
- mental states
- dynamic environments
- fuzzy logic
- fault tree