Computer-Aided Proofs for Multiparty Computation with Active Security

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

Standard

Computer-Aided Proofs for Multiparty Computation with Active Security. / Haagh, H.; Karbyshev, A.; Oechsner, S.; Spitters, B.; Strub, P.

2018 IEEE 31st Computer Security Foundations Symposium (CSF). Vol. 2018 Oxford : IEEE, 2018. p. 119-131 (Proceedings of the IEEE Computer Security Foundations Symposium; No. 31).

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

Harvard

Haagh, H, Karbyshev, A, Oechsner, S, Spitters, B & Strub, P 2018, Computer-Aided Proofs for Multiparty Computation with Active Security. in 2018 IEEE 31st Computer Security Foundations Symposium (CSF). vol. 2018, IEEE, Oxford, Proceedings of the IEEE Computer Security Foundations Symposium, no. 31, pp. 119-131, Oxford, United Kingdom, 09/07/2018. https://doi.org/10.1109/CSF.2018.00016

APA

Haagh, H., Karbyshev, A., Oechsner, S., Spitters, B., & Strub, P. (2018). Computer-Aided Proofs for Multiparty Computation with Active Security. In 2018 IEEE 31st Computer Security Foundations Symposium (CSF) (Vol. 2018, pp. 119-131). Oxford: IEEE. Proceedings of the IEEE Computer Security Foundations Symposium, No. 31 https://doi.org/10.1109/CSF.2018.00016

CBE

Haagh H, Karbyshev A, Oechsner S, Spitters B, Strub P. 2018. Computer-Aided Proofs for Multiparty Computation with Active Security. In 2018 IEEE 31st Computer Security Foundations Symposium (CSF). Oxford: IEEE. pp. 119-131. (Proceedings of the IEEE Computer Security Foundations Symposium; No. 31). https://doi.org/10.1109/CSF.2018.00016

MLA

Haagh, H. et al. "Computer-Aided Proofs for Multiparty Computation with Active Security". 2018 IEEE 31st Computer Security Foundations Symposium (CSF). Oxford: IEEE. (Proceedings of the IEEE Computer Security Foundations Symposium; Journal number 31). 2018, 119-131. https://doi.org/10.1109/CSF.2018.00016

Vancouver

Haagh H, Karbyshev A, Oechsner S, Spitters B, Strub P. Computer-Aided Proofs for Multiparty Computation with Active Security. In 2018 IEEE 31st Computer Security Foundations Symposium (CSF). Vol. 2018. Oxford: IEEE. 2018. p. 119-131. (Proceedings of the IEEE Computer Security Foundations Symposium; No. 31). https://doi.org/10.1109/CSF.2018.00016

Author

Haagh, H. ; Karbyshev, A. ; Oechsner, S. ; Spitters, B. ; Strub, P. / Computer-Aided Proofs for Multiparty Computation with Active Security. 2018 IEEE 31st Computer Security Foundations Symposium (CSF). Vol. 2018 Oxford : IEEE, 2018. pp. 119-131 (Proceedings of the IEEE Computer Security Foundations Symposium; No. 31).

Bibtex

@inproceedings{3d016556fadb487590ce127bacf62249,
title = "Computer-Aided Proofs for Multiparty Computation with Active Security",
keywords = "data privacy, digital signatures, formal verification, polynomials, programming languages, public key cryptography, theorem proving, computer-aided proofs, active security, general cryptographic technique, programming language community, computer proof assistants, EasyCrypt, embedded language, probabilistic programming, ambient general purpose higher-order logic, public-key encryption, Maurer's MPC protocol, general polynomial functions, program equivalence, MPC, security definition, multiparty computation, proof assistant, secret sharing schemes, Cryptography, Protocols, Additives, Probabilistic logic, Standards, Tools, Secure-multi-party-computation,-security-definitions,-modelling-secure-protocols,-formal-verification,-easycrypt,-computer-aided-security-proofs",
author = "H. Haagh and A. Karbyshev and S. Oechsner and B. Spitters and P. Strub",
year = "2018",
month = "7",
day = "1",
doi = "10.1109/CSF.2018.00016",
language = "English",
isbn = "978-1-5386-6681-4",
volume = "2018",
pages = "119--131",
booktitle = "2018 IEEE 31st Computer Security Foundations Symposium (CSF)",
publisher = "IEEE",

}

RIS

TY - GEN

T1 - Computer-Aided Proofs for Multiparty Computation with Active Security

AU - Haagh, H.

AU - Karbyshev, A.

AU - Oechsner, S.

AU - Spitters, B.

AU - Strub, P.

PY - 2018/7/1

Y1 - 2018/7/1

KW - data privacy

KW - digital signatures

KW - formal verification

KW - polynomials

KW - programming languages

KW - public key cryptography

KW - theorem proving

KW - computer-aided proofs

KW - active security

KW - general cryptographic technique

KW - programming language community

KW - computer proof assistants

KW - EasyCrypt

KW - embedded language

KW - probabilistic programming

KW - ambient general purpose higher-order logic

KW - public-key encryption

KW - Maurer's MPC protocol

KW - general polynomial functions

KW - program equivalence

KW - MPC

KW - security definition

KW - multiparty computation

KW - proof assistant

KW - secret sharing schemes

KW - Cryptography

KW - Protocols

KW - Additives

KW - Probabilistic logic

KW - Standards

KW - Tools

KW - Secure-multi-party-computation,-security-definitions,-modelling-secure-protocols,-formal-verification,-easycrypt,-computer-aided-security-proofs

U2 - 10.1109/CSF.2018.00016

DO - 10.1109/CSF.2018.00016

M3 - Article in proceedings

SN - 978-1-5386-6681-4

VL - 2018

SP - 119

EP - 131

BT - 2018 IEEE 31st Computer Security Foundations Symposium (CSF)

PB - IEEE

CY - Oxford

ER -