PD Dr. Karsten Sohr
In Extended Abstracts of the 2020 Annual Symposium on Computer-Human Interaction in Play (CHI PLAY '20). Association for Computing Machinery, New York, NY, USA, 182–187. Bahrini, M., Zargham, N., Pfau, [...] K. Sohr and R. Koschke, "Static Extraction of Enforced Authorization Policies SeeAuthz," 2020 IEEE 20th International Working Conference on Source Code Analysis and Manipulation (SCAM), Adelaide, SA, Australia [...] In Proc. 7 th International Symposium on Engineering Secure Software and Systems ( ESSoS 2015 ), Milan, Italy, March 2015. C. Medrano, G.-J. Ahn, K. Sohr. Achieving Security Assurance with Assertion-Based