Concepedia
1
Publications
12
Citations
H-Index
2020
Active since
Naomi Ephraim is an author specializing in formal methods, real-time systems, and engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceReal-time SystemsComputational Complexity
Publications per year
2020–2020
Non-Malleable Time-Lock Puzzles and Applications.
Naomi Ephraim, Cody Freitag, Ilan Komargodski et al. · IACR Cryptology ePrint Archive · 2020 · 12 citations
Computational Complexity Theory, Engineering, Concurrency Theory +6
Rows per page
1–1 of 1