Marcos Antonio Simplicio Junior.

O Grupo de Estudos de Blockchain da Escola Politécnica da USP, (Polichain), anteriormente chamado de Nabla, foi fundado no final do ano de 2021 por alunos da graduação com o objetivo de aprofundar os estudo em Blockchain. Uma das principais motivações foi a falta de clareza entre os termos utilizados tanto pela mídia quanto pelo mercado. Por isso, decidimos que o grupo seria grupo de estudos.Desde o começo, o grupo conta com grande apoio da UBRI (University Blockchain Research Initiative), que nos permitiu ter contato com projetos em blockchain dentro da USP.Dentre as atividades realizadas pelo grupo, podemos destacar as seguintes:Hackathons: Nestes eventos de programação intensiva, participantes têm 56 horas para criar um protótipo funcional, passando pelas fases de ideia, produto e código. Definitivamente é o momento onde o grupo fica mais ativo.Eventos: Incluem sessões de perguntas e respostas com especialistas (AMA), introduções a conceitos tecnológicos (1.01) e workshops práticos (hands-on). Além disso, a também participamos de eventos realizados pela comunidade, como meet-ups voltados para o universo cripto. Esses eventos muitas vezes são organizado pelo Polichain, pode ser considerado como uma atividade corriqueira do grupo.

O projeto tem por objetivo identificar soluções e melhores práticas de migração para criptografia pós-quântica dentro do contexto bancário, considerando o processo de padronização de algoritmos criptográficos pós-quânticos em andamento. Isso envolve propostas de otimização do ponto de vista teórico e também prático, com a identificação e melhoria de bibliotecas criptográficas existentes. O projeto deve resultar em provas de conceito que possam ser utilizadas pela empresa parceira para melhorar a segurança de seus mecanismos criptográficos (e.g., para segurança de aplicações).

O projeto se insere no contexto de Adversarial Machine Learning (AML), buscando identificar ameaças e soluções de segurança capazes de prevenir a exploração maliciosa de sistemas inteligentes de forma geral. O alvo inicial dos estudos propostos são sistemas gerativos e suas variantes, em particular Modelos de Linguagem de Larga Escala (Large Language Models - LLMs) e o modelo Transformers. De natureza exploratória, o projeto envolve a investigação de ameaças e soluções de segurança em sistemas inteligentes de forma geral, com o objetivo de construir mecanismos inovadores para uma ampla variedade de ataques por agentes maliciosos por exemplo, que buscam respostas e ações indevidas induzidas com comandos inseridos, em ataques conhecidos como "prompt injection".

O objetivo do plano de trabalho é a construção de uma prova de conceito capaz de demonstrar os potenciais benefícios de técnicas de digitalização de ativos no contexto imobiliário, usando tecnologias modernas de tokenização como Blockchain e Livros-Razão Distribuídos (Distributed Ledger Technology DLT). Tal iniciativa apresenta grande sinergia com projetos de grande porte sendo desenvolvidos pelo Banco Central do Brasil, em especial aqueles que fazem parte da sua moeda digital em desenvolvimento, o Drex. De fato, transações com imóveis são consideradas pelo próprio Banco Central uma das categorias de aplicação da DLT que tem maior apelo para a população, justamente por ajudar a resolver o problema da transferência de propriedades de valor elevado, como um imóvel ou um automóvel um problema com o qual cada um de nós normalmente se depara ao menos uma vez.

This project aims to contribute with the construction of a security architecture that uses lattice-based cryptography (in particular, CRYSTALS-Kyber and CRYSTALS-Dilithium). while promoting: high performance of those schemes and their underlying finite-field and polynomial ring operations, e.g., by evaluating (and preferably, improving) state-of-the-art implementations of Number Theoretic Transform (NTT), Discrete Galois Transform (DGT), Residue Number System (RNS) arithmetic, possibly taking advantage of parallelism in multicore processors; countermeasures against side-channel attacks; crypto-agility by design, e.g., by supporting negotiation of algorithms with different requirements in terms of memory usage and size of their corresponding inputs/outputs. The project is the result of a partnership with LGE-USA

This initiative is the result of an international partnership between the Universidade de São Paulo (USP) and the United States of Mars, USM (formally known as Radio Caca, RACA). The goal is to foment scientific research involving applications and technical, economic and legal aspects in the Metaverse. Examples of such metaverse-centric research include 3D modeling, psychology and human behavior, the effectiveness of virtual and augmented reality devices. As part of this partnership, USP received a Non-Fungible Token (NFT) that gives access to a rare land inside the Metaverse being built by the USM with multiple universities around the world, the USM Metaverse. The partnership was initially established with the University Blockchain Research Initiative (UBRI https://sites.usp.br/ubri/), which is sponsored by Ripple (https://ripple.com/). However, it is expected to involve different groups and institutions inside USP, including its Engineering School (Escola Politécnica - EP), School of Economics, Business Administration and Accountancy (Faculdade de Economia, Administração, Contabilidade - FEA), Law School, the City of Knowledge and LabArteMídia groups from Communications and Arts School (Escola de Comunicações e Artes - ECA), Faculty of Philosophy, Languages and Literature, and Human Sciences (Faculdade de Filosofia, Letras e Ciências Humanas - FFLCH), Institute of Advanced Studies (Instituto de Estudos Avançados - IEA), Institute of Psychology (IP), Research Center on Architecture and Urbanism Technology (Núcleo de Pesquisa em Tecnologia da Arquitetura e Urbanismo - NUTAU), People Museum (Museu da Pessoa), and Games for Change Latin America.

The Carbon21 initiative builds upon tokenization technologies for encouraging reforestation and forest preservation. Whereas traditional reforestation efforts were mainly volunteer-based, our goal is to build a reliable and transparent platform capable of turning trees into profitable digital assets. Essentially, the project allows landowners to register (part of) their lands into the platform, dedicating them for the purposes of planting and preserving trees in that are, and then receiving a non-fungible token (NFT) in return. Those landowners can then benefit from Environmental Compensation Laws: anyone who needs to compensate some environmental impact by planting trees could purchase the rights to do so in the tokenized area. The result is a marketplace that facilitates the matchmaking between people/companies needing to perform ecological compensation, and the NFT owners who can provide the area for that purpose. In addition, forested lands registered in the platform periodically generate C21, digital coins minted for the NFT's owner, in an amount that is proportional to the forested area. As any cryptocurrency, C21 are expected to be exchanged among users, as well as traded for goods and services in the real world. Liquidity of C21 can be promoted via partnerships with entities from the private and public sectors who see the value of reforestation-backed tokens, e.g., as part of their Environmental, Social and Governance (ESG) policies. The partnership could involve discounts/cashbacks for clients when the payment method is C21, which creates a win-win scenario: while companies can promote their brands with an ESG-conscientious initiative, the fees generated in such transactions benefit all users of the CARBON 21 platform. The platform also foresees other ways to generate revenue for NFT owners, like: participating in (micro)carbon markets by aggregating multiple small forested areas; crowdsourcing for sustainable agroforestry businesses; among others.

O Centro de Pesquisa em Engenharia SMARTNESS objetiva o desenvolvimento de avanço em pesquisa de ponta em redes de computadores e serviços de aplicações digitais focadas em áreas estratégias onde impactos científicos e tecnológicos podem ser alcançados na direção do ano de 2030, em colaboração com as comunidades de pesquisa em nuvem e redes. Com a implantação do 5G e a visão em 6G sendo desenvolvida, os principais desafios do SMARTNESS são em como projetar e operar infraestruturas de computação em nuvem e redes com capacidades adequadas para alavancar a próxima geração de serviços de Internet e aplicações. O escopo de serviços fim-a-fim na escala da Internet é excepcionalmente amplo e requer contribuições em várias disciplinas em conjunto com grandes investimentos em capital e recursos humanos. Entretanto, a transformação vertical em andamento nas indústrias e a mudança na direção de softwarização e desagregação de infraestruturas em múltiplos níveis e camadas de protocolos abriu um conjunto de oportunidades com escopo bem definido para inovação acelerada nas barreiras de entrada sem precedentes para empreendimentos baseados em parcerias entre academia e indústria. Computação em nuvem e infraestruturas de redes estão cada vez mais tornando-se multidisciplinares, necessitando visões fim-a-fim orientadas a sistema que alavanquem avanços em hardware (HW) para computação e redes, arquiteturas de software (SW) modernas e modelos de negócio, entre outras disciplinas de engenharia (e.g. eficiência energética e planejamento para segurança). O SMARTNESS tem como alvo explorar oportunidades bem planejadas através de uma metodologia apropriada baseada na confluência de linhas de pesquisa (RS, do inglês Research Strands) desenhadas para ter impacto de sucesso em pesquisa e inovação de nível mundial no sentido de tratar casos de uso desafiadores em cenários de Internet para indústria e sociedade com um horizonte de visão para o ano de 2030. Projeto FAPESP 2021/00199-8 (Centros de Pesquisa em Engenharia - CPE), em parceria com a Ericsson

O termo Gerenciamento de Identidades (Identity Management - IdM) se refere a um conjunto de políticas, ferramentas e mecanismos empregados para gerenciar o ciclo de vida de identidades digitais associadas a participantes de um sistema, o que inclui não apenas indivíduos, mas também possivelmente componentes de software ou hardware. Como os sistemas de IdM facilitam a criação, verificação e revogação de identidades, bem como de seus atributos correspondentes, eles são comumente empregados em ambientes federados. Nesse tipo de cenário, um sistema de IdM promove a portabilidade de identidades digitais, que são distribuídas dinamicamente em diferentes domínios.Este projeto tem como foco o Secure Production Identity Framework for Everyone (SPIFFE), uma solução de IdM federado que consiste em um conjunto de padrões de código aberto para identificação segura de sistemas de software em ambientes dinâmicos e heterogêneos. O objetivo é identificar oportunidades de melhoria do SPIFFE/SPIRE sob diferentes perspectivas, em especial segurança, desempenho e funcionalidade. Como áreas de interesse, incluem-se: cenários envolvendo delegação de credenciais SPIFFE, explorando o conceito de Identidade Transitiva quando se integra o SPIFFE com soluções de identificação e autenticação externos, como o OAuth; e a incorporação de atestações em credenciais SPIFFE à medida que elas são emitidas ou atualizadas.

This document describes a proposal for a credit-bearing course to be offered at the Universidade de São Paulo, Brazil (USP -- https://www5.usp.br/). It is expected to become part of the curriculum of the Computer Engineering program offered at USPs Engineering School (Escola Politécnica - https://www.poli.usp.br/), being placed at the 5th year of this program together with other elective courses currently being offered. This means that it will be offered once a year, with classes taking place weekly during one academic semester. Enrolled students are expected to be mainly from USPs Computer Engineering, Electrical Engineering, and Computer Science degree programs. Also, the courses contents will be offered openly for any interested party, even for those not enrolled at the university. Specifically, all material (slides for lectures, lecture video recordings, lecture notes, syllabus, homework, and other support material) will be made available for free online not only via USPs official platforms for online courses (namely, https://eaulas.usp.br/ and https://edisciplinas.usp.br/), but also on a site that does not require creating a login for access (e.g. Github, Youtube, or IPFS) or the material will be made available for the Grantor to publish online.

Em julho de 2021, a Sociedade Brasileira de Computação (SBC) por meio de sua Diretoria e Comissão de Educação, iniciou o processo de produção de referenciais de formação para cursos emergentes, a saber: Ciência de Dados, Cibersegurança e Inteligência Artificial. São cursos já existentes em outros países e que também já existem no Brasil, porém ainda não fazem parte das Diretrizes Curriculares Nacionais (DCN) do MEC. A última DCN é de 2016 e contempla os cursos de: Ciência da Computação, Engenharia de Computação, Licenciatura em Computação, Engenharia de Software e Sistemas de Informação.Assim, é compromisso da SBC produzir um material especializado, sobre os referidos cursos emergentes, que oriente as instituições acerca das competências requeridas para formação de profissionais desses cursos. Os referenciais estão sendo desenvolvidos por subcomissões das Comissões Especiais da SBC em interação com a Diretoria e Comissão de Educação.O objetivo é definir o Referencial de Formação na área de Computação para o curso de bacharelado em CiberSegurança (RF-CS-21). Ele foi construído a partir da noção de competência do CC2020 da Association for Computing Machinery (ACM). As 12 competências específicas que o CC2020 relaciona para o Bacharel em CiberSegurança foram sumarizadas em oito eixos de formação. Cada eixo de formação relaciona os conhecimentos que são importantes no desenvolvimento das competências dos egressos do curso. Também é abordado um eixo com competências de fundamentos da Computação. Este Referencial visa auxiliar no desenvolvimento de matrizes curriculares em Instituições de Ensino Superior no Brasil e na escrita do Projeto Pedagógico do Curso.

Este projeto, conduzido em colaboração com o Bradesco, busca explorar tecnologias emergentes com o objetivo de construir soluções inovadoras para o setor bancário. As atividades envolvem a identificação de tecnologias de interesse e de lacunas no estado da arte, e então a proposta de soluções para essas lacunas. Exemplos de tecnologias exploradas incluen tecnologias como Blockchains e mecanismos distribuídos correlatos (e.g., Distributed Ledger Technology - DLT, e distributed hash table - DHT), contratos inteligentes, esquemas avançados de criptografia (e.g., provas de conhecimento zero), mecanismos para construção de de enclaves seguros (e.g., usando tecnologias como Intel SGX e AMD SEV), computação quântica, e Inteligência Artificial.

Acompanhando a crescente preocupação com ataques cibernéticos no mundo, têm ganhado importância tecnologias de segurança nas quais proteção do sistema possa ser implantada e aferida sem necessidade de depositar uma grande dose de confiança em entidades específicas, modelo este conhecido como confiança zero (zero trust). Tal abordagem busca criar sistemas distribuídos mais resilientes a ataques ao (I) evitar pontos únicos de falha, (II) engajar as entidades do sistema a atuarem de forma colaborativa em sua segurança, e (III) prevenir brechas mesmo em caso de conluio entre um ou vários nós participantes da rede. Exemplos ilustrativos de tecnologias (clássicas ou mais modernas) que seguem esse princípio incluem: assinaturas digitais, que permitem aferir a integridade, autenticidade e autoria de documentos; blockchain, usado para definir e verificar a ordem relativa entre diversos eventos em um sistema; provas de conhecimento zero e criptografia homomórfica, por meio das quais é possível provar características ou realizar cálculos sobre certo dado cifrado sem revelar seu valor às claras; entre outras. Neste contexto, este projeto de pesquisa tem como objetivo avaliar o uso desse tipo de tecnologia de segurança em diferentes cenários de aplicação considerados relevantes e para os quais segurança seja um requisito importante. Como resultado, espera-se: (I) especificar novos algoritmos e protocolos criptográficos que se adequem às necessidades do cenário alvo (e.g., restrição de recursos, mobilidade, regulamentações); e (II) projetar arquiteturas de segurança resilientes a ataques cibernéticos desde sua concepção. Bolsa de Produtividade CNPq 304643/2020-3.

O objetivo do projeto consiste em propor novos processos e soluções para o sistema de votação eletrônica brasileiro, incorporando tecnologias emergentes de segurança, transparência e usabilidade. Os artefatos produzidos devem ter capacidade de evolução incremental: o que se espera é a construção de uma família de soluções que possam ser projetadas e implementadas gradualmente, modernizando ainda mais o processo de votação utilizado no Brasil. O foco das melhorias buscadas é principalmente trazer maior facilidade de uso, redução de custos com um nível de segurança ao menos igual ao existente, garantia de privacidade do voto, e fortalecimento dos processos de auditoria e rastreabilidade de informações. O tema também é o cerne da Bolsa de Produtividade CNPq 307732/2023-1, a qual teve início em 02/2024

Este projeto tem por objetivo avaliar a segurança do sistema de votação eletrônica brasileiro, considerando aspectos de hardware, software e processos, antes, durante e após a realização dos Testes Públicos de Segurança (TPS) promovidos pelo Tribunal Superior eleitoral. Espera-se que essa avaliação seja capaz de identificar vulnerabilidades, falhas ou potenciais pontos de melhoria envolvendo a integridade e o sigilo dos votos, promovendo um sistema mais resiliente a falhas e ataques.

O FAPESP - SHELL CENTRO DE PESQUISA E INOVAÇÃO DE GASES DE EFEITO ESTUFA tem como objetivo ser um centro de classe mundial para estudos avançados com foco em inovação para sustentabilidade e mitigação de emissões de gases de efeito estufa. O Centro complementa a experiência da Fapesp no apoio à pesquisa científica de alto nível e ao desenvolvimento de tecnologia nessas áreas. Temos como objetivo o estabelecimento de um Centro de classe mundial com investigações de pesquisa, inovação e disseminação de conhecimento para contribuir mundialmente com soluções para o desafio mais significativo que a humanidade está enfrentando no século 21: Mudanças Climáticas. Neste empreendimento, o Centro possui cinco Programas de pesquisa distintos, mas complementares: Soluções Baseadas na Natureza (NBS), Captura e Utilização de Carbono (CCU), Captura e Armazenamento de Carbono para Bioenergia (BECCS), Gases de Efeito Estufa (GEE) e Advocacia. O Centro reúne uma equipe técnica e científica que tem se envolvido, ao longo dos últimos anos, com problemas nas áreas de energia e meio ambiente, propondo soluções parciais relacionadas a um dos Programas citados. O Centro pretende integrar este esforço, explorando os distintos enfoques de forma complementar; dar respostas e fornecer soluções inovadoras, de acordo com o melhor planeamento possível, às questões suscitadas pelos problemas de engenharia existentes, políticas econômicas e impactos sociais associados à emissão de gases de efeito de estufa e ao meio ambiente. A integração desses cinco temas e de todo o conhecimento e inovação gerados nesse Centro apoiarão diretamente o Brasil no alcance das Contribuições Nacionalmente Determinadas (NDCs) por meio de Pesquisa & Inovação. O Centro servirá para liberar o potencial brasileiro para uma transição energética sustentável, visando um aumento bem abaixo de 2°C no cenário global de mudanças climáticas. Projeto FAPESP 2020/15230-5; BG E&P Brasil (Shell) - Centro de Pesquisa para Inovação em Gás (CPE)

(This project is part of the USP Blockchain Research Initiative -- UBRI)The University of São Paulo has a long tradition of collaborating with the private sector, as a supplier of expertise in research and innovation for the creation of novel and better solutions for real-world problems. This type of extension initiative aims to bring science closer to the everyday life and benefit society as a whole, and is among the three pillars of the university, together with teaching and research activities. One particular form of collaboration in this scenario refers to startups, which commonly seek USPs services to enhance their solutions and, consequently, improve their prospects for market growth and results. Examples of services provided by the university include mentoring, consulting, execution of experiments and simulations, statistical analyses, among many others. Sometimes, however, startups face an obstacle when trying to engage in such activities: on the one hand, they commonly do not have the necessary capital to pay for the use of USP resources, given their position in the business life cycle; on the other hand, USP agents need resources to finance their research and extension activities, including the need of purchasing lab supplies and providing scholarships for students and researchers. The result is an ecosystem of complementary needs between startups and USP. The purpose of this project is to bridge this gap, facilitating and encouraging the collaboration between USP and Brazilian Startups. To accomplish this goal, we are proposing the creation of a digital currency (a USPcoin, or U$P for short) that can be used within the university for the exchange of services and supplies among laboratories, research personnel, and startups. The challenges in this scenario are multidisciplinary, including: economic aspects, such as valuation of startups and liquidity of the digital currency; legal aspects, like compliance with regulations that may apply to this ecosystem; and technological aspects, given the need of a reliable infrastructure for handling the systems use cases. Blockchain is a core technology in this scenario.

A transformação digital irá exercer papel fundamental para superar desafios enfrentados pela indústria, incluindo o uso eficiente dos recursos naturais, aumento de eficiência de processos, agregação de valor a produtos, reorganização do trabalho, etc.. Com destaque entre as ferramentas da transformação digital, a Inteligência Artificial (IA) tem um papel fundamental, tornando as atividades mais efetivas, mais produtivas e competitivas. Considerando a necessidade de acelerar a adoção e a difusão dessas tecnologias, esta proposta tem por objetivo a criação do Centro de Pesquisa Aplicada (CPA) em IA voltada para a indústria. O CPA irá adotar uma abordagem de inovação aberta, reforçando os esforços de cada um dos participantes e viabilizando a criação de um ecossistema colaborativo. O Centro irá aproveitar as sinergias com outras iniciativas e oportunidades dos parceiros, tais como a instalação do escritório do Centro para a 4 Revolução Industrial (Fórum Econômico Mundial), linhas de pesquisa do programa Rota 2030 (indústria automobilística), EMBRAPII, entre outras, a fim de ampliar os impactos positivos na atividade industrial. Os desafios científicos abordarão elementos-chave e tecnologias para a implantação da IA em âmbito industrial, de forma multidisciplinar e em cooperação com a rede de parceiros existentes, possibilitando a execução e a coordenação de projetos pré-competitivos complexos. A pesquisa será pautada pelos desafios das indústrias, com foco em 6 grandes temas: Monitoramento e Controle em Tempo Real; Digital Twin; Interoperabilidade e Integração da Cadeia; Manutenção Prescritiva e Operação Inteligente; Sistemas Autônomos, Robótica e Máquinas-Ferramentas; Cibersegurança. O Centro deve viabilizar a aceleração e a digitalização da indústria brasileira, aplicando e expandindo o estado da arte, e criando provas de conceito instaladas em plantas de demonstração. Todo o processo envolverá aspectos de difusão do conhecimento e transferência de tecnologia integrada em um ecossistema de inovação. Os resultados esperados incluem análises setoriais e dos desafios do ecossistema de indústria 4.0 no Brasil; formação de mestres e doutores; geração de patentes; desenvolvimento de startups e spin-offs; publicações científicas; bem como o desenvolvimento de políticas públicas para a difusão das tecnologias. As empresas poderão ainda utilizar os resultados do Centro em projetos próprios de desenvolvimento de tecnologias. O impacto do Centro ocorrerá por meio de duas perspectivas: (i) a perspectiva tecnológica, com a modelos de inovação incrementais ou disruptivos, que mudariam a forma como a indústria atua ou fabrica seus produtos; (ii) a perspectiva da propriedade intelectual, onde se utiliza o conhecimento gerado no CPA por meio de Projetos de Inovação Tecnológica Pré-Competitiva, prestação de serviços de consultorias ou assessorias, ou no licenciamento a terceiros, seja por patentes, softwares ou desenvolvimento de Startups e Spin-offs. O Centro conta com a participação de oito parceiros industriais fundadores, 85 pesquisadores de universidades e institutos de pesquisa brasileiros, com assessoria de sete instituições de pesquisa e universidades em seu conselho internacional, com a coordenação de um comitê gestor formado por especialista do setor e da academia. Essas instituições reunem os elementos necessários p/ promover um Centro de Pesquisa Aplicada em IA de Referência Mundial para o desenvolvimento tecnológico da Indústria. https://plataformaiasmin.org.br . (Projeto FAPESP 2020/09850-0, em cooperação com Siemens, Siemens Infrastructure and Industry, Bosch, Klabin, Fiat Chrysler Automobiles Brazil, e Braskem)

The goals of the project are: (1) to identify and characterize different types of Built-in Malicious Code (BiMC) in software and their possible/probable origins; and then (2) to develop techniques and tools for to (semi)automatically detect them or mitigate their effects. The proposed solutions should complement other techniques for secure software development, like: component inventory for better visibility; repository authentication for reducing the attack surface of the software supply chain; automatic updates and attack monitoring for after-fact mitigation; and static code analysis for removal of bugs. The end result should be better-quality software, that does what it should, how it should, and nothing else.

Existem na literatura alguns trabalhos voltados a lidar com ataques de modificação de firmware. Uma das principais e mais amplas iniciativas nesse sentido é Protocolo e Modelo de Dados para Segurança (Security Protocol and Data Model -- SPDM). Basicamente, a sua especificação define um conjunto de mecanismos e formatos para autenticação de hardware e firmware, na forma de um padrão industrial aberto. Além disso, o trabalho em andamento no SPDM incorpora um protocolo de acordo de chaves para proteger a confidencialidade e a integridade dos dados transmitidos entre componentes. O principal objetivo deste projeto é avaliar a arquitetura de segurança do SPDM de forma ampla, verificando se há falhas ou melhorias possíveis nesse protocolo, além de fornecer uma implementação de referência para avaliar seu desempenho na experimental.

A Iniciativa de Pesquisa para Blockchain da USP, apoiada pela Ripple, reúne pesquisadores de diferentes áreas de conhecimento e Unidades de pesquisa, como a Escola Politécnica (EP), a Faculdade de Direito (FD), a Faculdade de Economia, Administração e Contabilidade (FEA) e o Instituto de Matemática e Estatística (IME), além de contar com o apoio da Superintendência de Tecnologia da Informação (STI). O projeto conta ainda com parcerias fora da Universidade de São Paulo. O escopo da iniciativa inclui, além da busca por pesquisas pioneiras e inovações técnicas, realização de eventos para discutir tópicos que abordam o blockchain, a criptografia, a segurança cibernética e questões regulatórias. Ver: https://sites.usp.br/ubri/

(This project is part of the USP Blockchain Research Initiative -- UBRI)This project aims to use Blockchain, BitTorrent, Smart Contracts and related collaborative technologies to create an ecosystem where residents from the Amazonian Rainforest can develop sustainable economic activities community-based economy be remunerated for the vast biodiversity available in the region. This should create an alternative economic venue for the region, reducing inequality and helping with the environmental preservation. The technical/engineering part of project is funded by Ripple, as part of the USP Blockchain Research Initiative, and it is one of the technical branches that support the broader Amazon 4.0 initiative led by the brothers Carlos and Ismael Nobre.

O objetivo principal do projeto é criar uma plataforma segura para a gestão do ciclo de tratamento de doenças raras e com isso, (1) reduzir o tempo de diagnóstico dessas doenças, (2) garantir confidencialidade, integridade e autenticidade dos dados em questão, e (3) prover rastreabilidade e auditabilidade das informações. Assim, o projeto combina tecnologia de segurança com um tema de elevado impacto social -- em particular considerando que apenas no Brasil existem 13 milhões de pacientes, e muitos acabm morrendopor falta de diagnóstico e tratamento adequados, em parte por falta de conhecimento assertivo sobre os sintomas dessas doenças. Tecnologias altamente distribuídas, muitas delas associadas ao conceito de "blockchain", são investigadas como possíveis soluções para os problemas desse cenário. Vinculado a projeto PIPE-FAPESP 2019/12095-2.

A criptografia pós-quântica consiste em algoritmos cuja segurança se baseia em problema matemáticos para os quais não se conheça um método de resolução eficiente, seja usando computadores clássicos ou quânticos. O interesse de pesquisa nessa é crescente, por razões como: (1) é necessário garantir a segurança de sistemas caso computadores quânticos tornem-se uma realidade prática (e esquemas seguros devem estar disponíveis antes que isso aconteça, para permitir a migração dos sistemas atuais); (2) órgãos de padronização internacional de algoritmos de segurança, como o NIST, declararam recentemente o interesse específico em tais primitivas; e (3) os esquemas utilizados em geral envolvem operações razoavelmente simples, de modo que o uso de tais mecanismos pode trazer ganhos de desempenho com relação a algoritmos existentes, tanto por meio de implementações em hardware dedicado como em cenários com limitação de recursos computacionais. Neste contexto, este projeto de pesquisa tem como foco a especificação, desenvolvimento e análise de esquemas criptográficos pós-quânticos com dois objetivos principais: (1) para níveis equivalentes de segurança, reduzir os tamanhos de chaves, assinaturas e textos cifrados de esquemas pós-quânticos capazes de prover serviços básicos, cifração, autenticação e assinaturas digitais, tornando-os mais competitivos com esquemas tradicionais (i.e., não resistentes a computadores quânticos); e (2) construir esquemas provendo funcionalidades avançadas, como assinaturas cegas e cifração (parcialmente) homomórfica, ampliando a gama de serviços possíveis com algoritmos pós-quânticos. Bolsa de Produtividade CNPQ 301198/2017-9.

The goal of the project is to provide a secure, efficient, privacy-preserving and scalable key management architecture for use in vehicular communications. This includes solutions for: (1) the establishment of public/private key pairs in lightweight manner, so the process can be repeated frequently if necessary with a low overhead in terms of processing, memory usage and bandwidth for the final users; (2) a lightweight key revocation procedure; (3) a privacy-preserving mechanism for the messages exchanged, whereas privacy can be revoked in case of misbehavior; (4) a lightweight approach for authenticating broadcast messages; and (5) a (set of) mechanisms for group keying to handle scenarios such as vehicle platooning.

Post-quantum cryptosystems are families of cryptographic algorithms which will remain secure even after the advent of large scale quantum computers. These algorithms are essential to ensure the feasibility and safety of future electronic transactions, since otherwise future transactions based on today?s cryptosystems will be open to attacks by large scale quantum computers, and obviously, this situation will lead to a global economic catastrophe. In this project, we aim to address two important aspects of post-quantum cryptography, namely: 1) we will develop and analyze efficient and secure post-quantum cryptographic schemes for providing a variety of basic security services, including encryption, authentication, digital signatures and privacy-preserving signatures, suitable for both software and hardware implementation; 2) we will also develop applications which make use of the post-quantum cryptographic schemes. Our targeted application is the development of a post-quantum Trusted Platform Module (TPM), so it can be widely adoptable in practice as a replacement of the existing TPM. (Chamada Aucani nº 24/2017)