Author of the publication

Guessing attacks and the computational soundness of static equivalence.

, , and . Journal of Computer Security, 18 (5): 909-968 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Warinschi, Bogdan
add a person with the name Warinschi, Bogdan
 

Other publications of authors with the same name

Password-Based Encryption Analyzed., and . ICALP, volume 3580 of Lecture Notes in Computer Science, page 664-676. Springer, (2005)Secure Multiparty Computation from SGX., , , , , , and . Financial Cryptography, volume 10322 of Lecture Notes in Computer Science, page 477-497. Springer, (2017)Provably-Secure Remote Memory Attestation for Heap Overflow Protection., , , and . SCN, volume 9841 of Lecture Notes in Computer Science, page 83-103. Springer, (2016)The Fiat-Shamir Transform for Group and Ring Signature Schemes., , and . SCN, volume 6280 of Lecture Notes in Computer Science, page 363-380. Springer, (2010)Symbolic Methods for Provable Security.. ProvSec, volume 5848 of Lecture Notes in Computer Science, page 2. Springer, (2009)Synthesizing Secure Protocols., , and . ESORICS, volume 4734 of Lecture Notes in Computer Science, page 406-421. Springer, (2007)Deduction soundness: prove one, get five for free., , and . ACM Conference on Computer and Communications Security, page 1261-1272. ACM, (2013)Security analysis of cryptographically controlled access to XML documents., and . PODS, page 108-117. ACM, (2005)Security analysis of cryptographically controlled access to XML documents., and . J. ACM, 55 (2): 6:1-6:29 (2008)Groth-Sahai proofs revisited., , and . IACR Cryptology ePrint Archive, (2009)