BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
D.Chisnall B.Davis K.Gudka Alexandre Joannou J.Woodruff A. Theodore Markettos J. Edward Maste Robert M. Norton Stacey D. Son M.Roe S.W.Moore P.G.Neumann Ben Laurie R.N.M.Watson
Talks about:
secur (1) model (1) cheri (1) sink (1) java (1) jni (1)

Person: David Brazdil

DBLP DBLP: Brazdil:David

Contributed to:

ASPLOS 20172017

Wrote 1 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.