| Acronym | Name | Funding Agency | Start date | Duration |
|---|---|---|---|---|
| BlackHole2024 | Buracos negros, ondas gravitacionais e transições de fase | Fundação para a Ciência e a Tecnologia | 01-12-2024 | 2 year(s) |
| CODEFHE | Fully-Homomorphic Encryption from Post-Quantum Code-Based Assumptions | Fundação para a Ciência e a Tecnologia | 01-10-2025 | 1 year(s) |
| LESYNCH | Limits and Efficiency of Coding Against Synchronization Errors | EU/Horizon Europe | 01-02-2026 | 5 year(s) |
| PUFSeQure | Physical uncloneable functions for quantum secure multi-party computation | FCT | 01-02-2025 | 2 year(s) |
| QSCAN | Quantum-Enabled Secure Multiparty Computation for Space Surveillance Tracking | NATO | 01-03-2024 | 3 year(s) |
| QSNP | Quantum Secure Networks Partnership | EU | 01-03-2023 | 4 year(s) |
| QuantaGenomics | Quantum Enabled Secure Multiparty Computation for Genomic Medicine | EU / FCT / Programme ERA-NET Cofund QuantERA II | 01-05-2022 | 4 year(s) |
| Acronym | Name | Funding Agency | Start date | Duration |
|---|---|---|---|---|
| ComFormCrypt | ComFormCrypt - Computational Semantics of Formal Methods in Cryptography | FCT/PTDC | 01-02-2011 | 4 year(s) |
| COMPUTR | COMPUTR : Calcul en temps continu sur les réels | INRIA | 01-01-2010 | 1 year(s) |
| Confident | Confident - Communication Contracts for Distributed Systems Development | FCT | 01-05-2016 | 3 year(s) |
| CSI^2 | Cryptographic Security of Individual Instances | FCT/PTDC | 01-02-2010 | 4 year(s) |
| CV-Quantum | Improving Security and Capacity Using Continuous Variables Quantum Communications | IT/LA | 01-02-2014 | 3 year(s) |
| DeDuCe | Distributed Data Centric Concurrency Control | EU/H2020 | 01-01-2018 | 3 year(s) |
| DIVINA | DIVINA: Detecting Injection Vulnerabilities In Node.js Applications | FCT/ CMU | 26-03-2022 | 1 year(s) |
| DP-PMI | Doctoral Programme in the Physics and Mathematics of Information: Foundations of Future Information Technologies (DP-PMI) | FCT | 01-01-2014 | 8 year(s) |
| Elven | Elven - Expressive Logics for VErifying the Net | EU/H2020 | 01-07-2016 | 3 year(s) |
| EntMeso | Entanglement and Transport Properties in Mesoscopic Systems | FCT/GRICES, CNRS | 01-01-2007 | 2 year(s) |
| GeTFun | GeTFun - Generalizing Truth-Functionality | EC/FP7 | 01-01-2013 | 4 year(s) |
| MoLC | Modular Analysis of Logical Calculli | FCT | 01-11-2017 | 4 year(s) |
| P-Quantum | Practical Quantum Communications | IT/LA | 01-09-2011 | 2 year(s) |
| PREDICT | Personalized therapy for RhEumatic DIseases via machine learning methods | FCT | 01-01-2019 | 3 year(s) |
| Q.DOT | SI I&DT Copromoção Nr. 039728 - Distributed Quantum Oblivious Transfer | P2020 | 01-10-2019 | 3 year(s) |
| QSCRIPTED | Quantum Secure Communication Field Experiment | Gabinete Nacional de Segurança | 10-05-2021 | 1 year(s) |
| QuantPrivTel | QuantPrivTel: Quantum PrivateTelecommunications | FCT/PTDC | 01-01-2010 | 4 year(s) |
| QuantumMining | Quantum Primitives for Privacy Preserving Data Mining | FCT | 01-09-2018 | 4 year(s) |
| QuantumPrime | Generation of Prime Numbers Enabled by Quantum Technologies for Cryptographic Applications | FCT | 01-02-2021 | 3 year(s) |
| QUESTS | QUANTUM ENABLED SECURITY AND PRIVACY IN VEHICULAR NETWORKS | FCT | 01-02-2020 | 3 year(s) |
| QuGENOME | Quantum Enabled Private Recognition of Composite Signals in Genome | EU | 01-12-2020 | 2 year(s) |
| QuRunner | Development of a quantum random number generator network server | IT | 01-02-2020 | 3 year(s) |