Login / Signup
Pedro Bernardo
Publication Activity (10 Years)
Years Active: 2010-2023
Publications (10 Years): 1
Top Topics
Knowledge Discovery
Resource Constrained
Security Mechanisms
Top Venues
SP
</>
Publications
</>
Lorenzo Veronese
,
Benjamin Farinier
,
Pedro Bernardo
,
Mauro Tempesta
,
Marco Squarcina
,
Matteo Maffei
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms.
SP
(2023)
Marco de Sá
,
Luís Carriço
,
Joana Neca
,
Nádia Fernandes
,
Pedro Feiteira
,
Ricardo Pereira
,
Pedro Bernardo
,
João Faria
,
Isabel Sá
Ubiquitous geo-referenced social skills therapy.
UbiComp (Adjunct Papers)
(2010)