A Language for the Specification and Efficient Implementation of Type Systems Published on 8.10.2015 studium tu-darmstadt
Confidentiality for Multithreaded Dalvik Programs by SIFUM Security Published on 8.10.2015 tu-darmstadt