◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Marco Patrignani

23 papers hereh-index 191.1k citations70 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author1
  • first author5
  • middle author11
  • last author5

Across the 22 of 23 papers where every author was matched, so the position is known.

fields
  • cs.PL13
  • cs.CR9
  • cs.SE1

identity via Semantic Scholar / OpenAlex

activity
20162026
most citedJourney Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation

60 citations · 119 across the 21 of their papers we have counts for

collaborators
Showing 2022Show all

2 papers · 1 filter

cs.CR2022★ 1 cited

Automatic Detection of Speculative Execution Combinations

Xaver Fabian, Marco Guarnieri, Marco Patrignani

Modern processors employ different prediction mechanisms to speculate over different kinds of instructions. Attackers can exploit these prediction mechanisms simultaneously in orde…

cs.CR2022★ 1 cited

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code

Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya +7

Most programs compiled to WebAssembly (Wasm) today are written in unsafe languages like C and C++. Unfortunately, memory-unsafe C code remains unsafe when compiled to Wasm -- and a…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.