default search action

combined dblp search
author search
venue search
publication search

ask others

José Bacelar Almeida

José Carlos Bacelar Almeida

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2011
[b1]
- view
  authority control:
- export record
  dblp key:
  - series/utcs/AlmeidaFPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/utcs/AlmeidaFPS11
José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa:
Rigorous Software Development - An Introduction to Program Verification. Undergraduate Topics in Computer Science, Springer 2011, ISBN 978-0-85729-017-5, pp. I-XII, 1-263

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tches/AlmeidaBBGLL00Q23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tches/AlmeidaBBGLL00Q23
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub:
Formally verifying Kyber Episode IV: Implementation correctness. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2023(3): 164-193 (2023)
2022
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/AlmeidaBBPPP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/AlmeidaBBPPP22
José Carlos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela:
A formal treatment of the role of verified compilers in secure computation. J. Log. Algebraic Methods Program. 125: 100736 (2022)
2018
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/AlmeidaCM0P18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/AlmeidaCM0P18
José Bacelar Almeida, Alcino Cunha, Nuno Macedo, Hugo Pacheco, José Proença:
Teaching how to program using automated assessment and functional glossy games (experience report). Proc. ACM Program. Lang. 2(ICFP): 82:1-82:17 (2018)
2016
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jfrea/RamosAMQ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfrea/RamosAMQ16
Marcus Vinícius Midena Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Ruy José Guerra Barretto de Queiroz:
Formalization of the pumping lemma for context-free languages. J. Formaliz. Reason. 9(2): 53-68 (2016)
2014
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AlmeidaBFPV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AlmeidaBFPV14
José Bacelar Almeida, Manuel Barbosa, Jean-Christophe Filliâtre, Jorge Sousa Pinto, Bárbara Vieira:
CAOVerif: An open-source deductive verification platform for cryptographic software implementations. Sci. Comput. Program. 91: 216-233 (2014)
2013
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AlmeidaBPV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AlmeidaBPV13
José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira:
Formal verification of side-channel countermeasures using self-composition. Sci. Comput. Program. 78(7): 796-812 (2013)
2010
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/AlmeidaBPV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/AlmeidaBPV10
José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira:
Deductive verification of cryptographic software. Innov. Syst. Softw. Eng. 6(3): 203-218 (2010)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/crypto/AlmeidaOBBDGLLLOPQSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crypto/AlmeidaOBBDGLLLOPQSS24
José Bacelar Almeida, Santiago Arranz Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub:
Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt. CRYPTO (2) 2024: 384-421
2022
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/GriloCFAM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/GriloCFAM22
Miguel Grilo, João Campos, João F. Ferreira, José Bacelar Almeida, Alexandra Mendes:
Verified Password Generation from Password Composition Policies. IFM 2022: 271-288
2021
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/AlmeidaBCEG0P21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/AlmeidaBCEG0P21
José Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira:
Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. CCS 2021: 2587-2600
2020
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/indocrypt/AlmeidaBBL020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indocrypt/AlmeidaBBL020
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Vincent Laporte, Tiago Oliveira:
Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification. INDOCRYPT 2020: 107-127
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/AlmeidaBBGKL0S20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/AlmeidaBBGKL0S20
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub:
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations. SP 2020: 965-982
2019
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/AlmeidaBBCCGPPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/AlmeidaBBCCGPPS19
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran:
A Machine-Checked Proof of Security for AWS Key Management Service. CCS 2019: 63-78
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/AlmeidaBBBDGL0S19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/AlmeidaBBBDGL0S19
José Bacelar Almeida, Cécile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Alley Stoughton, Pierre-Yves Strub:
Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3. CCS 2019: 1607-1622
2018
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/AlmeidaBB0PP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/AlmeidaBB0PP18
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela:
Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks. CSF 2018: 132-146
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RamosAMQ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RamosAMQ19
Marcus V. M. Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Ruy J. G. B. de Queiroz:
Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages. LSFA 2018: 151-167
2017
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/AlmeidaBBBGLOPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/AlmeidaBBBGLOPS17
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub:
Jasmin: High-Assurance and High-Speed Cryptography. CCS 2017: 1807-1823
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/AlmeidaBBDGLP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/AlmeidaBBDGLP17
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Vitor Pereira:
A Fast and Verified Software Stack for Secure Function Evaluation. CCS 2017: 1989-2006
2016
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fse/AlmeidaBBD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fse/AlmeidaBBD16
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir:
Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC. FSE 2016: 163-184
[c12]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uss/AlmeidaBBDE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/AlmeidaBBDE16
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Michael Emmi:
Verifying Constant-Time Implementations. USENIX Security Symposium 2016: 53-70
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/RamosQMA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/RamosQMA16
Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida:
On the Formalization of Some Results of Context-Free Language Theory. WoLLIC 2016: 338-357
2013
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/AlmeidaBBD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/AlmeidaBBD13
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir:
Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations. CCS 2013: 1217-1230
2012
[c9]
- 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
2010
[c8]
- 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
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/AlmeidaMPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/AlmeidaMPS10
José Bacelar Almeida, Nelma Moreira, David Pereira, Simão Melo de Sousa:
Partial Derivative Automata Formalized in Coq. CIAA 2010: 59-68
2009
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/AlmeidaBPV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/AlmeidaBPV09
José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira:
Verifying Cryptographic Software Correctness with Respect to Reference Implementations. FMICS 2009: 37-52
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/nfm/BarbosaAPV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BarbosaAPV09
Manuel Barbosa, José Bacelar Almeida, Jorge Sousa Pinto, Bárbara Vieira:
Deductive Verification of Cryptographic Software. NASA Formal Methods 2009: 146-155
2007
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlmeidaPV08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlmeidaPV08a
José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça:
A Tool for Programming with Interaction Nets. RULE@RDP 2007: 83-96
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlmeidaPV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlmeidaPV08
José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça:
Token-passing Nets for Functional Languages. WRS@RDP 2007: 181-198
2006
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlmeidaPV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlmeidaPV07
José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça:
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories. TERMGRAPH@ETAPS 2006: 139-163
2004
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/wdag/AlmeidaAB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/AlmeidaAB04
José Bacelar Almeida, Paulo Sérgio Almeida, Carlos Baquero:
Bounded Version Vectors. DISC 2004: 102-116

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i20]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AlmeidaOBBDGLLLOPQSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AlmeidaOBBDGLLLOPQSS24
José Bacelar Almeida, Santiago Arranz Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub:
Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt. IACR Cryptol. ePrint Arch. 2024: 843 (2024)
2023
[i19]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AlmeidaBBGLLOPQSSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AlmeidaBBGLLOPQSSS23
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub:
Formally verifying Kyber Part I: Implementation Correctness. IACR Cryptol. ePrint Arch. 2023: 215 (2023)
[i18]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AlmeidaFOU23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AlmeidaFOU23
José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh:
Leakage-Free Probabilistic Jasmin Programs. IACR Cryptol. ePrint Arch. 2023: 1514 (2023)
2021
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-05516
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-05516
José Carlos Bacelar Almeida, Manuel Barbosa, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira:
Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. CoRR abs/2104.05516 (2021)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-03626
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-03626
Miguel Grilo, João F. Ferreira, José Bacelar Almeida:
Towards Formal Verification of Password Generation Algorithms used in Password Managers. CoRR abs/2106.03626 (2021)
[i15]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AlmeidaBCEGPP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AlmeidaBCEGPP21
José Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira:
Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. IACR Cryptol. ePrint Arch. 2021: 1149 (2021)
2019
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-04606
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-04606
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub:
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations. CoRR abs/1904.04606 (2019)
[i13]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AlmeidaBBCCGPPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AlmeidaBBCCGPPS19
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran:
A Machine-Checked Proof of Security for AWS Key Management Service. IACR Cryptol. ePrint Arch. 2019: 1042 (2019)
[i12]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AlmeidaBBBDGLOS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AlmeidaBBBDGLOS19
José Bacelar Almeida, Cécile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Alley Stoughton, Pierre-Yves Strub:
Machine-Checked Proofs for Cryptographic Standards. IACR Cryptol. ePrint Arch. 2019: 1155 (2019)
2018
[i11]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AlmeidaBBPPP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AlmeidaBBPPP18
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela:
Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks. IACR Cryptol. ePrint Arch. 2018: 404 (2018)
2017
[i10]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AlmeidaBBDGLP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AlmeidaBBDGLP17
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Vitor Pereira:
A Fast and Verified Software Stack for Secure Function Evaluation. IACR Cryptol. ePrint Arch. 2017: 821 (2017)
2016
[i9]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/AlmeidaBPP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/AlmeidaBPP16
José Bacelar Almeida, Manuel Barbosa, Hugo Pacheco, Vitor Pereira:
A Tool-Chain for High-Assurance Cryptographic Software. ERCIM News 2016(106) (2016)
2015
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/RamosQMA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RamosQMA15
Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida:
Formalization of the pumping lemma for context-free languages. CoRR abs/1510.04748 (2015)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/RamosQMA15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RamosQMA15a
Marcus V. M. Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida:
Formalization of context-free language theory. CoRR abs/1510.09092 (2015)
[i6]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AlmeidaBBD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AlmeidaBBD15
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir:
Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC. IACR Cryptol. ePrint Arch. 2015: 1241 (2015)
2014
[i5]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AlmeidaBBDDGS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AlmeidaBBDDGS14
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Guillaume Davy, François Dupressoir, Benjamin Grégoire, Pierre-Yves Strub:
Verified Implementations for Secure and Verifiable Computation. IACR Cryptol. ePrint Arch. 2014: 456 (2014)
2013
[i4]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AlmeidaBBD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AlmeidaBBD13
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir:
Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations. IACR Cryptol. ePrint Arch. 2013: 316 (2013)
2012
[i3]
- 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
[i2]
- 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)
2008
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0802-3881
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0802-3881
José Bacelar Almeida, Jorge Sousa Pinto:
Deriving Sorting Algorithms. CoRR abs/0802.3881 (2008)

Coauthor Index

see FAQ

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.