Bernardo Machado David

Formação complementar

Idiomas

Áreas de atuação

Orientou

Produções bibliográficas

• DAVID, BERNARDO ; DOWSLEY, RAFAEL ; VAN DE GRAAF, JEROEN ; MARQUES, DAVIDSON ; NASCIMENTO, ANDERSON C. A. ; PINTO, ADRIANA C. B. . Unconditionally Secure, Universally Composable Privacy Preserving Linear Algebra. IEEE Transactions on Information Forensics and Security , v. 11, p. 59-73, 2016.

• ABE, MASAYUKI ; CHASE, MELISSA ; DAVID, BERNARDO ; KOHLWEISS, MARKULF ; NISHIMAKI, RYO ; OHKUBO, MIYAKO . Constant-Size Structure-Preserving Signatures: Generic Constructions and Simple Assumptions. Journal of Cryptology (Internet) , v. 29, p. 833-878, 2015.

• DAVID, B. M. ; Anderson C. A. Nascimento ; Timoteo de Sousa, Rafael . Efficient Fully Simulatable Oblivious Transfer From The McEliece Assumptions. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science , v. 11, p. 2059-2066, 2012.

• Peotta, Laerte ; Holtz, Marcelo D. ; DAVID, B. M. ; Deus, Flavio G. ; Timoteo de Sousa, Rafael . A Formal Classification of Internet Banking Attacks and Vulnerabilities. International Journal of Computer Science and Information Technology (Print) , v. 3, p. 186-197, 2011.

• DAVID, B. M. ; da Cosa, J. P. C. L. ; Anderson C. A. Nascimento ; Holtz, Marcelo D. ; Amaral, D. ; Sousa Jr., R. T. . A Parallel Approach to PCA Based Malicious Activity Detection in Distributed Honeypot Data. The International Journal of Forensic Computer Science (Impresso) , v. 6, p. 8-27, 2011.

• Holtz, Marcelo D. ; DAVID, B. M. ; Sousa Jr., R. T. . Building Scalable Distributed Intrusion Detection Systems Based on the MapReduce Framework. Telecomunicações (Santa Rita do Sapucaí) , v. 13, p. 22-31, 2011.

• DAVID, B. M. ; Santana, B. ; Peotta, L. ; Holtz, M. D. ; Sousa Jr., R. T. . A Context-Dependent Trust Model for the MAC Layer in LR-WPANs. International Journal on Computer Science and Engineering , v. 2, p. 3007-3016, 2010.

• Carsten Baum ; Bernardo David ; Rafael Dowsley . Insured MPC: Efficient Secure Multiparty Computation with Punishable Abort. In: Financial Crypto, 2020. Financial Crypto 2020, 2020.

• Ignacio Cascudo ; Bernardo David . ALBATROSS: publicly AttestabLe BATched Randomness based On Secret Sharing. In: Asiacrypt, 2020. Asiacrypt 2020, 2020.

• Bernardo David ; Rafael Dowsley ; Mario Larangeira . Royale: A Framework for Universally Composable Card Game with Financial Rewards and Penalties Enforcement. In: Financial Crypto, 2019. Financial Crypto 2019, 2019.

• Ignacio Cascudo ; Ivan Damgrd ; Bernardo David ; Rafael Dowsley ; Nico Döttling ; Irene Giacomelli . Efficient UC Commitment Extension with Homomorphism for Free (and Applications). In: Asiacrypt, 2019. Asiacrypt 2019, 2019.

• Bernardo David ; Rafael Dowsley ; Mario Larangeira . Bringing Down the Complexity. Fast Composable Protocols for Card Games Without Secret State. In: ACISP, 2018. ACISP 2018, 2018.

• Bernardo David ; Rafael Dowsley ; Mario Larangeira . Kaleidoscope: An Efficient Poker Protocol with Payment Distribution and Penalty Enforcement. In: Financial Cryptography, 2018. Financial Cryptography 2018, 2018.

• Bernardo David ; Peter Gazi ; Aggelos Kiayias ; Alexander Russel . Ouroboros Praos: An Adaptively-Secure, Semi-synchronous Proof-of-Stake Blockchain. In: Eurocrypt, 2018. Eurocrypt 2018, 2018.

• Bernardo David ; Rafael Dowsley ; Mario Larangeira . MARS: Monetized Ad-hoc Routing System (A Position Paper). In: ACM MobiSys ? CryBlock, 2018. ACM MobiSys ? CryBlock 2018, 2018.

• Bernardo David ; Ignacio Cascudo . SCRAPE: Scalable Randomness Attested by Public Entities. In: ACNS, 2017. ACNS 2017, 2017.

• Aggelos Kiayias ; Alexander Russel ; Bernardo David ; Roman Oliynykov . Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol. In: Crypto 2017, 2017. Crypto 2017, 2017.

• Ignacio Cascudo ; Ivan Damgrd ; Bernardo David ; Nico Döttling ; Jesper Buus Nielsen . Rate-1, Linear Time and Additively Homomorphic UC Commitments. In: Crypto, 2016. Crypto 2016, 2016.

• Ignacio Cascudo ; Bernardo David ; Ivan Damgrd ; Irene Giacomelli ; Jesper Buus Nielsen ; Roberto Trifiletti . Additively Homomorphic UC Commitments with Optimal Amortized Overhead. In: Public-Key Cryptography -- PKC 2015, 2015. 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedings, 2015. v. 8020. p. 495-515.

• Bernardo Machado David ; Ryo Nishimaki ; Samuel Ranellucci ; Alain Tapp . Generalizing Efficient Multiparty Computation. In: ICITS, 2015. 8th International Conference, ICITS 2015, Lugano, Switzerland, May 2-5, 2015. Proceedings, 2015. v. 9063. p. 15-32.

• Bernardo David ; Rafael Dowsley ; Raj Katti ; Anderson C. A. Nascimento . Efficient Unconditionally Secure Comparison and Privacy Preserving Machine Learning Classification Protocols. In: Provsec, 2015. ProvSec 2015. Lecture Notes in Computer Science, vol 9451., 2015.

• Bernardo David ; Rafael Dowsley ; Anderson C. A. Nascimento . Universally Composable Oblivious Transfer Based on a Variant of LPN. In: CANS, 2014, Heraklion. Cryptology and Network Security, 2014.

• Ivan Damgrd ; Bernardo David ; Irene Giacomelli ; Jesper Buus Nielsen . Compact VSS and Efficient Homomorphic UC Commitments. In: Asiacrypt, 2014, Kaohsiung. Advances in Cryptology ? ASIACRYPT 2014, 2014.

• ABE, M. ; Bernardo David ; KOHLWEISS, M. ; NISHIMAKI, R. ; OHKUBO, M. . Tagged One-Time Signatures: Tight Security and Optimal Tag Size. In: PKC, 2013, Nara. Public-Key Cryptography ? PKC 2013, 2013.

• PINTO, A. C. B. ; DAVID, B. M. ; Anderson C. A. Nascimento ; GRAAF, J. V. d. . Universally Composable Committed Oblivious Transfer With A Trusted Initializer. In: XII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2012, Curitiba. Anais do XII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2012. p. 126-139.

• DAVID, B. M. ; da Cosa, J. P. C. L. ; Amaral, D. ; Rafael Timóteo de Sousa Júnior ; FREITAS, E. P. ; SERRANO, A. M. R. . Improved Blind Automatic Malicious Activity Detection in Honeypot Data. In: THE SEVENTH INTERNATIONAL CONFERENCE ON FORENSIC COMPUTER SCIENCE (ICoFCS 2012), 2012, Brasília. PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON FORENSIC COMPUTER SCIENCE (ICoFCS 2012), 2012.

• ABE, M. ; CHASE, M. ; DAVID, B. M. ; KOHLWEISS, M. ; NISHIMAKI, R. ; OHKUBO, M. . Constant-Size Structure-Preserving Signatures: Generic Constructions and Simple Assumptions. In: Asiacrypt, 2012, Beijing. Proceedings of The 18th Annual International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT 2012), 2012.

• DAVID, B. M. ; Anderson C. A. Nascimento ; QUELHO, R. T. M. ; Rafael Timóteo de Sousa Júnior . A framework for secure single sign-on. In: XII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais - Workshop de Gestão de Identidades Digitais, 2012, Curitiba. Minicursos do SBSeg, 2012. p. 543-554.

• DAVID, B. M. ; Anderson C. A. Nascimento ; MULLER-QUADE, J. . Universally Composable Oblivious Transfer from Lossy Encryption and the McEliece Assumptions. In: Information Theoretic Security - 6th International Conference, ICITS 2012, 2012, Montreal. Information Theoretic Security - 6th International Conference, ICITS 2012, Montreal, QC, Canada, August 15-17, 2012. Proceedings, 2012. v. 7412. p. 80-99.

• DAVID, B. M. ; da Cosa, J. P. C. L. ; Anderson C. A. Nascimento ; Holtz, M. D. ; Amaral, D. ; Sousa Jr., R. T. . Blind Automatic Malicious Activity Detection in Honeypot Data. In: The Sixth International Conference on Forensic Computer Science, 2011. Proceeding of the Sixth International Conference on Forensic Computer Science ? ICoFCS 2011. Brasília: Associacao Brasileira De Especialistas Em Alta Tecnologia (ABEAT), 2011. p. 142-152.

• DAVID, B. M. ; Anderson C. A. Nascimento . Efficient fully simulatable oblivious transfer from the McEliece assumptions. In: IEEE Information Theory Workshop (ITW), 2011, Paraty. Information Theory Workshop (ITW), 2011 IEEE, 2011. p. 638-642.

• QUELHO, R. T. M. ; DAVID, B. M. ; Alves, V. M. . Universally Composable Private Proximity Testing. In: 5th international conference on Provable security, 2011. ProvSec'11 Proceedings of the 5th international conference on Provable security. Heidelberg: Springer-Verlag Berlin, 2011. p. 222-239.

• DAVID, B. M. ; QUELHO, R. T. M. ; Anderson C. A. Nascimento . Obtaining Efficient Fully Simulatable Oblivious Transfer from General Assumptions. In: XI Simposio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2011, Brasília. Anais do XI Simposio Brasileiro de Segurança da Informação e de Sistemas Computacionais. Porto Alegre: Sociedade Brasileira de Computacao, 2011. p. 108-121.

• Holtz, M. D. ; DAVID, B. M. ; Sousa Jr., R. T. . An architecture for distributed Network Intrusion Detection based on the Map-Reduce Framework. In: International Workshop on Telecommunications, 2011, Rio de Janeiro. Proceedings of The Internation Workshop on Telecommunications - IWT 2011. Santa Rita do Sapucaí: Instituto Nacional de Telecomunicações - INATEL:, 2011. p. 106-110.

• DAVID, B. M. ; Anderson C. A. Nascimento ; Rodrigo Nogueira . Oblivious Transfer Based on the McEliece Assumptions with Unconditional Security for the Sender. In: SBSEG, 2010, Fortaleza. Anais do Simpósio Brasileiro de Segurança da Informação 2010, 2010.

• DAVID, B. M. ; Sousa Jr., R. T. . A Bayesian Trust Model for the MAC Layer in IEEE 802.15.4 Networks. In: Information and Telecommunication Technologies Symposium, 2010, Rio de Janeiro. Proceedings of The 9th Information and Telecommunication Technologies Symposium, 2010. p. 105-111.

Outras produções

Projetos de pesquisa

• 2020 - 2020

  Private Smart Contract p blockchain, Descrição: O objetivo desse projeto é otimizar e implementar técnicas de computação segura de múltiplas partes com aplicação a sistemas de smart contracts com dados privados. Foi desenvolvido um protótipo que demonstra a eficiência dessas técnicas, além de novas otimizações para os protocolos envolvidos.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Bernardo Machado David - Coordenador / Tore Frederiksen - Integrante / Carsten Baum - Integrante., Financiador(es): InfinIT - Auxílio financeiro.

• 2020 - Atual

  PUMA: Publicly Verifiable Multiparty Computation and Applications, Descrição: O objetivo desse projeto é desenvolver protocolos para computação segura de múltiplas partes com propriedades de verificação pública, possibilitando que qualquer auditor possa verificar que um certo resultado foi obtido através de computação segura sem revelar as entradas privadas desta computação.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Bernardo Machado David - Coordenador / Ravikishore Vasala - Integrante., Financiador(es): Independent Research Fund Denmark - Auxílio financeiro.

• 2019 - 2020

  S2LEGDES: Secret Single Leader Election on the Edge of Speed, Descrição: O obejtivo desse projeto foi desenvolver novas técnicas para geração de aleatoriedade e eleição de comitês em protocolos de blockchain. Durante o projeto foram desenvolvidos protocolos eficientes de geração de aleatoriedade compatíveis com métodos de eleição de comitês.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Bernardo Machado David - Coordenador., Financiador(es): Protocol Labs - Auxílio financeiro.

• 2019 - Atual

  Scalable Proof-of-Stake Blockchain Consensus Protocols, Descrição: O objetivo desse projeto é desenvolver protocolos de consenso para blockchain escaláveis através de técnicas de sharding. Também é investigada a compatibilidade desses protocolos com mecanismos de Proof-of-Stake e privacidade.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Bernardo Machado David - Coordenador., Financiador(es): Concordium Foundation - Auxílio financeiro.Número de orientações: 1

• 2019 - Atual

  Transaction Anonymity and Accountability in Cryptocurrencies, Descrição: O objetivo desse projeto é desenvolver protocolos para criptomoedas com privacidade e mecanismos de auditoria, possibilitando que a privacidade de transações seja revogada por autoridades públicas caso necessário para investigações.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Bernardo Machado David - Coordenador., Financiador(es): Independent Research Fund Denmark - Auxílio financeiro.Número de orientações: 1

• 2018 - 2019

  Efficient Provably Secure Blockchain Protocols and Applications, Descrição: Esse projeto teve como objetivo a definição formal e prova de propriedades de segurança para protocolos de blockchain. Durante o projeto foi desenvolvido o primeiro protocolo de blockchain baseado em Proof-of-Stake com segurança adaptativa em redes semi-síncronas. Também foram desenvolvidos os primeiros protocolos com segurança no Universal Composability framework para jogos de carta de múltiplas partes com recompensas e punições financeiras automáticas.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Bernardo Machado David - Coordenador., Financiador(es): Japanese Society for the Promotion of Science - Auxílio financeiro.

• 2012 - 2014

  Physical Unclonable Functions for SoC Devices, Descrição: We propose the study of Physical Unclonable Functions as an alternative to computationally hard problems commonly used as basis for cryptographic protocols. PUFs are functions uniquely determined by the very physical properties of a given electronic device, meaning that they can?t be cloned since the exact physical structures of a device can?t be recreated. In this project, we propose to develop specific protocols for user authentication and key exchange based on PUFs. Such protocols are of great importance for e-banking, e-commerce and secure transactions applications, which are rapidly expanding markets in Brazil.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Bernardo Machado David - Integrante / Anderson Clayton Alves do Nascimento - Coordenador / José Edil Guimarães - Integrante / Diego Freitas Aranha - Integrante., Financiador(es): Intel University Research Organization - Cooperação.

• 2012 - 2013

  Desenvolvimento e demonstração de Tecnologias de Smart Grid para Integração em Sistemas de Rede e Telecomunicações, Descrição: Atualmente no Brasil a Resolução Normativa N 469 da ANEEL, de 13 de Dezembro de 2011, que modificou os Procedimentos de Distribuição ? PRODIST, institui uma série de indicadores da qualidade do serviço de distribuição de energia elétrica. Tais indicadores podem ser obtidos a partir de um sistema de smart grid, orientando as operadoras de forma a melhora o serviço quanto provendo dados necessários para fiscalização e regulação do mercado. O projeto proposto tem como objetivo instalar uma pequena infraestrutura piloto de smart grid para demonstração e estudo de viabilidade de tecnologias atuais. Além disso, o projeto visa a desenvolver um protótipo de equipamento de medição de SG capaz de coletar dados sobre consumo de energia e disponibilidade do serviço em domicílios e instalações de consumidores. Através deste objetivos, espera-se obter um melhor entendimento sobre as tecnologias de SG comercialmente disponíveis, bem como dar um primeiro passo em direção ao desenvolvimento de tecnologia nacional para este tipo de sistema. A primeira fase deste projeto consiste na análise de tecnologias de smart grid comercialmente disponíveis, de forma a se instalar uma infraestrutura piloto e se desenvolver um protótipo de sistema para interação de usuários com o sistema de SG, a partir do qual usuários podem verificar seu consumo e comprar energia. A presente proposta também visa a estudar opções de tecnologias disponíveis para smart grids e desenvolver um protótipo nacional de um equipamento para medição de consumo e indicadores para consumidores finais que se integre a sistemas SG. Este equipamento de medição deve coletar dados sobre consumo e disponibilidade do serviço de distribuição de energia e enviá-lo para uma central agregadora de dados a partir de uma rede de comunicação específica. Para este propósito serão avaliadas diversas tecnologias de rede e de medição, de forma a determinar a combinação de tecnologia com melhor relação custo/benefício para o cenário brasileir. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Bernardo Machado David - Integrante / Anderson Clayton Alves do Nascimento - Coordenador / Marcelo Dias Holtz - Integrante / Anésio de Leles Ferreira Filho - Integrante.

• 2010 - 2011

  Projeto LATITUDE, Descrição: O LATITUDE visa a implementar um laboraótorio para estudo de técnicas de tomada de decisão utilizando tecnologio de clusters de processamento e banco de dados. Neste laboratório serão realizados experimentos com diversos softwares de apoio a tomada de decisão verificando sua adequação a diversos cenários relacionados a gerência de tecnologia da informação e órgãos de gestão pública... , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (15) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Bernardo Machado David - Coordenador / Rafael Timóteo de Sousa Júnior - Integrante., Financiador(es): Dell Computadores do Brasil - Bolsa.

• 2010 - 2011

  Integração de Serviços, Processos de Gestão e Sistemas de TI aos Processos de BI da SPU, com base em Análise e Modelagem, Descrição: Este projeto visa a integrar os Serviços, Processos de Gestão e Sistemas de TI aos Processos de BI da SPU, com base em Análise e Modelagem utilizando técnicas de Business Process Modeling, ETL e governança de Tecnologia da Informação visando a otimizar os processos de negócio e a tomada de decisão na SPU/MP.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (2) . , Integrantes: Bernardo Machado David - Integrante / Rafael Timóteo de Sousa Júnior - Coordenador., Financiador(es): Ministério do Planejamento, Orçamento e Gestão - Bolsa.

Projetos de desenvolvimento

• 2011 - Atual

  Pesquisa aplicada para prototipagem de módulo autenticador utilizando o Registro de Identificação Civil (RIC), Projeto certificado pela empresa IPETIC em 14/09/2012., Descrição: O novo Registro de Identificação Civil (RIC) a ser introduzido no Brasil provê uma série de benefícios e mecanismos para a indentificação de cidadãos através de um smart card. Este cartão inteligente contém mecanismos criptográficos de chave pública e secreta que permitem a assinatura de documentos e cifração de dados. Utilizando estes mecanismos, este projeto visa a criar um protótipo de um módulo autenticador baseado no RIC através de técnicas criptográficas, envolvendo o desenvolvimento de protocolos criptográficos e de projeto de circuitos para implementação física do módulo. O módulo de autenticaçãpo final permite a um usuário provar que sua identidade é válida através da internet com altas garantias de segurança tanto para o usuário quanto para quem verificar sua identidade.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) . , Integrantes: Bernardo Machado David - Coordenador / Roberto Mascarenhas Braga - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2011 - 2013

  Pesquisa aplicada para prototipagem de módulo autenticador utilizando o Registro de Identificação Civil (RIC), Projeto certificado pela empresa IPETIC em 14/09/2012., Descrição: O novo Registro de Identificação Civil (RIC) a ser introduzido no Brasil provê uma série de benefícios e mecanismos para a indentificação de cidadãos através de um smart card. Este cartão inteligente contém mecanismos criptográficos de chave pública e secreta que permitem a assinatura de documentos e cifração de dados. Utilizando estes mecanismos, este projeto visa a criar um protótipo de um módulo autenticador baseado no RIC através de técnicas criptográficas, envolvendo o desenvolvimento de protocolos criptográficos e de projeto de circuitos para implementação física do módulo. O módulo de autenticaçãpo final permite a um usuário provar que sua identidade é válida através da internet com altas garantias de segurança tanto para o usuário quanto para quem verificar sua identidade.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) . , Integrantes: Bernardo Machado David - Integrante / Roberto Mascarenhas Braga - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2011 - 2013

  Pesquisa aplicada para prototipagem de módulo autenticador utilizando o Registro de Identificação Civil (RIC), Projeto certificado pela empresa IPETIC em 14/09/2012., Descrição: O novo Registro de Identificação Civil (RIC) a ser introduzido no Brasil provê uma série de benefícios e mecanismos para a indentificação de cidadãos através de um smart card. Este cartão inteligente contém mecanismos criptográficos de chave pública e secreta que permitem a assinatura de documentos e cifração de dados. Utilizando estes mecanismos, este projeto visa a criar um protótipo de um módulo autenticador baseado no RIC através de técnicas criptográficas, envolvendo o desenvolvimento de protocolos criptográficos e de projeto de circuitos para implementação física do módulo. O módulo de autenticaçãpo final permite a um usuário provar que sua identidade é válida através da internet com altas garantias de segurança tanto para o usuário quanto para quem verificar sua identidade.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) . , Integrantes: Bernardo Machado David - Integrante / Roberto Mascarenhas Braga - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

Prêmios