Publications

Publications of Dietl, W. [rss]

	2004
	A Type System for Checking Applet Isolation in Java Card. W. Dietl, P. Müller, A. Poetzsch-Heffter, In Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS) (G. Barthe, L. Burdy, M. Huisman, J.-L. Lanet, T. Muntean, eds.), Springer-Verlag, volume 3362, 2004. [pdf] [bib]
	Exceptions in Ownership Type Systems. W. Dietl, P. Müller, In Formal Techniques for Java Programs (E. Poll, ed.), 2004. [pdf] [bib]