Manuel Barbosa
About
Manuel Barbosa has authored 30 papers that have received a total of 492 indexed citations.
This includes 25 papers in Artificial Intelligence, 8 papers in Information Systems and 5 papers in Computer Networks and Communications. The topics of these papers are Security and Verification in Computing (16 papers), Cryptography and Data Security (15 papers) and Cryptographic Implementations and Security (13 papers). Manuel Barbosa is often cited by papers focused on Security and Verification in Computing (16 papers), Cryptography and Data Security (15 papers) and Cryptographic Implementations and Security (13 papers) and collaborates with scholars based in Portugal, Spain and France. Manuel Barbosa's co-authors include Gilles Barthe, José Bacelar Almeida, Pierre-Yves Strub, Benjamin Grégoire and Daniel Page and has published in prestigious journals such as Lecture notes in computer science, ACM SIGPLAN Notices and Journal of Cryptology
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Fabien Brouillet are published in Top authors papers by Bebonchu Atems are co-authored with Top fields papers by David Glickenstein are about Top authors papers by Ya Chen are co-authored with Top fields papers by Tianniu Chen are about Top countries impacted by papers by Lili Xu Top fields papers by Elizabeth Will are about Top journals papers by Maximilian Semmling are published in