Collaborated with:B.Davis R.N.M.Watson Alexander Richardson P.G.Neumann S.W.Moore John Baldwin D.Chisnall James Clarke N.W.Filardo K.Gudka Alexandre Joannou Ben Laurie A. Theodore Markettos J. Edward Maste Edward Tomasz Napierala Robert M. Norton M.Roe P.Sewell Stacey D. Son J.Woodruff
Talks about:pointer (2) privileg (1) environ (1) proven (1) enforc (1) valid (1) posix (1) minim (1) cheri (1) time (1)
Person: Alfredo Mazzinghi
DBLP: Mazzinghi:Alfredo
Contributed to:
2019Wrote 1 papers:
- 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.