Research Visit: Securely using Java APIs

Michael Schlichtig explores usable security with researchers in Brazil

2025/04/11 by

CROSSING researcher Michael Schlichtig from Paderborn University is spending a month in Brazil to strengthen international collaboration in secure software engineering. His visit includes seminars at UnB in Brasília and UFPE in Recife, where he presents his research including new AI-based approaches to support delevopers in using Java APIs securly.

CROSSING researcher Michael Schlichtig and Professor Rodrigo Bonifacio de Almeida in front of the Informatics Center of UFPE in Recife, Brasil.

Michael Schlichtig, a doctoral student of Prof. Eric Bodden at the Heinz Nixdorf Institute of Paderborn University and a member of the Collaborative Research Center CROSSING, is currently on a one-month research stay in Brazil. Supported by CROSSING, the visit is hosted by Associate Professor Rodrigo Bonifacio de Almeida at the Universidade de Brasília and focuses on advancing static analysis research in secure and usable cryptographic APIs.

During his stay, Michael Schlichtig exchanges ideas with local researchers and presents his work on tools that help developers avoid mistakes when using Java APIs. A highlight of his trip is a talk at the Informatics Center of Universidade Federal de Pernambuco (UFPE) in Recife, where he will present how flaws in the use of APIs – especially cryptographic ones – can compromise the security of applications. The presentation Helping Developers Reduce Misuse of Java APIs draws on his doctoral research on tools such as the static analysis tool CogniCrypt and explores how usability of systems impacts their adoption by developers. He also proposes solutions focused on AI-driven assistance to improve usability and make secure software development more accessible. Following the presentation, a discussion on how to employ static analysis for sementic conflict detection.

This research visit shows CROSSING’s commitment to international exchange and the development of practical tools for secure software engineering. We look forward to hearing more about the outcomes of this collaboration once Michael returns.

Join Michael Schlichtig's Talk at UFPE in Recife

Talk: Helping Developers Reduce Misuse of Java APIs
by Michael Schlichtig, University of Paderborn

When: Friday, April 11 2025, from 10 – 11am (local time)
Where: UFPE's Informatics Center (CIn), Block E, rooms 401/402

Free admission, no registration required.

Target group: Undergraduate and postgraduate students and researchers.