Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

M. Keil and Thiemann, P., “Efficient Dynamic Access Analysis Using JavaScript Proxies”, in Proceedings of the 9th Symposium on Dynamic Languages (DLS 2013), 2013.