Travelled to:1 × Turkey
Collaborated with:D.Chisnall R.N.M.Watson J.Woodruff S.W.Moore B.Davis P.G.Neumann K.Gudka Alexandre Joannou A. Theodore Markettos J. Edward Maste Robert M. Norton Stacey D. Son Ben Laurie C.Rothwell M.Vadera David Brazdil Alexander Richardson John Baldwin James Clarke N.W.Filardo Alfredo Mazzinghi Edward Tomasz Napierala P.Sewell
Talks about:pointer (2) cheri (2) architectur (1) privileg (1) abstract (1) support (1) environ (1) proven (1) memori (1) machin (1)
Person: Michael Roe
DBLP: Roe:Michael
Contributed to:
201520172019Wrote 3 papers:
- ASPLOS-2015-ChisnallRWWVMRD #architecture #automaton #c
- Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine (DC, CR, RNMW, JW, MV, SWM, MR, BD, PGN), pp. 117–130.
- ASPLOS-2017-ChisnallDGBJWMM #c #java #security
- CHERI JNI: Sinking the Java Security Model into the C (DC, BD, KG, DB, AJ, JW, ATM, JEM, RMN, SDS, MR, SWM, PGN, BL, RNMW), pp. 569–583.
- ASPLOS-2019-DavisWRNMBCCFGJ #c #named #pointer #runtime
- CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment (BD, RNMW, AR, PGN, SWM, JB, DC, JC, NWF, KG, AJ, BL, ATM, JEM, AM, ETN, RMN, MR, PS, SDS, JW), pp. 379–393.