External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Cornucopia: Temporal Safety for CHERI Heaps

Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Sam Ainsworth, Lucian Paul-Trifu, Brooks Davis, Hongyan Xia, Edward Tomasz Napierala, Alexander Richardson, John Baldwin, David Chisnall, Jessica Clarke, Khilan Gudka, Alexandre Joannou, A. Theodore Markettos, Alfredo Mazzinghi, Robert M. Norton, Michael Roe, Peter Sewell, Stacey D. Son, Timothy M. Jones 0001, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson. Cornucopia: Temporal Safety for CHERI Heaps. In 2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020. pages 608-625, IEEE, 2020. [doi]

Authors

Nathaniel Wesley Filardo

This author has not been identified. Look up 'Nathaniel Wesley Filardo' in Google

Brett F. Gutstein

This author has not been identified. Look up 'Brett F. Gutstein' in Google

Jonathan Woodruff

This author has not been identified. Look up 'Jonathan Woodruff' in Google

Sam Ainsworth

This author has not been identified. Look up 'Sam Ainsworth' in Google

Lucian Paul-Trifu

This author has not been identified. Look up 'Lucian Paul-Trifu' in Google

Brooks Davis

This author has not been identified. Look up 'Brooks Davis' in Google

Hongyan Xia

This author has not been identified. Look up 'Hongyan Xia' in Google

Edward Tomasz Napierala

This author has not been identified. Look up 'Edward Tomasz Napierala' in Google

Alexander Richardson

This author has not been identified. Look up 'Alexander Richardson' in Google

John Baldwin

This author has not been identified. Look up 'John Baldwin' in Google

David Chisnall

This author has not been identified. Look up 'David Chisnall' in Google

Jessica Clarke

This author has not been identified. Look up 'Jessica Clarke' in Google

Khilan Gudka

This author has not been identified. Look up 'Khilan Gudka' in Google

Alexandre Joannou

This author has not been identified. Look up 'Alexandre Joannou' in Google

A. Theodore Markettos

This author has not been identified. Look up 'A. Theodore Markettos' in Google

Alfredo Mazzinghi

This author has not been identified. Look up 'Alfredo Mazzinghi' in Google

Robert M. Norton

This author has not been identified. Look up 'Robert M. Norton' in Google

Michael Roe

This author has not been identified. Look up 'Michael Roe' in Google

Peter Sewell

This author has not been identified. Look up 'Peter Sewell' in Google

Stacey D. Son

This author has not been identified. Look up 'Stacey D. Son' in Google

Timothy M. Jones 0001

This author has not been identified. Look up 'Timothy M. Jones 0001' in Google

Simon W. Moore

This author has not been identified. Look up 'Simon W. Moore' in Google

Peter G. Neumann

This author has not been identified. Look up 'Peter G. Neumann' in Google

Robert N. M. Watson

This author has not been identified. Look up 'Robert N. M. Watson' in Google
runs on