BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Roberto Guanciale
SearchCollections
Map detail
Roberto Guanciale7 visible / 7 total nodes / 6 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRoberto GuancialeARoberto GuancialeResearcherInSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal AnalysisWInSpectre: Breaking and...preprint / 2020An Abstract Semantics of the Global View of ChoreographiesWAn Abstract Semantics o...preprint / 2016An Abstract Framework for Choreographic TestingWAn Abstract Framework f...preprint / 2020Speculative Leakage in ARM Cortex-A53WSpeculative Leakage in ...preprint / 2020Validation of Abstract Side-Channel Models for Computer ArchitecturesWValidation of Abstract ...preprint / 2020Forward Symbolic Execution for Trustworthy Automation of Binary Code VerificationWForward Symbolic Execut...preprint / 2026
Person6 links

Roberto Guanciale

Researcher

PaperInSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal AnalysisAuthorship / preprint / 2020PaperAn Abstract Semantics of the Global View of ChoreographiesAuthorship / preprint / 2016PaperAn Abstract Framework for Choreographic TestingAuthorship / preprint / 2020PaperSpeculative Leakage in ARM Cortex-A53Authorship / preprint / 2020PaperValidation of Abstract Side-Channel Models for Computer ArchitecturesAuthorship / preprint / 2020PaperForward Symbolic Execution for Trustworthy Automation of Binary Code VerificationAuthorship / preprint / 2026

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)