Concepedia
1
Publications
19
Citations
H-Index
2023
Active since
Affiliations
IBM Research - Haifa(Current)
Tomer Pelleg is an author at IBM Research - Haifa specializing in formal verification, data security, and cryptography.
Top concepts
EngineeringCryptographyData SecurityFormal MethodsComputer ScienceFormal Verification
Publications per year
2023–2023
BLEACH: Cleaning Errors in Discrete Computations Over CKKS
Nir Drucker, Guy Moshkowich, Tomer Pelleg et al. · Journal of Cryptology · 2023 · 19 citations
Secure Multi-party Computation, Cryptographic Primitive, Engineering +7
Rows per page
1–1 of 1