ComFormCrypt |
ComFormCrypt - Computational Semantics of Formal Methods in Cryptography |
FCT/PTDC |
01-02-2011 |
01-07-2014 |
Confident |
Confident - Communication Contracts for Distributed Systems Development |
FCT |
01-05-2016 |
01-05-2019 |
CV-Quantum |
Improving Security and Capacity Using Continuous Variables Quantum Communications |
IT/LA |
01-02-2014 |
01-06-2016 |
DP-PMI |
Doctoral Programme in the Physics and Mathematics of Information: Foundations of Future Information Technologies (DP-PMI) |
FCT |
01-01-2014 |
01-12-2021 |
P-Quantum |
Practical Quantum Communications |
IT/LA |
01-09-2011 |
01-08-2013 |
PREDICT |
Personalized therapy for RhEumatic DIseases via machine learning methods |
FCT |
01-01-2019 |
31-12-2021 |
QSec |
Quantum Security |
FCT/PTDC |
01-11-2007 |
01-10-2009 |
QuanLog |
Logic in Quantum Computation and Information |
FCT/POCI |
01-01-2005 |
01-12-2007 |
QuantPrivTel |
QuantPrivTel: Quantum PrivateTelecommunications |
FCT/PTDC |
01-01-2010 |
01-06-2013 |
QuantTel |
Quantum Secure Telecommunications |
IT/LA |
01-11-2008 |
01-10-2010 |
QuGENOME |
Quantum Enabled Private Recognition of Composite Signals in Genome |
EU |
01-12-2020 |
31-12-2021 |