???global.info.a_carregar???
André Nuno Carvalho Souto. Finished the PhD in Computer Science in 2011 at Faculdade de Ciências da Universidade do Porto where he also got his master's degree in dynamical systems. He published 21 scientific research papers in specialized journals among other publications in conferences and workshops. The main terms used in the CV are: cryptography; quantum oblivious transfer, secure multi-party computation; data privacy, cryptographic protocols; measures of information; entropies; Kolmogorov complexity a, Criptográficos; Medidas de Informação; Complexidade de Kolmogorov; Presently, he is an assistant professor of Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa and integrated member of LASIGE and collaborator of Instituto de Telecomunicações.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
André Nuno Carvalho Souto

Nomes de citação

  • Souto, André

Identificadores de autor

Ciência ID
121E-B6D8-99D9
ORCID iD
0000-0001-8792-959X

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
  • Ciências Exatas

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C2) Utilizador proficiente (C2)
Formação
Grau Classificação
2011
Concluído
 Ciência de Computadores (Doutoramento)
Especialização em Sem especialidade
Universidade do Porto Faculdade de Ciências, Portugal
"Individual Information Measures: Applications to Computacional Complexity" (TESE/DISSERTAÇÃO)
2006
Concluído
 Mestrado em matemática, Fundamentos e Aplicações (Mestrado)
Especialização em Sistemas Dinâmicos
Universidade do Porto Faculdade de Ciências, Portugal
"Levantamento ao espaço tangente de medidas em variedades" (TESE/DISSERTAÇÃO)
 Muito Bom
2000/09/01 - 2004/06/23
Concluído
 Matemática (Licenciatura)
Especialização em Científico
Faculdade de Ciências da Universidade do Porto, Portugal
 17
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2016 - Atual Professor Auxiliar (Docente Universitário) Universidade de Lisboa, Portugal
2015 - 2016 Leitor (Docente Universitário) Instituto Universitário de Ciências Psicológicas Sociais e da Vida, Portugal
2010/07/01 - 2012/02/28 Professor Adjunto Convidado (Docente Ensino Superior Politécnico) Instituto Politécnico de Viana do Castelo Escola Superior de Ciências Empresariais, Portugal
2010/10/01 - 2011/08/31 Professor Adjunto Convidado (Docente Ensino Superior Politécnico) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2017/01/01 - Atual Membro Integrado Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Projetos

Bolsa

Designação Financiadores
2012/03/01 - 2016/03/31 SECURITY ANALYSIS BASED ON ADIABITIC QUANTUM COMPUTATION USING AN INDIVIDUAL APPROACH
SFRH/BPD/76231/2011
 Fundação para a Ciência e a Tecnologia
Concluído
2007/01/01 - 2010/11/30 PROTOCOLOS INTERACTIVOS: MEDIDAS DE CONHECIMENTO
SFRH/BD/28419/2006
Universidade do Porto Faculdade de Ciências, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2005/10/01 - 2005/12/31 LEVANTAMENTO DE MEDIDAS INVARIANTES
SFRH/BM/23348/2005
Universidade do Porto Faculdade de Ciências, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído

Projeto

Designação Financiadores
2021/02/01 - Atual Quantum Prime - Generation of Prime Numbers Enabled by Quantum Technologies for Cryptographic Applications
PTDC/EEI-TEL/8017/2020
Investigador
Em curso
2020/10/01 - Atual Q.DOT
POCI-01-0247-FEDER-039728
Investigador
Instituto de Telecomunicações, Portugal
Concluído
2021/02/01 - 2024/10/31 Geração de números primos habilitada por tecnologias quânticas para aplicações criptográficas
PTDC/EEI-TEL/8017/2020
10.54499/PTDC/EEI-TEL/8017/2020
Instituto de Telecomunicações Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2020/02/01 - 2022/07/31 QRunner - Development of a quantum random number generator network server
UIDB/EEA/50008/2019
Investigador
Instituto de Telecomunicações, Portugal
Concluído
2019/01/01 - 2021/12/31 Terapia personalizada para doenças reumáticas por intermédio de aprendizagem automática
PTDC/CCI-CIF/29877/2017
Instituto de Telecomunicações, Portugal

Universidade Nova de Lisboa, Portugal

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2018/09/01 - 2021/08/31 Primitivas Quânticas para Preservar a Privacidade da Prospeção Estatística de Dados
PTDC/EEI-TEL/31826/2017
Instituto de Telecomunicações, Portugal

Instituto de Telecomunicações, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2019/01/01 - 2019/12/31 Instituto de Telecomunicações
UID/EEA/50008/2019
Instituto de Telecomunicações Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2019/01/01 - 2019/12/31 LABORATÓRIO DE SISTEMAS INFORMÁTICOS DE GRANDE-ESCALA
UID/CEC/00408/2019
FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Universidade de Lisboa Faculdade de Ciências, Portugal

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2016/01/05 - 2019/10/31 Confident
PTDC/EEI-CTP/4503/2014
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Em curso
2010/02/15 - 2013/08/14 CSI - Segurança Criptográfica de Instâncias Individuais
PTDC/EIA-CCO/099951/2008
Instituto de Telecomunicações, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2011/01/01 - 2012/12/31 Projecto Estratégico - LA 8 - 2011-2012
PEst-OE/EEI/LA0008/2011
Instituto de Telecomunicações Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Nuno A. Silva; Maurício J. Ferreira; André Carvalho; André Souto; Nikola Paunkovic; Paulo Mateus; António Teixeira; Armando N. Pinto. "A Network Server for Distributing Quantum Random Numbers". 2023.
    10.1109/icton59386.2023.10207372
  2. Qihong Chen; Rúben Câmara; José Campos; André Souto; Iftekhar Ahmed. "The Smelly Eight: An Empirical Study on the Prevalence of Code Smells in Quantum Computing". 2023.
    10.1109/icse48619.2023.00041
  3. Teixeira, A.; Souto, A.; Matos, A.; Antunes, L.. "Entropy measures vs. algorithmic information". 2010.
    10.1109/ISIT.2010.5513643
  4. Antunes, L.; Fortnow, L.; Pinto, A.; Souto, A.. "Low-depth witnesses are easy to find". 2007.
    10.1109/CCC.2007.13
Artigo em revista
  1. Mariano Lemus; Ricardo Faleiro; Paulo Mateus; Nikola Paunkovic; André Souto. "Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machines". Quantum (2024): https://doi.org/10.22331/q-2024-01-18-1230.
    10.22331/q-2024-01-18-1230
  2. Pedro Rosa; André Souto; José Cecílio. "Light-SAE: A Lightweight Authentication Protocol for Large-Scale IoT Environments Made With Constrained Devices". IEEE Transactions on Network and Service Management (2023): https://doi.org/10.1109/TNSM.2023.3275011.
    10.1109/TNSM.2023.3275011
  3. Diogo Azevedo; Ana Maria Rodrigues; Helena Canhão; Alexandra M. Carvalho; André Souto. "Zgli: A Pipeline for Clustering by Compression with Application to Patient Stratification in Spondyloarthritis". Sensors (2023): https://doi.org/10.3390/s23031219.
    10.3390/s23031219
  4. André Souto. "Experimental Semi-quantum Key Distribution With Classical Users". Quantum 6 (2022): 819-819. http://dx.doi.org/10.22331/q-2022-09-22-819.
    10.22331/q-2022-09-22-819
  5. Andreia Teixeira; André Souto; Luís Antunes. "On Conditional Tsallis Entropy". Entropy 23 11 (2021): 1427-1427. https://doi.org/10.3390/e23111427.
    10.3390/e23111427
  6. Maria Ribeiro; Teresa Henriques; Luísa Castro; André Souto; Luís Antunes; Cristina Costa-Santos; Andreia Teixeira. "The Entropy Universe". Entropy 23 2 (2021): 222-222. https://doi.org/10.3390/e23020222.
    10.3390/e23020222
  7. Mariano Lemus; Mariana F. Ramos; Preeti Yadav; Nuno A. Silva; Nelson J. Muga; André Souto; Nikola Paunkovic; Paulo Mateus; Armando N. Pinto. "Generation and Distribution of Quantum Oblivious Keys for Secure Multiparty Computation". Applied Sciences 10 12 (2020): 4080-4080. https://doi.org/10.3390/app10124080.
    10.3390/app10124080
  8. Mariana Gama; Paulo Mateus; André Souto. "A Private Quantum Bit String Commitment". Entropy 22 3 (2020): 272-272. https://doi.org/10.3390/e22030272.
    10.3390/e22030272
  9. Pedro Branco; Paulo Mateus; Carlos Salema; André Souto. "Using Low-Density Parity-Check codes to improve the McEliece cryptosystem". Information Sciences 510 (2020): 243-255. https://doi.org/10.1016/j.ins.2019.09.030.
    10.1016/j.ins.2019.09.030
  10. Preeti Yadav; Paulo Mateus; Nikola Paunkovic; André Souto. "Quantum Contract Signing with Entangled Pairs". Entropy 21 9 (2019): 821-821. https://doi.org/10.3390/e21090821.
    10.3390/e21090821
  11. Chrysoula Vlachou; Walter Krawec; Paulo Mateus; Nikola Paunkovic; André Souto. "Quantum key distribution with quantum walks". Quantum Information Processing 17 11 (2018): https://doi.org/10.1007/s11128-018-2055-y.
    10.1007/s11128-018-2055-y
  12. Filipe Casal; João Rasga; André Souto. "Kolmogorov One-Way Functions Revisited". Cryptography 2 2 (2018): 9-9. https://doi.org/10.3390/cryptography2020009.
    10.3390/cryptography2020009
  13. Rodrigues, J.; Mateus, P.; Paunkovic, N.; Souto, A.. "Oblivious transfer based on single-qubit rotations". Journal of Physics A: Mathematical and Theoretical 50 20 (2017): http://www.scopus.com/inward/record.url?eid=2-s2.0-85018404130&partnerID=MN8TOARS.
    10.1088/1751-8121/aa6a69
  14. Antunes, L.F.; Souto, A.; Vitányi, P.M.B.. "On the rate of decrease in logical depth". Theoretical Computer Science 702 (2017): 60-64. http://www.scopus.com/inward/record.url?eid=2-s2.0-85028564147&partnerID=MN8TOARS.
    10.1016/j.tcs.2017.08.012
  15. Antunes, L.; Bauwens, B.; Souto, A.; Teixeira, A.. "Sophistication vs Logical Depth". Theory of Computing Systems (2016): 1-19. http://www.scopus.com/inward/record.url?eid=2-s2.0-84961211449&partnerID=MN8TOARS.
    10.1007/s00224-016-9672-6
  16. Vlachou, C.; Rodrigues, J.; Mateus, P.; Paunkovic, N.; Souto, A.. "Quantum walk public-key cryptographic system". International Journal of Quantum Information 13 7 (2015): http://www.scopus.com/inward/record.url?eid=2-s2.0-84958150940&partnerID=MN8TOARS.
    10.1142/S0219749915500501
  17. Ribeiro, J.; Souto, A.; Mateus, P.. "Quantum blind signature with an offline repository". International Journal of Quantum Information 13 2 (2015): http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000354325800009&KeyUID=WOS:000354325800009.
    10.1142/S0219749915500161
  18. Antunes, Luís; Buhrman, Harry; Matos, Armando; Souto, André; Teixeira, Andreia. "Distinguishing Two Probability Ensembles with One Sample from each Ensemble". Theory of Computing Systems (2015): 1-15.
    10.1007/s00224-015-9661-1
  19. Souto, A.; Mateus, P.; Ad\~ao, P.; Paunkovi\\ifmmode \\acutec\\else \'c\\fi, N.. "Bit-string oblivious transfer based on quantum state computational distinguishability". Phys. Rev. A 91 (2015): 042306-042306. http://link.aps.org/doi/10.1103/PhysRevA.91.042306.
    10.1103/PhysRevA.91.042306
  20. Souto, A.; Mateus, P.; Adão, P.; Paunkovic, N.. "Reply to Comment on 'Bit-string oblivious transfer based on quantum state computational distinguishability'". Physical Review A - Atomic, Molecular, and Optical Physics 92 4 (2015): http://www.scopus.com/inward/record.url?eid=2-s2.0-84946234479&partnerID=MN8TOARS.
    10.1103/PhysRevA.92.046302
  21. Mateus, P.; Sernadas, A.; Souto, A.. "Universality of quantum Turing machines with deterministic control". Journal of Logic and Computation (2015): http://logcom.oxfordjournals.org/content/early/2015/02/26/logcom.exv008.abstract.
    10.1093/logcom/exv008
  22. Antunes, L.; Matos, A.; Pinto, A.; Souto, A.; Teixeira, A.. "One-Way Functions Using Algorithmic and Classical Information Theories". Theory of Computing Systems 52 1 (2013): 162-178. http://www.scopus.com/inward/record.url?eid=2-s2.0-84871404695&partnerID=MN8TOARS.
    10.1007/s00224-012-9418-z
  23. Antunes, L.; Fortnow, L.; Pinto, A.; Souto, A.. "Low-Depth Witnesses are Easy to Find". Computational Complexity 21 3 (2012): 479-497. http://www.scopus.com/inward/record.url?eid=2-s2.0-84865517528&partnerID=MN8TOARS.
    10.1007/s00037-011-0025-1
  24. Teixeira, A.; Matos, A.; Souto, A.; Antunes, L.. "Entropy measures vs. Kolmogorov complexity". Entropy 13 3 (2011): 595-611. http://www.scopus.com/inward/record.url?eid=2-s2.0-79953753551&partnerID=MN8TOARS.
    10.3390/e13030595
  25. Costa-Santos, C.; Antunes, L.; Souto, A.; Bernardes, J.. "Assessment of Disagreement: A New Information-Based Approach". Annals of Epidemiology 20 7 (2010): 554-561. http://www.scopus.com/inward/record.url?eid=2-s2.0-77953667921&partnerID=MN8TOARS.
    10.1016/j.annepidem.2010.02.011
  26. Antunes, L; Souto, A. "Information measures for infinite sequences". Theoretical Computer Science 411 26-28 (2010): 2602-2611.
    10.1016/j.tcs.2010.03.026
  27. Antunes, L.; Matos, A.; Souto, A.; Vitányi, P.. "Depth as randomness deficiency". Theory of Computing Systems 45 4 (2009): 724-739. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349504819&partnerID=MN8TOARS.
    10.1007/s00224-009-9171-0
  28. Pinto, A.; Souto, A.; Matos, A.; Antunes, L.. "Commitment and authentication systems". Designs, Codes, and Cryptography 53 3 (2009): 175-193. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349466339&partnerID=MN8TOARS.
    10.1007/s10623-009-9303-1
Livro
  1. Mateus, P.; Paunkovic, N.; Rodrigues, J.; Souto, A.. Enhancing privacy with quantum networks. 2014.
    10.1007/978-3-662-44885-4_14
  2. Mota, F.; Aaronson, S.; Antunes, L.; Souto, A.. Sophistication as randomness deficiency. 2013.
    10.1007/978-3-642-39310-5_17
  3. Antunes, L.; Souto, A.; Teixeira, A.. Robustness of logical depth. 2012.
    10.1007/978-3-642-30870-3_4
  4. Souto, A.. Kolmogorov complexity cores. 2010.
    10.1007/978-3-642-13962-8_42

Outros

Outra produção
  1. Software-based Security Framework for Edge and Mobile IoT. With the proliferation of Internet of Things (IoT) devices, ensuring secure communications has become imperative. Due to their low cost and embedded nature, many of these devices operate with computational and energy constraints, neglecting the potential security vulnerabilities that they may bring. This work-in-progress is focused on designing secure communication among remote servers and embedde. 2024. Cecílio, José; Oliveira de Sá, Alan; Souto, André. https://doi.org/10.48550/arXiv.2404.06435.
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2023/12/01 - Atual Using quantum ML to predict fast gradient sign attacks
Orientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2023/11/01 - Atual Improving Acro Companion Generic Competition Platform
Orientador
Universidade de Lisboa Faculdade de Ciências, Portugal
2023/09/01 - Atual Using quantum IA for cyber security
Orientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2023/09 - Atual Secure computing for networked embedded devices
Orientador
Faculdade de Ciências Universidade de Lisbia, Portugal
2023/01/01 - Atual Using Tsallis entropy for evaluating quantum properties
Orientador
Faculdade de Ciências da Universidade de Lisboa, Portugal
2022/09/01 - Atual Finding Vulnerabilities in Satellite Controllers using Code Property Graphs
Orientador
Faculdade de Ciências da Universidade de Lisboa, Portugal
2021/09/01 - 2022/12/01 Fine-grained Analysis of Bugs in Open Source Quantum Projects
Orientador de Rúben Câmara
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2021/09/01 - 2022/12/01 Using compression for profiling rheumatoid arthritis disease progression through data mining techniques
Orientador de Diogo Azevedo
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2021/09/01 - 2022/12/01 Lightweight Cryptography for Internet of Things (IoT) Devices
Orientador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2018 - 2022 Post-Quantum cryptography
Coorientador
2020 - 2021 Lightweight cryptogrpahy for IoT
Coorientador
2020 - 2021 Conference quantum key agreement Prémio na INNCYBER INNOVATION HUB 3rd edition, em que o aluno Ruben Barreiro ganhou o primeiro pémio com um projecto derivado da sua tese de mestrado orientada por mim.
Orientador
2016/01/01 - 2020/11/06 Practical quantum privacy protocols
Coorientador
2018 - 2019 Solução Digital Web Platform
Orientador
2018 - 2019 Quantum Bit String Commitment Protocols with an EPR Pair Trusted Source
Coorientador
2017 - 2018 Origination – crowdsourcing na resolução de desafios de negócio
Orientador
2013 - 2014 Trapdoor one-way functions [2.1.2]
Coorientador
2013 - 2013 A Monotone Modal Logic for Algorithmic Statistics
Coorientador

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2023/10/31 - 2024/06/01 PC member of 5th International Workshop on Quantum Software Engineering (Q-SE 2024)
Membro
Distinções

Prémio

2023 Distinguished paper award
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2023 Distinguished paper award
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2020 Distinguished paper award
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2017 Distinguished paper award
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Outra distinção

2019 Menção honrosa por excelência na docência
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal