Pedro Bernardo

According to our database, Pedro Bernardo authored at least 3 papers between 2010 and 2024.

Collaborative distances:

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

2024

Web Platform Threats: Automated Detection of Web Security Issues With WPT.

Pedro Bernardo, Lorenzo Veronese, Valentino Dalla Valle, Stefano Calzavara, Marco Squarcina, Pedro Adão, Matteo Maffei

Proceedings of the 33rd USENIX Security Symposium, 2024

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