PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Barbosa, Manuel"

Author of the publication

copydeleteadd this publication to your clipboard
ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data.

, , , and . IEEE Symposium on Security and Privacy, page 271-286. IEEE Computer Society, (2015)

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.

Manuel Mauch University of Stuttgart

PD Dr. Manuel Keßler University of Stuttgart

Manuel Batora University of Stuttgart

Dr. rer. nat. Manuel Finkbeiner University of Stuttgart

Dr. rer. nat. Manuel Häßner University of Stuttgart

 

Other publications of authors with the same name

A Deductive Verification Platform for Cryptographic Software., , , and . ECEASST, (2010)Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC., , , and . IACR Cryptology ePrint Archive, (2015)First Steps Toward a Cryptography-Aware Language and Compiler., , , and . IACR Cryptology ePrint Archive, (2005)Jasmin: High-Assurance and High-Speed Cryptography., , , , , , , , , and . ACM Conference on Computer and Communications Security, page 1807-1823. ACM, (2017)A Fast and Verified Software Stack for Secure Function Evaluation., , , , , , and . ACM Conference on Computer and Communications Security, page 1989-2006. ACM, (2017)Performance trade-offs on a secure multi-party relational database., , , , , and . SAC, page 456-461. ACM, (2017)Compiling CAO: From Cryptographic Specifications to C Implementations., , and . POST, volume 8414 of Lecture Notes in Computer Science, page 240-244. Springer, (2014)Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC., , , and . FSE, volume 9783 of Lecture Notes in Computer Science, page 163-184. Springer, (2016)Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols., , , , , and . ACM Conference on Computer and Communications Security, page 488-500. ACM, (2012)Using Compilers to Enhance Cryptographic Product Development., , , , , , , and . ISSE, page 291-301. Vieweg+Teubner, (2009)