Organizers: Informatics Center, UFPE, Recife

Abstract

CROSSING Researcher Michael Schlichtig 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.

Event info

The talk will be held on Friday, April 11 2025, from 10 – 11am (local time) at UFPE's Informatics Center (CIn), Block E, rooms 401/402.

Target group are undergraduate and postgraduate students and researchers. Admission is free – no registration required.