Genkin, Daniel

Spectre Attacks: Exploiting Speculative Execution

Kocher, P., Genkin, D., Gruss, D., Haas, W., Hamburg, M., Lipp, M., Mangard, S., Prescher, T., Schwarz, M., & Yarom, Y. (2018) · arXiv

Security and Verification in ComputingCryptographic Implementations and Security

Cited by 1,850

SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge

Ben-Sasson, E., Chiesa, A., Genkin, D., Tromer, E., & Virza, M. (2013) · Lecture Notes in Computer Science

Cryptography and Data SecurityLogic, programming, and type systems

Cited by 598

Spectre attacks: exploiting speculative execution

Kocher, P., Horn, J., Fogh, A., Genkin, D., Gruss, D., Haas, W., Hamburg, M., Lipp, M., Mangard, S., Prescher, T., et al. (2020) · Communications of the ACM

Security and Verification in ComputingCryptographic Implementations and Security

Cited by 281

CacheBleed: a timing attack on OpenSSL constant-time RSA

Yarom, Y., Genkin, D., & Heninger, N. (2017) · Journal of Cryptographic Engineering

Cryptographic Implementations and SecurityCryptography and Residue Arithmetic

Cited by 210

Drive-By Key-Extraction Cache Attacks from Portable Code

Genkin, D., Pachmanov, L., Tromer, E., & Yarom, Y. (2018) · Lecture Notes in Computer Science

Cryptographic Implementations and SecuritySecurity and Verification in Computing

Cited by 57

SoK: SGX.Fail: How Stuff Gets eXposed

Van Schaik, S., Seto, A., Yurek, T., Batori, A., AlBassam, B., Genkin, D., Miller, A., Ronen, E., Yarom, Y., & Garman, C. (2024) · 2024 IEEE Symposium on Security and Privacy (SP)

Security and Verification in ComputingCryptographic Implementations and Security

Cited by 31

Meltdown

Lipp, M., Schwarz, M., Gruss, D., Prescher, T., Haas, W., Mangard, S., Kocher, P., Genkin, D., Yarom, Y., & Hamburg, M. (2018) · arXiv

Security and Verification in ComputingCryptographic Implementations and Security

Cited by 17