Ambiente institucional
Lattes Poli
Marcos Antonio Simplicio Junior
Engenharia de Computação e Sistemas Digitais
Nasceu em Itapeva-SP, Brasil (1983). Possui graduação em Engenharia Elétrica (2006), com Ênfase em Computação, pela Escola Politécnica da Universidade de São Paulo (Poli-USP). Possui o título de Master of Science (2006) pela Ecole Centrale Paris (França, 2006) e de Mestre (2008), Doutor (2010) e Livre Docente (2017) em Engenharia Elétrica/Sistemas Digitais, pela Poli-USP. É atualmente Professor Titular e pesquisador…
Ler biografia completa
Nasceu em Itapeva-SP, Brasil (1983). Possui graduação em Engenharia Elétrica (2006), com Ênfase em Computação, pela Escola Politécnica da Universidade de São Paulo (Poli-USP). Possui o título de Master of Science (2006) pela Ecole Centrale Paris (França, 2006) e de Mestre (2008), Doutor (2010) e Livre Docente (2017) em Engenharia Elétrica/Sistemas Digitais, pela Poli-USP. É atualmente Professor Titular e pesquisador junto ao Departamento de Engenharia de Computação e Sistemas Digitais da Escola Politecnica da Universidade de São Paulo, e vice-coordenador da Comissão Especial em Segurança da Informação e de Sistemas Computacionais da Sociedade Brasileira de Computação (CESeg-SBC). Atua em projetos relacionados a criptografia e cibersegurança desde 2007, cobrindo aspectos como projeto e análise de primitivas e protocolos criptográficos e de sistemas de segurança em geral. Nesse período, coordenou e participou de diversos projetos financiados tanto pela iniciativa privada (e.g., Ericsson, LG, HPE, Intel, Ripple e Bradesco) quanto por órgãos governamentais e agências de fomento (e.g., TSE, CNPq e FAPESP). Tais projetos concentraram-se em uma variedade de cenários, como: votação eletrônica, redes veiculares, computação em nuvem, redes peer-to-peer (P2P), saúde móvel, armazenamento seguro de senhas, transações bancárias, blockchain, e Internet das Coisas. Os resultados se traduziram em mais de uma centena de publicações na área de segurança, incluindo artigos de destaque na academia, patentes nacionais e internacionais, e contribuições para normas e padrões internacionais.
A foto exibida e a do cadastro institucional USP (cartao/WSFoto). Biografia e producoes academicas sao extraidas do Curriculo Lattes (CNPq).
6874544707185541
Estatisticas do docente
Abrir dashboard completoProducao por ano
Nuvem de palavras
Artigos (42)
| Ano | Titulo | Periodico | DOI |
|---|---|---|---|
| 2026 | Lightweight, practical encrypted face recognition with GPU support | Journal of Information Security and Applications | 10.1016/j.jisa.2026.104615 |
| 2026 | DeepSeek under Attack: an Analysis of Jailbreak Attacks and Prompt-Level Defenses | IEEE Access | 10.1109/access.2026.3710427 |
| 2026 | Cibersegurança frente aos riscos da transição quântica, da inteligência artificial, e de aspectos humanos | Computação Brasil | 10.5753/compbr.2026.55.7498 |
| 2026 | SchoCo: Schnorr signature concatenation for extensible tokens | Journal of Information Security and Applications | 10.1016/j.jisa.2025.104327 |
| 2025 | Tailorable codes for lattice-based KEMs with applications to compact ML-KEM instantiations | IACR Transactions on Cryptographic Hardware and Embedded Systems | 10.46586/tches.v2025.i3.139-163 |
| 2025 | Carbono 21: Promoting Forestation Through Asset Tokenization | IEEE Access | 10.1109/ACCESS.2025.3621142 |
| 2025 | Faster amortized bootstrapping using the incomplete NTT for free | IACR Transactions on Cryptographic Hardware and Embedded Systems | 10.46586/tches.v2025.i4.520-543 |
| 2025 | Benchmarking the security protocol and data model (SPDM) for component authentication | International Journal of Information Security | 10.1007/s10207-025-01034-y |
| 2025 | Testing the limits of SPDM: Authentication of intermittently connected devices | COMPUTERS & SECURITY | 10.1016/j.cose.2024.104142 |
| 2024 | Amazon Biobank: Assessing the Implementation of a Blockchain-based Genomic Database | IEEE Access | 10.1109/ACCESS.2024.3354716 |
| 2023 | Faster verification of V2X basic safety messages via Message Chaining | Vehicular Communications | 10.1016/j.vehcom.2023.100662 |
| 2023 | Amazon Biobank: a collaborative genetic database for bioeconomy development | Functional & Integrative Genomics | 10.1007/s10142-023-01015-1 |
| 2021 | Revocation in Vehicular Public Key Infrastructures: Balancing privacy and efficiency | Vehicular Communications | 10.1016/j.vehcom.2020.100309 |
| 2020 | uACPC: Client-Initiated Privacy-Preserving Activation Codes for Pseudonym Certificates Model | SAE International Journal of Transportation Cybersecurity and Privacy | 10.4271/11-03-01-0004 |
| 2020 | Schnorr-based implicit certification: improving the security and efficiency of vehicular communications | IEEE TRANSACTIONS ON COMPUTERS | 10.1109/TC.2020.2988637 |
| 2020 | Privacy-Preserving Certificate Linkage/Revocation in VANETs Without Linkage Authorities | IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS | 10.1109/TITS.2020.2981907 |
| 2020 | Fast Additive Partially Homomorphic Encryption from the Approximate Common Divisor problem | IEEE Transactions on Information Forensics and Security | 10.1109/TIFS.2020.2981239 |
| 2018 | Faster key compression for isogeny-based cryptosystems | IEEE TRANSACTIONS ON COMPUTERS | 10.1109/tc.2018.2878829 |
| 2018 | ACPC: Efficient revocation of pseudonym certificates using activation codes | Ad Hoc Networks | 10.1016/j.adhoc.2018.07.007 |
| 2018 | A framework for enabling security services collaboration across multiple domains | COMPUTERS & ELECTRICAL ENGINEERING | 10.1016/j.compeleceng.2018.02.026 |
| 2017 | Protocolo Seguro Baseado em Moeda Eletrônica para Troca de Cartas em Jogos de Cartas Colecionáveis P2P (A Secure Protocol for Exchanging Cards in P2P Trading Card Games Based on Transferable E-Cash) | IEEE Latin America Transactions | |
| 2016 | A Secure Protocol for Exchanging Cards in P2P Trading Card Games Based on Transferable e-cash | Enigma - Brazilian Journal of Information Security and Cryptography | |
| 2016 | Energy-efficient node position identification through payoff matrix and variability analysis | TELECOMMUNICATION SYSTEMS | 10.1007/s11235-016-0245-4 |
| 2016 | Georeferenced and Secure Mobile Health System for Large Scale Data Collection in Primary Care | International Journal of Medical Informatics | 10.1016/j.ijmedinf.2016.06.013 |
| 2016 | Lightweight and escrow-less authenticated key agreement for the internet of things | Computer Communications | 10.1016/j.comcom.2016.05.002 |
| 2016 | Lyra2: efficient password hashing with high security against time-memory trade-offs | IEEE Transactions on Computers (Print) | 10.1109/tc.2016.2516011 |
| 2015 | OCP: A protocol for secure communication in federated content networks | Computer Communications | 10.1016/j.comcom.2015.07.026 |
| 2014 | SecourHealth: a delay-tolerant security framework for mobile health data collection | IEEE Journal of Biomedical and Health Informatics | 10.1109/JBHI.2014.2320444 |
| 2014 | SecureTCG: a lightweight cheating-detection protocol for P2P multiplayer online trading card games | Security and Communication Networks | 10.1002/sec.952 |
| 2014 | Lyra: password-based key derivation with tunable memory and processing costs | JOURNAL OF CRYPTOGRAPHIC ENGINEERING | 10.1007/s13389-013-0063-5 |
Exibindo 30 de 42 registros mais recentes.
Trabalhos em eventos (99)
| Ano | Titulo | Evento |
|---|---|---|
| 2026 | Red Teaming an Industrial Maintenance Chatbot using PAIR and nanoGCG | Simpósio Brasileiro de Cibersegurança (SBSeg) |
| 2026 | Avaliação de Cobertura de SAST e LLM em Plataformas de Blockchain Permissionada para Supply Chain Automotiva com base no OWASP | Simpósio Brasileiro de Cibersegurança (SBSeg) |
| 2026 | Carbono 21: Mecanismos de Transparência e Auditoria de Blockchains Permissionadas Aplicados à Promoção de Florestamento por Tokenização de Ativos | Simpósio Brasileiro de Cibersegurança (SBSeg) |
| 2026 | Transmissão de Dados do Eleitor via Múltiplos QR Codes para Mobilidade em Votações | Simpósio Brasileiro de Cibersegurança (SBSeg) |
| 2026 | Evaluating the Robustness of Small Language Models in Portuguese under Red Teaming with Linguistic Perturbations | Simpósio Brasileiro de Cibersegurança (SBSeg) |
| 2026 | Comparative Analysis of Red-Teaming Activities on LLMs Using GCG, DeGCG, AutoDAN, and ReNeLLM Against LLMs | Advanced Information Networking and Applications (AINA) |
| 2026 | MoVChain: ESG Traceability Platform for the Automotive Supply Chain | Advanced Information Networking and Applications (AINA) |
| 2026 | Intelligent Monitoring in ECC for Industry 4.0 | Advanced Information Networking and Applications (AINA) |
| 2026 | Static Detection of Compromised Java Components by Topological Anomalies | EICC 2026 |
| 2025 | Carbono 21: Promoting Forestation Through Digital Assets | Anais Estendidos do Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos |
| 2025 | Between Generation and Judgment: A Cloud-Native Framework for Adversarial Evaluation of LLM Alignment | 2025 lEEE International Conference on Cloud Computing Technology and Science (CloudCom) |
| 2025 | Container Orchestration Impact on SPIFFE Identity Artifacts: A Performance Analysis of Docker vs Kubernetes | 2025 lEEE International Conference on Cloud Computing Technology and Science (CloudCom) |
| 2025 | Introducing two ROS attack variants: breaking one-more unforgeability of BZ blind signatures | Simpósio Brasileiro de Cibersegurança |
| 2025 | How to Implement Anywhere Voting: A Case Study of Brazil | The International Conference for Electronic Voting Electronic. |
| 2025 | Proteção em hardware com Security Protocol and Data Model | Simpósio Brasileiro de Cibersegurança (SBSeg) |
| 2025 | MiniMoni: Combining HLS with Payword | Simpósio Brasileiro de Cibersegurança (SBSeg) |
| 2025 | Building a Labeled Smart Contract Dataset for Evaluating Vulnerability Detection Tools? Effectiveness | Simpósio Brasileiro de Cibersegurança (SBSeg) |
| 2025 | Como Implementar Mobilidade na Votação em Eleições Brasileiras | Simpósio Brasileiro de Cibersegurança (SBSeg) |
| 2025 | Mecanismos de Transparência e Auditoria de Blockchains Permissionadas | Simpósio Brasileiro de Cibersegurança (SBSeg) |
| 2025 | E2Easy: a simple lattice-based In-Person End-to-End voting scheme | Financial Cryptography and Data Security (FC 2025) International Workshops |
| 2025 | Incompleteness in Number-Theoretic Transforms: New Tradeoffs and Faster Lattice-Based Cryptographic Applications | 2025 IEEE 10th European Symposium on Security and Privacy (EuroS&P) |
| 2025 | Next Generation SPIFFE/SPIRE Identity-Management Systems with Post-Quantum Cryptography Algorithms | 25th IEEE international Symposium on Cluster, Cloud and Internet Computing (CCGrid'25) |
| 2024 | Lightweight SPIFFE Verifiable Identity Document (LSVID): A Nested Token Approach for Enhanced Security and Flexibility in SPIFFE | 2024 IEEE International Conference on Cloud Computing Technology and Science (CloudCom) |
| 2024 | Aplicação da Técnica Fuzzing em Testes da Implementação de Referência do SPDM | XXIV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg) |
| 2024 | Auditable messages with hash chain in instant messaging apps | Concurso de Teses e Dissertações - XXIV Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg) |
| 2024 | Amazon Biobank: a Blockchain-based Genomic Database for Bioeconomy | Concurso de Teses e Dissertações - XXIV Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg) |
| 2024 | Comparative Analysis of Permissioned Blockchains: Cosmos, Hyperledger Fabric, Quorum, and XRPL | IEEE Cybermatics Congress |
| 2024 | Is Benaloh Challenge Suitable for Polling Station Elections? | International Joint Conference on Electronic Voting (E-Vote-ID) |
| 2024 | SPDM-WiD: Uma Ferramenta para Inspeção de Pacotes do Security Protocol Data Model (SPDM) | Anais Estendidos do Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos |
| 2024 | Amazon Biobank: a Blockchain-based Genomic Database for Bioeconomy (Dissertação) | XX Simpósio Brasileiro de Sistemas de Informação |
Exibindo 30 de 99 registros mais recentes.
Livros (2)
| Ano | Titulo | Editora |
|---|---|---|
| 2024 | Computação Brasil - Edição especial: Referenciais de Formação em CiberSegurança (DOI: 10.5753/compbr.2024.52) | Sociedade Brasileira de Computação |
| 2023 | Referenciais de Formação para o Curso de Bacharelado em CiberSegurança - DOI 10.5753/sbc.ref.2023.125 | Sociedade Brasileira de Computação |
Capitulos (14)
| Ano | Capitulo | Livro |
|---|---|---|
| 2024 | Ambientes de Computação Segura | Minicursos do XXIV Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais |
| 2024 | Ferramentas de Jailbreaking para Grandes Modelos de Línguas - Aprendizado de Máquina no Contexto Adversário | Minicursos do XXIV Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais |
| 2023 | Proteção de Sistemas Biométricos | Minicursos do XXIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais |
| 2023 | Sistemas de Votação Fim-a-Fim: Teoria e Prática | Minicursos do XXIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais |
| 2022 | Dados digitais: ciclo, padronização, qualidade, compartilhamento e segurança | Agricultura digital - 2° Edição |
| 2022 | Digital Data: Cycle, Standardization, Quality, Sharing, and Security | Digital Agriculture |
| 2020 | Dados digitais: ciclo, padronização, qualidade, compartilhamento e segurança | Agricultura Digital |
| 2019 | Análise de mecanismos para consenso distribuído aplicados a Blockchain | Minicursos do XIX Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais |
| 2017 | Mecanismos de Autenticação e Autorização para Nuvens Computacionais: Definição, Classificação e Análise de Soluções | Livro de Minicursos - SBRC 2017 |
| 2015 | Applying Software-defined Networks to Cloud Computing | Minicursos do XXXIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos ? SBRC 2015 |
| 2014 | Iniciativas de Saúde Móvel no Brasil | Pesquisa sobre o uso das tecnologias de informação e comunicação nos estabelecimentos de saúde brasileiros |
| 2014 | Análise de Segurança para Soluções de Computação em Nuvem | Minicursos: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2014) |
| 2014 | DMZ Científica: Desafios e modelos de gerenciamento de aplicações de alto volume de dados no contexto de e-ciência | Minicursos: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2014) |
| 2009 | Seguranca em Redes de Sensores sem Fio | Minicursos: SBSEG 2009 / IX Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais |
Projetos (44)
| Inicio | Nome | Situacao |
|---|---|---|
| 2025 | Criptografia pós-quântica: segurança de longo prazo para sistemas bancários | EM_ANDAMENTO |
| 2024 | Plataforma de Tokenização para o Setor Imobiliário | CONCLUIDO |
| 2024 | Cibersegurança para sistemas inteligentes: Aprendizado de máquina e IA gerativa adversariais | EM_ANDAMENTO |
| 2023 | Agile Post-Quantum Cryptography with protection against Side Channel Attacks (PQC/SCA) | EM_ANDAMENTO |
| 2022 | SMART NEtworks and ServiceS for 2030 (SMARTNESS) | EM_ANDAMENTO |
| 2022 | Carbon 21: promoting reforestation with the power of tokenization | CONCLUIDO |
| 2022 | Polichain - Grupo de extensão para estudo de Blockchain na Escola Politécnica da USP | EM_ANDAMENTO |
| 2022 | Venturing into the Metaverse: applications underlying technical, economical and legal aspects | CONCLUIDO |
| 2021 | Plataforma IASMIN: A Evolução da Indústria Brasileira para o Padrão 4.0 | EM_ANDAMENTO |
| 2021 | USP Coin | CONCLUIDO |
| 2021 | Centro de Pesquisa e Inovação de Gases de Efeito Estufa - RCG2I | EM_ANDAMENTO |
| 2021 | Eleições do Futuro: Melhorias para o Sistema de Votação Eletrônica Brasileiro | EM_ANDAMENTO |
| 2021 | Referenciais de formação para Cursos Emergentes Cibersegurança | CONCLUIDO |
| 2021 | Segurança com confiança-zero: algoritmos, protocolos e arquiteturas | CONCLUIDO |
| 2021 | Pesquisa e Inovação em Tecnologias Emergentes da Informação | EM_ANDAMENTO |
| 2021 | Gerenciamento seguro de identidades federadas: aprimorando e estendendo a arquitetura SPIFFE | CONCLUIDO |
| 2021 | Blockchain, Cryptocurrencies Decentralized Technologies | EM_ANDAMENTO |
| 2021 | Teste Público de Segurança (TPS) do Sistema Eletrônico de Votação | EM_ANDAMENTO |
| 2020 | Análise e implementação de referência do Protocolo e Modelo de Dados para Segurança (SPDM) | CONCLUIDO |
| 2020 | Protecting software supply-chains via (semi)automatic detection of built-in malicious code | CONCLUIDO |
| 2019 | Viabilidade da tecnologia DLT (Distributed Ledger Technology) no ecossistema de saúde do estado de São Paulo | CONCLUIDO |
| 2019 | Amazon Biobank: Blockchain as an enabling technology for the Amazon 4.0 | CONCLUIDO |
| 2019 | USP Blockchain Research Initiative (UBRI) | EM_ANDAMENTO |
| 2018 | Criptografia pós-quântica eficiente para a construção de serviços avançados de segurança | CONCLUIDO |
| 2017 | Key Management for vehicular communications | CONCLUIDO |
| 2017 | Development and Analysis of Post-quantum Cryptosystems and Their Applications | CONCLUIDO |
| 2016 | Efficient Post-Quantum Cryptography for Building Security Applications | CONCLUIDO |
| 2015 | Desenvolvendo Internet das Coisas sobre Redes de Sensores Sem Fio Seguras e Flexíveis | CONCLUIDO |
| 2015 | Padrão de Defesa de Rede em Sistemas de Computação em Nuvem | CONCLUIDO |
| 2014 | Segurança e confiabilidade da informação: teoria e prática | CONCLUIDO |
Exibindo 30 de 44 registros mais recentes.
Orientacoes (194)
| Ano | Nivel | Titulo | Orientando |
|---|---|---|---|
| 2026 | iniciacao_cientifica | Otimização de mecanismos de micropagamento em fluxo usando blockchains | Yuri Jordao |
| 2026 | iniciacao_cientifica | USP Iconomy - plataforma de educação comunitária baseada na circulação do UAIFAI Token | Vinício Mendes Roberto |
| 2026 | iniciacao_cientifica | USP Iconomy - plataforma de educação comunitária baseada na circulação do UAIFAI Token | Paolla Cardoso Queiroz |
| 2026 | pos_doutorado | Maurício Aronne Pillon | |
| 2026 | iniciacao_cientifica | Soluções para suporte a mobilidade em sistemas de votação eletrônica | Carolina Borzino Rocha |
| 2026 | iniciacao_cientifica | Criptografia pós-quântica aplicada ao setor financeiro: ambiente mobile | João Francisco Caprioli Barbosa Camargo de Pinho |
| 2026 | iniciacao_cientifica | Testando a segurança da urna eletrônica brasileira: uma abordagem baseada em análise sistemática de código | Dan Kiyochi Shoji |
| 2026 | iniciacao_cientifica | Logs transparentes para auditabilidade de resultados eleitorais no Brasil: usabilidade e interfaces de comunicação | Claudio Lucio Cunha da Silva |
| 2026 | iniciacao_cientifica | Análise de segurança das urnas eletrônicas brasileiras: hardware e software | Matheus Tavares de Andrade |
| 2026 | mestrado | SmartOven: Construindo uma Base de Contratos Inteligentes Rotulados para Avaliar Ferramentas de Detecção de Vulnerabilidades | Ryan Weege Achjian |
| 2025 | iniciacao_cientifica | Análise de segurança de sistemas eleitorais: Flash attacks | Victor Grandolfo Mendes |
| 2025 | iniciacao_cientifica | Micropagamentos em fluxo eficientes via plugin de navegador web | Henrique Mantovan Carvalho |
| 2025 | iniciacao_cientifica | Everlasting Privacy nas Eleições Brasileiras | Dimitri Daniel Allan Leskow |
| 2025 | iniciacao_cientifica | NanoMoni: Otimização de micropagamentos em fluxo com Árvores de Merkle | Pedro Sousa Goularte |
| 2025 | pos_doutorado | João Paulo Aragão Pereira | |
| 2025 | doutorado | Técnicas de proteção para Sistemas de Inteligência Artificial em cenário adversarial | Pedro Henrique Barcha Correia |
| 2025 | mestrado | Propostas de otimização para protocolos criptográficos de micropagamentos | Otavio Vacari Martins |
| 2025 | mestrado | Segurança em sistemas eleitorais: mecanismos de sigilo do registro do voto | Pedro Henrique Florio Mendes |
| 2025 | iniciacao_cientifica | Logs transparentes para auditabilidade de resultados eleitorais no Brasil: além do simples registro | Luiz Felipe Mol Santos |
| 2025 | iniciacao_cientifica | Análise de segurança de sistemas eleitorais: Living off the land SIS | Gavril Patrick Louis Loyer |
| 2025 | tcc | Luis Enrique del Llano Risco | Luis Enrique del Llano Risco |
| 2025 | tcc | Implementação e avaliação de uma solução criptográfica para mobilidade segura em eleições brasileiras | Jonas Gomes de Morais |
| 2025 | tcc | Projeto de hardware para violação de boot seguro via multiplexação de BIOS: um estudo de caso com ATM | Matheus Tavares de Andrade |
| 2025 | iniciacao_cientifica | Logs transparentes para auditabilidade de resultados eleitorais no Brasil: desempenho e escalabilidade | Gabriel Kusumota Nadalin |
| 2025 | pos_doutorado | Victor Takashi Hayashi | |
| 2024 | iniciacao_cientifica | Mecanismos criptográficos para habilitar mobilidade em eleições ( | Bruno Matheus Foschiani Ricardo |
| 2024 | iniciacao_cientifica | AI-BlueTeam: sistemas especialistas multi-agentes para separação de deveres em sistemas de Inteligência Artificial sob cenário adversarial | Ygor Acacio Maria |
| 2024 | iniciacao_cientifica | Contratos inteligentes para tokenização de registros de imóveis em blockchain federado | Ana Luiza Lasta Kodama |
| 2024 | pos_doutorado | Etienne Américo Cartolano Júnior | |
| 2024 | mestrado | Inicialização Segura com SPDM em Firmware UEFI | Agatha de Freitas |
Exibindo 30 de 194 registros mais recentes.
Bancas (249)
| Ano | Tipo | Titulo |
|---|---|---|
| 2026 | qualificacao | Enhancing Flexibility in Brazilian Elections: Anywhere Voting and Internet Voting |
| 2026 | mestrado | PQMap: Identification and Mapping of Post-Quantum-Relevant Cryptographic Functions in Binaries |
| 2026 | mestrado | SmartOven: Construindo uma Base de Contratos Inteligentes Rotulados para Avaliar Ferramentas de Detecção de Vulnerabilidades |
| 2025 | graduacao | Implementação e avaliação de uma solução criptográfica para mobilidade segura em eleições brasileiras |
| 2025 | graduacao | Implementação e avaliação de uma solução criptográfica para mobilidade segura em eleições brasileiras |
| 2025 | graduacao | Projeto de hardware para violação de boot seguro via multiplexação de BIOS: um estudo de caso com ATM |
| 2025 | graduacao | Redesign of a MicroMouse robot: hardware, software, and control integration for intelligent navigation |
| 2025 | qualificacao | Inicialização Segura com SPDM em Firmware UEFI |
| 2025 | qualificacao | Autenticação de firmware: Avaliação de desempenho do SPDM |
| 2025 | qualificacao | Compact Credentials with Cryptographic Security and Traceability for Federated Environments |
| 2025 | qualificacao | SmartOven: Baking a Labeled Smart Contract Dataset for Evaluating Vulnerability Detection Tools Effectiveness |
| 2025 | mestrado | Integrating Post-Quantum Hybrid Schemes into Next-Generation TPMs (Integrando Esquemas Híbridos Pós-Quânticos em TPMs de Próxima Geração) |
| 2024 | graduacao | Desenvolvimento de um robô de alto desempenho para a categoria MicroMouse |
| 2024 | graduacao | Desenvolvimento de um robô de alto desempenho para a categoria MicroMouse |
| 2024 | graduacao | Negação plausível em sequestros relâmpagos: implementação de um ambiente de pânico em aplicativos bancários |
| 2024 | graduacao | MiniMoni: sistema de micro pagamentos em tempo real |
| 2024 | qualificacao | Blockchain Applications in the Brazilian Electricity Sector: an analysis of suitability, challenges and opportunities currently faced |
| 2024 | qualificacao | Execution frequency analysis: a heuristic to detect trigger-based malicious code |
| 2024 | qualificacao | Improving source code security: a novel approach using spectrum of prompts and automated state machine |
| 2024 | qualificacao | Avaliação do Tempo de Correção de Vulnerabilidades de Segurança em Distribuições Linux |
Exibindo 20 de 249 registros mais recentes.
Formacao (6)
| Nivel | Curso | Instituicao | Conclusao |
|---|---|---|---|
| pos_doutorado | Escola Politécnica da USP | 2011 | |
| doutorado | Engenharia Elétrica | Universidade de São Paulo | 2010 |
| mestrado | Engenharia Elétrica | Universidade de São Paulo | 2008 |
| mestrado | Engenharia/Ingénierie | Ecole Centrale Paris | 2006 |
| graduacao | Engenharia Elétrica - Enfase Computação | Escola Politécnica da USP | 2006 |
| livre_docencia | Universidade de São Paulo |
Areas de atuacao (4)
| Grande area | Area | Subarea |
|---|---|---|
| ENGENHARIAS | Engenharia Elétrica | COMPUTAÇÃO E SISTEMAS DIGITAIS |
| ENGENHARIAS | Engenharia Elétrica | Redes de Computadores |
| ENGENHARIAS | Engenharia Elétrica | Redes de Computadores |
| CIENCIAS_EXATAS_E_DA_TERRA | Ciência da Computação | Metodologia e Técnicas da Computação |