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á (UbiComp (Adjunct Papers), 2010)

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms. - Lorenzo Veronese; Benjamin Farinier; Pedro Bernardo; Mauro Tempesta; Marco Squarcina; Matteo Maffei (SP, 2023)

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 (USENIX Security Symposium, 2024)