???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.
Read full resume ↓
Identification

Personal identification

Full name
André Nuno Carvalho Souto

Citation names

  • Souto, André

Author identifiers

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

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences
  • Exact Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Advanced (C1) Advanced (C1) Proficiency (C2) Proficiency (C2)
Education
Degree Classification
2011
Concluded
 Ciência de Computadores (Doutoramento)
Major in Sem especialidade
Universidade do Porto Faculdade de Ciências, Portugal
"Individual Information Measures: Applications to Computacional Complexity" (THESIS/DISSERTATION)
2006
Concluded
 Mestrado em matemática, Fundamentos e Aplicações (Mestrado)
Major in Sistemas Dinâmicos
Universidade do Porto Faculdade de Ciências, Portugal
"Levantamento ao espaço tangente de medidas em variedades" (THESIS/DISSERTATION)
 Muito Bom
2000/09/01 - 2004/06/23
Concluded
 Matemática (Licenciatura)
Major in Científico
Faculdade de Ciências da Universidade do Porto, Portugal
 17
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2016 - Current Assistant Professor (University Teacher) Universidade de Lisboa, Portugal
2015 - 2016 Lecturer (University Teacher) Instituto Universitário de Ciências Psicológicas Sociais e da Vida, Portugal
2010/07/01 - 2012/02/28 Invited Adjunct Teacher (Polytechnic Teacher) Instituto Politécnico de Viana do Castelo Escola Superior de Ciências Empresariais, Portugal
2010/10/01 - 2011/08/31 Invited Adjunct Teacher (Polytechnic Teacher) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Others

Category
Host institution 		Employer
2017/01/01 - Current 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
Projects

Grant

Designation Funders
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
Concluded
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
Concluded
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
Concluded

Contract

Designation Funders
2021/02/01 - Current Quantum Prime - Generation of Prime Numbers Enabled by Quantum Technologies for Cryptographic Applications
PTDC/EEI-TEL/8017/2020
Researcher
Ongoing
2020/10/01 - Current Q.DOT
POCI-01-0247-FEDER-039728
Researcher
Instituto de Telecomunicações, Portugal
Concluded
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
Ongoing
2020/02/01 - 2022/07/31 QRunner - Development of a quantum random number generator network server
UIDB/EEA/50008/2019
Researcher
Instituto de Telecomunicações, Portugal
Concluded
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
Ongoing
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
Ongoing
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
Concluded
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
Concluded
2016/01/05 - 2019/10/31 Confident
PTDC/EEI-CTP/4503/2014
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Ongoing
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
Concluded
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
Concluded
Outputs

Publications

Book
  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
Conference paper
  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
Journal article
  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

Other

Other output
  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.
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2023/12/01 - Current Using quantum ML to predict fast gradient sign attacks
Supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2023/11/01 - Current Improving Acro Companion Generic Competition Platform
Supervisor
Universidade de Lisboa Faculdade de Ciências, Portugal
2023/09/01 - Current Using quantum IA for cyber security
Supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2023/09 - Current Secure computing for networked embedded devices
Supervisor
Faculdade de Ciências Universidade de Lisbia, Portugal
2023/01/01 - Current Using Tsallis entropy for evaluating quantum properties
Supervisor
Faculdade de Ciências da Universidade de Lisboa, Portugal
2022/09/01 - Current Finding Vulnerabilities in Satellite Controllers using Code Property Graphs
Supervisor
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
Supervisor of 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
Supervisor of 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
Supervisor
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2018 - 2022 Post-Quantum cryptography
Co-supervisor
2020 - 2021 Lightweight cryptogrpahy for IoT
Co-supervisor
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.
Supervisor
2016/01/01 - 2020/11/06 Practical quantum privacy protocols
Co-supervisor
2018 - 2019 Solução Digital Web Platform
Supervisor
2018 - 2019 Quantum Bit String Commitment Protocols with an EPR Pair Trusted Source
Co-supervisor
2017 - 2018 Origination – crowdsourcing na resolução de desafios de negócio
Supervisor
2013 - 2014 Trapdoor one-way functions [2.1.2]
Co-supervisor
2013 - 2013 A Monotone Modal Logic for Algorithmic Statistics
Co-supervisor

Committee member

Activity description
Role 		Institution / Organization
2023/10/31 - 2024/06/01 PC member of 5th International Workshop on Quantum Software Engineering (Q-SE 2024)
Member
Distinctions

Award

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

Other distinction

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