Login / Signup
Joseph Nash
Publication Activity (10 Years)
Years Active: 2016-2020
Publications (10 Years): 3
Top Topics
Integrity Verification
Reactive Systems
Modeling Language
Data Integrity
Top Venues
CoRR
ACM Comput. Surv.
EuroSys
</>
Publications
</>
Anil Altinay
,
Joseph Nash
,
Taddeus Kroes
,
Prabhu Rajasekaran
,
Dixin Zhou
,
Adrian Dabrowski
,
David Gens
,
Yeoul Na
,
Stijn Volckaert
,
Cristiano Giuffrida
,
Herbert Bos
,
Michael Franz
BinRec: dynamic binary lifting and recompilation.
EuroSys
(2020)
Nathan Burow
,
Scott A. Carr
,
Joseph Nash
,
Per Larsen
,
Michael Franz
,
Stefan Brunthaler
,
Mathias Payer
Control-Flow Integrity: Precision, Security, and Performance.
ACM Comput. Surv.
50 (1) (2017)
Nathan Burow
,
Scott A. Carr
,
Stefan Brunthaler
,
Mathias Payer
,
Joseph Nash
,
Per Larsen
,
Michael Franz
Control-Flow Integrity: Precision, Security, and Performance.
CoRR
(2016)