Imperial College London
Alternate

Emeritus ProfessorSusanEisenbach

Faculty of Engineering, Department of Computing

Emeritus Professor of Computing
 
 
 
//

Contact

 

s.eisenbach Website

 
 
//

Location

 

Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@techreport{Drossopoulou:2022,
author = {Drossopoulou, S and Eisenbach, S},
booktitle = {Departmental Technical Report: 96/8},
publisher = {Department of Computing, Imperial College London},
title = {Java is type safe -- probably},
url = {http://hdl.handle.net/10044/1/95175},
year = {2022}
}
Download

RIS format (EndNote, RefMan)

TY  - RPRT
AB  - Amidst rocketing numbers of enthusiastic Java programmers and internet applet users, there is growing concern about the security of executing Java code produced by external, unknown sources. Rather than waiting to find out empirically what damage Java programs do, we aim to examine first the language and then the environment, looking for points of weakness. A proof of the soundness of the Java type system is a first, necessary step towards demonstrating which Java programs won't compromise computer security.We consider a type safe subset of Java describing primitive types, classes, inheritance, instance variables and methods, interfaces, shadowing, dynamic method binding, object creation, null and arrays. We argue that for this subset the type system is sound, by proving that program execution preserves the types, up to subclasses/subinterfaces.
AU  - Drossopoulou,S
AU  - Eisenbach,S
PB  - Department of Computing, Imperial College London
PY  - 2022///
TI  - Java is type safe -- probably
T1  - Departmental Technical Report: 96/8
UR  - http://hdl.handle.net/10044/1/95175
ER  -
Download