Conference paper |
- Silva, AC; Barbosa, M; Florido, M. "Execution Time Program Verification with Tight Bounds". 2023.
10.1007/978-3-031-24841-2_4
- Barbosa, M; Cirne, A; Esquível, L. "Rogue key and impersonation attacks on FIDO2: From theory to practice". 2023.
10.1145/3600160.3600174
- Barbosa, M; Dupressoir, F; Grégoire, B; Hülsing, A; Meijers, M; Strub, PY. "Machine-Checked Security for rmXMSS as in RFC
8391 and $\mathrm {SPHINCS^{+}} $". 2023.
- Barbosa, M; Barthe, G; Doczkal, C; Don, J; Fehr, S; Grégoire, B; Huang, YH; et al. "Fixing and Mechanizing the Security Proof
of Fiat-Shamir with Aborts and Dilithium". 2022.
10.1007/978-3-031-38554-4_12
- Barbosa, M; Barthe, G; Fan, X; Grégoire, B; Hung, SH; Katz, J; Strub, PY; Wu, X; Zhou, L. "EasyPQC: Verifying Post-Quantum
Cryptography". Paper presented in ACM SIGSAC Conference on Computer and Communications Security - CCS, 2021.
10.1145/3460120.3484567
- Almeida, JB; Barbosa, M; Correia, ML; Eldefrawy, K; Lengrand, SG; Pacheco, H; Pereira, V. "Machine-checked ZKP for NP relations:
Formally Verified Security Proofs and Implementations of MPC-in-the-Head". Paper presented in ACM SIGSAC Conference on
Computer and Communications Security - CCS, 2021.
10.1145/3460120.3484771
- Barbosa, M; Barthe, G; Grégoire, B; Koutsos, A; Strub, PY. "Mechanized Proofs of Adversarial Complexity and Application to
Universal Composability". Paper presented in ACM SIGSAC Conference on Computer and Communications Security - CCS, 2021.
10.1145/3460120.3484548
- Abdalla, M; Barbosa, M; Katz, J; Loss, J; Xu, J. "Algebraic Adversaries in the Universal Composability Framework". Paper presented
in ASIACRYPT, 2021.
10.1007/978-3-030-92078-4_11
- Pontes, R; Portela, B; Barbosa, M; Vilaca, R. "CODBS: A cascading oblivious search protocol optimized for real-world relational
database indexes". Paper presented in SRDS, 2021.
10.1109/srds53918.2021.00026
- Barbosa, M; Ferreira, B; Marques, J; Portela, B; Preguica, N. "Secure Conflict-free Replicated Data Types". Paper presented
in ICDCN, 2021.
10.1145/3427796.3427831
- Barbosa, M; Barthe, G; Bhargavan, K; Blanchet, B; Cremers, C; Liao, K; Parno, B. "SoK: Computer-Aided Cryptography". Paper
presented in IEEE Symposium on Security and Privacy, 2021.
- Barbosa, M; Boldyreva, A; Chen, S; Warinschi, B. "Provable Security Analysis of FIDO2". Paper presented in CRYPTO,
2021.
10.1007/978-3-030-84252-9_5
- Almeida, JB; Barbosa, M; Barthe, G; Grégoire, B; Koutsos, A; Laporte, V; Oliveira, T; Strub, PY. "The Last Mile: High-Assurance
and High-Speed Cryptographic Implementations". Paper presented in IEEE Symposium on Security and Privacy, 2020.
10.1109/sp40000.2020.00028
- Abdalla, M; Barbosa, M; Bradley, T; Jarecki, S; Katz, J; Xu, JY. "Universally Composable Relaxed Password Authenticated Key
Exchange". Paper presented in CRYPTO, 2020.
10.1007/978-3-030-56784-2_10
- Almeida, JB; Barbosa, M; Barthe, G; Laporte, V; Oliveira, T. "Certified Compilation for Cryptography: Extended x86 Instructions
and Constant-Time Verification". Paper presented in INDOCRYPT, 2020.
10.1007/978-3-030-65277-7_6
- Barbosa, M; Catalano, D; Soleimanian, A; Warinschi, B. "Efficient Function-Hiding Functional Encryption: From Inner-Products
to Orthogonality". Paper presented in RSA Conference Cryptographers Track, 2019.
10.1007/978-3-030-12612-4_7
- Almeida, JB; Barbosa, M; Barthe, G; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; et al. "A Machine-Checked Proof of Security
for AWS Key Management Service". Paper presented in ACM SIGSAC Conference on Computer and Communications Security - CCS,
2019.
10.1145/3319535.3354228
- Almeida, JB; Baritel Ruet, C; Barbosa, M; Barthe, G; Dupressoir, F; Gregoire, B; Laporte, V; et al. "Machine-Checked Proofs
for Cryptographic Standards Indifferentiability of SPONGE and Secure High-Assurance Implementations of SHA-3". Paper presented
in ACM SIGSAC Conference on Computer and Communications Security - CCS, 2019.
10.1145/3319535.3363211
- Barbosa, M; Farshim, P. "Indifferentiable Authenticated Encryption". Paper presented in Advances in Cryptology CRYPTO,
2018.
10.1007/978-3-319-96884-1_7
- Almeida, JB; Barbosa, M; Barthe, G; Pacheco, H; Pereira, V; Portela, B. "Enforcing ideal-world leakage bounds in real-world
secret sharing MPC frameworks". Paper presented in Computer Security Foundations (CSF), 2018.
10.1109/csf.2018.00017
- Barbosa, M; Catalano, D; Fiore, D. "Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced
Data". Paper presented in European Symposium on Research in Computer Security, 2017.
10.1007/978-3-319-66402-6_10
- Bahmani, R; Barbosa, M; Brasser, F; Portela, B; Sadeghi, AR; Scerri, G; Warinschi, B. "Secure Multiparty Computation from
SGX". Paper presented in Financial Cryptography, 2017.
10.1007/978-3-319-70972-7_27
- Almeida, JB; Barbosa, M; Barthe, G; Blot, A; Grégoire, B; Laporte, V; Oliveira, T; et al. "Jasmin: High-Assurance and High-Speed
Cryptography". Paper presented in ACM Computer and Communications Security, 2017.
10.1145/3133956.3134078
- Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles; Dupressoir, François; Grégoire, Benjamin; Laporte, Vincent; Pereira,
Vitor. "A Fast and Verified Software Stack for Secure Function Evaluation". Paper presented in ACM SIGSAC Conference on
Computer and Communications Security - CCS, 2017.
10.1145/3133956.3134017
- Arriaga, A; Barbosa, M; Farshim, P. "Private Functional Encryption: Indistinguishability-Based Definitions and Constructions
from Obfuscation". Paper presented in INDOCRYPT, 2016.
10.1007/978-3-319-49890-4_13
- Almeida, JB; Barbosa, M; Barthe, G; Dupressoir, F; Emmi, M. "Verifying Constant-Time Implementations". Paper presented in
USENIX Security, 2016.
- Barbosa, Manuel; Portela, Bernardo; Scerri, Guillaume; Warinschi, Bogdan. "Foundations of Hardware-Based Attested Computation
and Application to SGX". Paper presented in IEEE European Symposium on Security and Privacy (EuroS&P), 2016.
10.1109/eurosp.2016.28
- Almeida, JB; Barbosa, M; Barthe, G; Dupressoir, F. "Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time
MEE-CBC". Paper presented in Fast Software Encryption, 2016.
10.1007/978-3-662-52993-5_9
- Michael Backes; Manuel Barbosa; Dario Fiore; Raphael M. Reischuk. "ADSNARK: Nearly Practical and Privacy-Preserving Proofs
on Authenticated Data". Paper presented in IEEE Symposium on Security and Privacy, 2015.
10.1109/sp.2015.24
- Barbosa, M; Farshim, P. "The Related-Key Analysis of Feistel Constructions". Paper presented in Fast Software Encryption,
2015.
10.1007/978-3-662-46706-0_14
- Barbosa, M; Castro, D; Silva, PF. "Compiling CAO: From cryptographic specifications to C implementations". Paper presented
in Principles of Security and Trust, 2014.
10.1007/978-3-642-54792-8_13
- Almeida, JB; Barbosa, M; Barthe, G; Dupressoir, F. "Certified computer-aided cryptography: Efficient provably secure machine
code from high-level implementations". Paper presented in ACM Computer and Communications Security, 2013.
10.1145/2508859.2516652
- Alwen, J; Barbosa, M; Farshim, P; Gennaro, R; Gordon, SD; Tessaro, S; Wilson, DA. "On the relationship between functional
encryption, obfuscation, and fully homomorphic encryption". Paper presented in IMA Cryptography and Coding, 2013.
10.1007/978-3-642-45239-0-5
- Barbosa, M.; Farshim, P.. "On the semantic security of functional encryption schemes". Paper presented in Public Key Cryptography,
2013.
10.1007/978-3-642-36362-7_10
- Barbosa, M.; Pinto, A.; Gomes, B.. "Generically extending anonymization algorithms to deal with successive queries". Paper
presented in Conference on Information and Knowledge Management,, 2012.
10.1145/2396761.2398440
- Arriaga, A.; Barbosa, M.; Farshim, P.. "On the joint security of signature and encryption schemes under randomness reuse:
Efficiency and security amplification". Paper presented in Applied Cryptography and Network Security, 2012.
10.1007/978-3-642-31284-7_13
- Barbosa, M.; Moss, A.; Page, D.; Rodrigues, N.F.; Silva, P.F.. "Type checking cryptography implementations". Paper presented
in Fundamentals of Software Engineering, 2012.
10.1007/978-3-642-29320-7_21
- Almeida, J.B.; Barbosa, M.; Bangerter, E.; Barthe, G.; Krenn, S.; Béguelin, S.Z.. "Full proof cryptography: Verifiable compilation
of efficient zero-knowledge protocols". Paper presented in ACM Computer and Communications Security (CCS), 2012.
10.1145/2382196.2382249
- Brumley, B.B.; Barbosa, M.; Page, D.; Vercauteren, F.. "Practical realisation and elimination of an ECC-related software bug
attack". Paper presented in RSA Conference Cryptographers Track, 2012.
10.1007/978-3-642-27954-6_11
- Barbosa, M.; Farshim, P.. "Delegatable homomorphic encryption with applications to secure outsourcing of computation". Paper
presented in RSA Conference Cryptographers Track, 2012.
10.1007/978-3-642-27954-6_19
- Barbosa, M.; Farshim, P.. "Strong knowledge extractors for public-key encryption schemes". Paper presented in Australasian
Conference on Information Security and Privacy, 2010.
10.1007/978-3-642-14081-5_11
- Barbosa, M.; Farshim, P.. "Relations among notions of complete non-malleability: Indistinguishability characterisation and
efficient construction without random oracles". Paper presented in Australasian Conference on Information Security and
Privacy, 2010.
10.1007/978-3-642-14081-5_10
- Almeida, J.B.; Bangerter, E.; Barbosa, M.; Krenn, S.; Sadeghi, A.-R.; Schneider, T.. "A certifying compiler for zero-knowledge
proofs of knowledge based on Sigma-protocols". Paper presented in European Symposium on Research in Computer Security,
2010.
10.1007/978-3-642-15497-3_10
- Almeida, J.B.; Barbosa, M.; Sousa Pinto, J.; Vieira, B.. "Verifying cryptographic software correctness with respect to reference
implementations". Paper presented in Formal Methods for Industrial Critical Systems, 2009.
10.1007/978-3-642-04570-7_5
- Barbosa, M.; Farshim, P.. "Security analysis of standard authentication and key agreement protocols utilising timestamps".
Paper presented in Africacrypt, 2009.
10.1007/978-3-642-02384-2_15
- Barbosa, M.; Farshim, P.. "Certificateless signcryption". Paper presented in ACM Symposium on Information, Computer and
Communications Security, ASIACCS, 2008.
10.1145/1368310.1368364
- Barbosa, M.; Brouard, T.; Cauchie, S.; De Sousa, S.M.. "Secure biometric authentication with improved accuracy". Paper presented
in Australasian Conference on Information Security and Privacy, 2008.
10.1007/978-3-540-70500-0-3
- Barbosa, M.; Farshim, P.. "Randomness reuse: Extensions and improvements". Paper presented in IMA Cryptography and Coding,
2007.
10.1007/978-3-540-77272-9_16
- Barbosa, M.; Moss, A.; Page, D.. "Compiler assisted elliptic curve cryptography". Paper presented in On the Move to Meaningful
Internet Systems, 2007.
10.1007/978-3-540-76843-2_46
- Barbosa, M; Farshim, P. "Secure cryptographic workflow in the standard model". Paper presented in INDOCRYPT, 2006.
10.1007/11941378_27
- Barbosa, M.; Page, D.. "On the automatic construction of indistinguishable operations". Paper presented in Cryptography
and Coding, 2005.
10.1007/11586821_16
- Barbosa, M.; Farshim, P.. "Efficient identity-based key encapsulation to multiple parties". Paper presented in Cryptography
and Coding, 2005.
10.1007/11586821_28
- Barbosa, Manuel B.M.; da Silva Carvalho, Adriano; Farsi, Mohammed. "CANopen I/O module: Simple and efficient system integration".
Paper presented in Annual Conference of the IEEE Industrial Electronics Society (IECON), 1998.
|