( en | de | ru )

 

Disambiguation of "Gray, David"

Author of the publication

copydeleteadd this publication to your clipboard
E-Voting: A New Approach Using Double-Blind Identity-Based Encryption.

, and . EuroPKI, volume 6711 of Lecture Notes in Computer Science, page 93-108. Springer, (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.

Oliver Gray

On the complete classification of unitary N=2 minimal superconformal field theories. Uni Augsburg, (2009)

Ursula Gray

Ian Gray

Sebastian Grayek

Alexander Grayver

 

Other publications of authors with the same name

A formally verified proof of the prime number theorem, , , and . CoRR, (2005)Exploration of uncertainty in bidirectional vector fields., , , , and . Visualization and Data Analysis, volume 6809 of SPIE Proceedings, page 68090B. SPIE, (2008)ProVer: A Secure System for the Provision of Verified Location Information., and . MobiCASE, volume 35 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 366-373. Springer, (2009)Specifying and Verifying IP with Linear Logic., , , , and . ICDCS Workshop on Distributed System Validation and Verification, page E104-E110. (2000)E-Voting: A New Approach Using Double-Blind Identity-Based Encryption., and . EuroPKI, volume 6711 of Lecture Notes in Computer Science, page 93-108. Springer, (2010)Can You See Me? The Use of a Binary Visibility Metric in Distance Bounding., and . WASA, volume 5682 of Lecture Notes in Computer Science, page 378-387. Springer, (2009)A static analysis of cryptographic processes: the denotational approach., , and . J. Log. Algebraic Methods Program., 64 (2): 285-320 (2005)A formally verified proof of the prime number theorem., , , and . ACM Trans. Comput. Log., 9 (1): 2 (2007)Secure pseudonym management using mediated identity-based encryption., and . J. Comput. Secur., 14 (3): 249-267 (2006)Adaptive pattern-based image compression for ultra-low bandwidth weapon seeker image communication., , , , , , , and . Visual Information Processing, volume 7341 of SPIE Proceedings, page 73410. SPIE, (2009)