Pedro Bernardo

According to our database, Pedro Bernardo authored at least 2 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms.

Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, Matteo Maffei

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

2010

Ubiquitous geo-referenced social skills therapy.

Marco de Sá, Luís Carriço, Joana Neca, Nádia Fernandes, Pedro Feiteira, Ricardo Pereira, Pedro Bernardo, João Faria, Isabel Sá

Proceedings of the UbiComp 2010: Ubiquitous Computing, 12th International Conference, 2010