Catuscia Palamidessi

Institut national de recherche en informatique et en automatiqueFrance

Computer Science · Physical Sciences

40h-index7.4kcitations448works1.22yr avg

Accepting Students?

No reports yet. Know if this professor is taking students?


Research Topics

Logic, programming, and type systems(112), Privacy-Preserving Technologies in Data(99), Formal Methods in Verification(95), Logic, Reasoning, and Knowledge(82), Cryptography and Data Security(71)

Publications448 total

Journal of Computer Security·2025Open Access
IEEE Transactions on Dependable and Secure Computing·2025Open Access
Proceedings on Privacy Enhancing Technologies·2025Open Access
ACM SIGLOG News·2025
ACM SIGLOG News·2024
Journal of Logical and Algebraic Methods in Programming·2024· 9 citedOpen Access
Data Mining and Knowledge Discovery·2024· 7 citedOpen Access
page 1 of 23Next →

Frequent Co-authors

Konstantinos Chatzikokolakis(19), Frank Valencia(6), Miguel E. Andrés(5), Mário S. Alvim(5), Prakash Panangaden(5), Frank S. de Boer(5), Geoffrey Smith(4), Moreno Falaschi(4), Giorgio Levi(4), Nicolás E. Bordenabe(3), Maurizio Martelli(3), Marco Stronati(3), Mogens Nielsen(3), Karima Makhlouf(3), Sami Zhioua(3), Annabelle McIver(2), Yuxin Deng(2), Jun Pang(2), Maurizio Gabbrielli(2), Kostas Chatzikokolakis(1)