Filipe Manuel Rodrigues Casal

Former IT academic position:	External Author
Joining/Leaving IT dates:	15-10-2013 / 31-12-2021
Roles held in IT:
Former IT thematic line:	Networks and Services
Group:	Security and Quantum Information - Lx

Degrees

Expertise Topics

Computability, Computational Complexity and Kolmogorov Complexity relative to Arithmetic Oracles

Publications

3Papers in Journals

C. Caleiro, F. Casal, A. Mordido, Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities, Theoretical Computer Science, Vol. 781, No. 1, pp. 39 - 62, August, 2019 | BibTex
A. Souto, F. Casal, J. Rasga, Kolmogorov One-Way Functions Revisited, Designs, Codes, and Cryptography, Vol. 2, No. 2, pp. 9 - 9, April, 2018,
| Abstract | Full text (PDF 289 KBs) | BibTex
C. Caleiro, F. Casal, A. Mordido, Generalized probabilistic satisfiability, Theoretical Computer Science, Vol. 332, No. 0, pp. 39 - 56, June, 2017 | BibTex

2Papers in Conferences

C. Caleiro, F. Casal, A. Mordido, Classical generalized probabilistic satisfiability, International Joint Conference on Artificial Intelligence - IJCAI, Melbourne, Australia, August, 2017 | BibTex
F. Casal, J. Rasga, Revisiting the Equivalence of Shininess and Politeness, International Conf. on Logic for Programming, Artificial Intelligence and Reasoning - LPAR, Stellenbosch, South Africa, Vol. 8312, pp. 1 - 15, December, 2013 | BibTex

Projects

Acronym	Name	Funding Agency	Start date	Ending date
ComFormCrypt	ComFormCrypt - Computational Semantics of Formal Methods in Cryptography	FCT/PTDC	01-02-2011	01-07-2014

Other Scientific Achievements

F. Casal, J. Rasga, SMT and Theory Combination Techniques, Portugal, Days in Logic '14, Braga, 01-2014