| 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) |
