TY - THES AU - Holzinger, Philipp ID - 20522 TI - A Systematic Analysis and Hardening of the Java Security Architecture ER - TY - THES AU - Nguyen Quang Do, Lisa ID - 20524 TI - User-Centered Tool Design for Data-Flow Analysis ER - TY - CONF AU - Stockmann, Lars AU - Laux, Sven AU - Bodden, Eric ID - 20525 T2 - 2019 IEEE International Conference on Software Architecture Companion (ICSA-C) TI - Architectural Runtime Verification ER - TY - CONF AU - Hazhirpasand, Mohammadreza AU - Ghafari, Mohammad AU - Krüger, Stefan AU - Bodden, Eric AU - Nierstrasz, Oskar ID - 20527 SN - 1949-3770 T2 - 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) TI - The Impact of Developer Experience in Using Java Cryptography ER - TY - CONF AU - Piskachev, Goran AU - Petrasch, Tobias AU - Späth, Johannes AU - Bodden, Eric ID - 20528 T2 - 10th Workshop on Tools for Automatic Program Analysis (TAPAS) TI - AuthCheck: Program-state Analysis for Access-control Vulnerabilities ER - TY - CONF AU - Nachtigall, Marcus AU - Nguyen Quang Do, Lisa AU - Bodden, Eric ID - 20529 T2 - 1st International Workshop on Explainable Software (EXPLAIN) at ASE TI - Explaining Static Analysis -- A Perspective ER - TY - CONF AU - Luo, Linghui AU - Bodden, Eric AU - Späth, Johannes ID - 20531 T2 - IEEE/ACM International Conference on Automated Software Engineering (ASE 2019) TI - A Qualitative Analysis of Android Taint-Analysis Results ER - TY - CONF AU - Piskachev, Goran AU - Nguyen Quang Do, Lisa AU - Johnson, Oshando AU - Bodden, Eric ID - 20532 T2 - IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track TI - SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods ER - TY - JOUR AU - Krüger, Stefan AU - Späth, Johannes AU - Ali, Karim AU - Bodden, Eric AU - Mezini, Mira ID - 20533 JF - IEEE Transactions on Software Engineering KW - Java KW - Encryption KW - Static analysis KW - Tools KW - Ciphers KW - Semantics KW - cryptography KW - domain-specific language KW - static analysis SN - 2326-3881 TI - CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs ER - TY - CONF AU - Piskachev, Goran AU - Nguyen Quang Do, Lisa AU - Bodden, Eric ID - 20534 T2 - ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) TI - Codebase-Adaptive Detection of Security-Relevant Methods ER - TY - CONF AU - Luo, Linghui AU - Dolby, Julian AU - Bodden, Eric ID - 20535 T2 - European Conference on Object-Oriented Programming (ECOOP) TI - MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors ER - TY - THES AU - Späth, Johannes ID - 20536 TI - Synchronized Pushdown Systems for Pointer and Data-Flow Analysis ER - TY - GEN AU - Piskachev, Goran AU - Nguyen, Lisa AU - Bodden, Eric ID - 20537 TI - Codebase-Adaptive Detection of Security-Relevant Methods ER - TY - CONF AU - Albert Gorski Iii, Sigmund AU - Andow, Benjamin AU - Nadkarni, Adwait AU - Manandhar, Sunil AU - Enck, William AU - Bodden, Eric AU - Bartel, Alexandre ID - 20538 KW - ITSECWEBSITE KW - CROSSING T2 - ACM Conference on Data and Application Security and Privacy (CODASPY 2019) TI - ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware ER - TY - JOUR AU - Späth, Johannes AU - Ali, Karim AU - Bodden, Eric ID - 20539 IS - POPL JF - Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages KW - ATTRACT KW - ITSECWEBSITE KW - CROSSING SN - 2475-1421 TI - Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems VL - 3 ER - TY - CONF AU - Aßmuth, Verena AU - Teutenberg, Dominik AU - Meschut, Gerson ID - 20626 T2 - 19. Kolloquium Gemeinsame Forschung in der Klebtechnik TI - Analyse und Vorhersage rezeptur- und zeitabhängiger Enthaftungserscheinungen geklebter SMC-Bauteile ER - TY - CONF AU - Aßmuth, Verena AU - Teutenberg, Dominik AU - Meschut, Gerson ID - 20632 TI - Analysis of formulation- and aging-dependent failure phenomena of bonded Sheet Molding Compounds (SMC) ER - TY - GEN AU - Vogt, S AU - Neuhaus, D AU - Baumeister, Jochen ID - 20664 T2 - Sportmotorik 2019. Adaptation, Lernen und virtuelle Welten TI - Effects of different visual conditions on standing balance in a virtual reality scene: a pilot study ER - TY - GEN AU - Neuhaus, D AU - Vogt, S AU - Boschmann, A AU - Dosen, S AU - Baumeister, Jochen ID - 20665 T2 - Sportmotorik 2019. Adaptation, Lernen und virtuelle Welten TI - Effects of an augmented reality training using a myoelectric hand prosthesis: a pilot study ER - TY - GEN AU - Bonnette, S AU - Diekfuss, JA AU - Barber Foss, KD AU - DiCesare, CA AU - Riley, MA AU - Riehm, C AU - Moore, C AU - Grooms, DR AU - Myer, GD AU - Baumeister, Jochen ID - 20668 TI - A preliminary prospective Analysis of electrocortical signatures underlying ACL injury ER -