Manuel Barbosa

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Endre Bangerter

> Home > Persons > Manuel Barbosa

Publications

2012
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/AlmeidaBBBKB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/AlmeidaBBBKB12
José Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella Béguelin:
Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols. CCS 2012: 488-500
[i13]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AlmeidaBBBKB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AlmeidaBBBKB12
José Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella Béguelin:
Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols. IACR Cryptol. ePrint Arch. 2012: 258 (2012)
2010
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/AlmeidaBBKSS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/AlmeidaBBKSS10
José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider:
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. ESORICS 2010: 151-167
[i8]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AlmeidaBBKS010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AlmeidaBBKS010
José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider:
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. IACR Cryptol. ePrint Arch. 2010: 339 (2010)
2009
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/isse/BangerterBBDPPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isse/BangerterBBDPPS09
Endre Bangerter, Manuel Barbosa, Daniel J. Bernstein, Ivan Damgård, Daniel Page, Jakob Illeborg Pagter, Ahmad-Reza Sadeghi, Sampo Sovio:
Using Compilers to Enhance Cryptographic Product Development. ISSE 2009: 291-301

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.