12
Publications
789
Citations
11
H-Index
2013
Active since
Marcel Keller is an author at Data61 specializing in computer science, engineering, and formal verification.
Top concepts
EngineeringComputer ScienceCryptographyData SecurityFormal MethodsFormal VerificationComputer EngineeringInformation SecurityHardware SecurityData Privacy
Publications per year
2013–2022
12
12
Marcel Keller, Emmanuela Orsini, Peter Schöll · 2016 · 357 citations · Full text
Hardware Security, Secure Multi-party Computation, Cryptographic Primitive +15
Generalizing the SPDZ Compiler For Other Protocols
Toshinori Araki, Assi Barak, Jun Furukawa et al. · 2018 · 45 citations
Rows per page
1–5 of 12