Author of the publication

Self-Protecting Electronic Medical Records Using Attribute-Based Encryption.

, , , , , and . IACR Cryptology ePrint Archive, (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.

 

Other publications of authors with the same name

Machine-generated algorithms, proofs and software for the batch verification of digital signature schemes., , , and . Journal of Computer Security, 22 (6): 867-912 (2014)Using SMT solvers to automate design tasks for encryption and signature schemes., , and . ACM Conference on Computer and Communications Security, page 399-410. ACM, (2013)Automating Fast and Secure Translations from Type-I to Type-III Pairing Schemes., , and . ACM Conference on Computer and Communications Security, page 1370-1381. ACM, (2015)Charm: A Framework for Rapidly Prototyping Cryptosystems., , and . NDSS, The Internet Society, (2012)Machine-generated algorithms, proofs and software for the batch verification of digital signature schemes., , , and . ACM Conference on Computer and Communications Security, page 474-487. ACM, (2012)Certified Synthesis of Efficient Batch Verifiers., , , , and . CSF, page 153-165. IEEE Computer Society, (2014)Self-Protecting Electronic Medical Records Using Attribute-Based Encryption., , , , , and . IACR Cryptology ePrint Archive, (2010)Securing electronic medical records using attribute-based encryption on mobile devices., , , , , and . SPSM@CCS, page 75-86. ACM, (2011)Charm: a framework for rapidly prototyping cryptosystems., , , , , , and . J. Cryptographic Engineering, 3 (2): 111-128 (2013)Machine-Generated Algorithms, Proofs and Software for the Batch Verification of Digital Signature Schemes., , , and . IACR Cryptology ePrint Archive, (2013)