Participation in Projects

Running Projects:

Acronym Name Funding Agency Start date Duration
QuantaGenomics Quantum Enabled Secure Multiparty Computation for Genomic Medicine EU / FCT / Programme ERA-NET Cofund QuantERA II 01-05-2022 3 year(s)
QuantumPrime Generation of Prime Numbers Enabled by Quantum Technologies for Cryptographic Applications FCT 01-02-2021 3 year(s)

Closed projects:

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