Posts tagged “tu-darmstadt”

October 8, 2015 studium tu-darmstadt A Language for the Specification and Efficient Implementation of Type Systems
Master Thesis

October 8, 2015 tu-darmstadt Confidentiality for Multithreaded Dalvik Programs by SIFUM Security
Bachelor Thesis

December 15, 2011 mais tu-darmstadt Seminar "Formal Specification"
Folien zu meinen Vortrag über "Security of Multithreaded Programs by Compilation"