Computer-Aided Proofs for Multiparty Computation with Active Security

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

DOI

Original languageEnglish
Title of host publication2018 IEEE 31st Computer Security Foundations Symposium (CSF)
Number of pages13
Volume2018
Place of publicationOxford
PublisherIEEE
Publication year1 Jul 2018
Pages119-131
ISBN (print) 978-1-5386-6681-4
ISBN (Electronic)978-1-5386-6680-7
DOIs
Publication statusPublished - 1 Jul 2018
Event2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Oxford, United Kingdom
Duration: 9 Jul 201812 Jul 2018
Conference number: 31
https://www.cs.ox.ac.uk/conferences/csf2018/

Conference

Conference2018 IEEE 31st Computer Security Foundations Symposium (CSF)
Nummer31
LandUnited Kingdom
ByOxford
Periode09/07/201812/07/2018
Internetadresse
SeriesProceedings of the IEEE Computer Security Foundations Symposium
Number31
ISSN1940-1434

See relations at Aarhus University Citationformats

ID: 136135157