Old Web
English
Sign In
Acemap
>
authorDetail
>
Marco Stronati
Marco Stronati
French Institute for Research in Computer Science and Automation
Computer science
Computer security
Abstract machine
Undefined behavior
Compiler
5
Papers
1563
Citations
0.01
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
2018
CCS | Computer and Communications Security
Carmine Abate
Arthur Azevedo de Amorim
Roberto Blanco
Ana Nora Evans
Guglielmo Fachini
Cătălin Hriţcu
Théo Laurent
Benjamin C. Pierce
Marco Stronati
Andrew Tolmach
Show All
Source
Cite
Save
Citations (23)
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
2018
CCS | Computer and Communications Security
Carmine Abate
Arthur Azevedo de Amorim
Roberto Blanco
Ana Nora Evans
Guglielmo Fachini
Catalin Hritcu
Théo Laurent
Benjamin C. Pierce
Marco Stronati
Andrew Tolmach
Show All
Source
Cite
Save
Citations (0)
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
2018
CCS | Computer and Communications Security
Carmine Abate
Arthur Azevedo de Amorim
Roberto Blanco
Ana Nora Evans
Guglielmo Fachini
Cătălin Hriţcu
Théo Laurent
Benjamin C. Pierce
Marco Stronati
Andrew Tolmach
Show All
Source
Cite
Save
Citations (11)
Membership Inference Attacks Against Machine Learning Models
2017
S&P | IEEE Symposium on Security and Privacy
Reza Shokri
Marco Stronati
Congzheng Song
Vitaly Shmatikov
Show All
Source
Cite
Save
Citations (1452)
Membership Inference Attacks against Machine Learning Models
2016
arXiv: Cryptography and Security
Reza Shokri
Marco Stronati
Congzheng Song
Vitaly Shmatikov
Show All
Source
Cite
Save
Citations (77)
1