IACR Cryptology ePrint Archive · 2019 · 157 citations · 1 references
Oecumenical Noninteractive ArgumentsDynamic Epistemic LogicAutomated ReasoningClassical LogicPhilosophy Of LogicEpistemologyEpistemic LogicLanguage StudiesSemanticsLinguistics
1
Mary Maller, Sean Bowe, Markulf Kohlweiss et al. · 2019 · 259 citations · Full text
Structured Reference Strings, Secure Multi-party Computation, Cryptographic Primitive +15