Computer-Aided Proofs for Multiparty Computation with Active Security

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

Links

DOI

OriginalsprogEngelsk
Titel2018 IEEE 31st Computer Security Foundations Symposium (CSF)
Antal sider13
Vol/bind2018
UdgivelsesstedOxford
ForlagIEEE
Udgivelsesår1 jul. 2018
Sider119-131
ISBN (trykt) 978-1-5386-6681-4
ISBN (Elektronisk)978-1-5386-6680-7
DOI
StatusUdgivet - 1 jul. 2018
Begivenhed2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Oxford, Storbritannien
Varighed: 9 jul. 201812 jul. 2018
Konferencens nummer: 31
https://www.cs.ox.ac.uk/conferences/csf2018/

Konference

Konference2018 IEEE 31st Computer Security Foundations Symposium (CSF)
Nummer31
LandStorbritannien
ByOxford
Periode09/07/201812/07/2018
Internetadresse
SerietitelProceedings of the IEEE Computer Security Foundations Symposium
Nummer31
ISSN1940-1434

    Forskningsområder

  • 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

Se relationer på Aarhus Universitet Citationsformater

ID: 136135157