Pedro Bernardo

Identifiers

• name variant Pedro Bernardo 0.60 · backfill

Papers (1)

1. WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms cs.CR · 2022 · author #3

Mentions

• 2201.01649 #3 · arxiv_oai · confidence 0.70 Pedro Bernardo

Frequent Coauthors

• Benjamin Farinier 1 shared papers
• Lorenzo Veronese 1 shared papers
• Marco Squarcina 1 shared papers
• Matteo Maffei 1 shared papers
• Mauro Tempesta 1 shared papers