A Language for the Specification and Efficient Implementation of Type Systems
Master Thesis
Posts tagged “tu-darmstadt”
Confidentiality for Multithreaded Dalvik Programs by SIFUM Security
Bachelor Thesis
Seminar "Formal Specification"
Folien zu meinen Vortrag über "Security of Multithreaded Programs by Compilation"