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
Deductive verification of cryptographic software.

, , , and . ISSE, 6 (3): 203-218 (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.

Manuel Mauch University of Stuttgart

Dr. Manuel Keßler University of Stuttgart

Manuel Ilg University of Stuttgart

Dr. -Ing. Manuel Hirsch 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)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)First Steps Toward a Cryptography-Aware Language and Compiler., , , and . IACR Cryptology ePrint Archive, (2005)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)Using Compilers to Enhance Cryptographic Product Development., , , , , , , and . ISSE, page 291-301. Vieweg+Teubner, (2009)Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols., , , , , and . ACM Conference on Computer and Communications Security, page 488-500. ACM, (2012)