Concepedia

Kristiyan Haralambiev

KH

7

Publications

537

Citations

7

H-Index

2010

Active since

Affiliations

IBM Research - Zurich(Current)

University of Applied Sciences and Arts of Southern Switzerland

IBM (United States)

Shandong University of Political Science and Law

Kristiyan Haralambiev is an author at IBM Research - Zurich specializing in engineering, formal verification, and data security.

Top concepts

EngineeringFormal VerificationCryptographyData SecurityComputer ScienceFormal MethodsData PrivacyInformation SecurityVerificationHardware Security

Publications per year

2010–2015

7

Publications

7

Cryptography against Continuous Memory Attacks

Yevgeniy Dodis, Kristiyan Haralambiev, Adriana López-Alt et al. · 2010 · 240 citations

Signing on elements in bilinear groups for modular protocol de-sign.

Masayuki Abe, Kristiyan Haralambiev, Miyako Ohkubo · IACR Cryptology ePrint Archive · 2010 · 116 citations

Cryptographic Primitive, Verification Keys, Engineering +16

Structure-Preserving Signatures and Commitments to Group Elements

Masayuki Abe, Georg Fuchsbauer, Jens Groth et al. · Journal of Cryptology · 2015 · 74 citations · Full text

Cryptographic Primitive, Engineering, Digital Signature +4

Policy-based secure deletion

Christian Cachin, Kristiyan Haralambiev, Hsu‐Chun Hsiao et al. · 2013 · 47 citations

Engineering, Information Security, Formal Verification +18

Efficient cryptographic primitives for non-interactive zero-knowledge proofs and applications

Victor Shoup, Kristiyan Haralambiev · 2011 · 21 citations

Nizk Proof System, Cryptographic Primitives, Engineering +13

Rows per page

1–5 of 7