Lucas C. Cordeiro

Eine Studie zeigt Schwachstellen im Code, der von grossen Sprachmodellen erzeugt wurde.

Dieser Bericht behandelt Methoden zur Verbesserung der Speichersicherheit in KI-Neuronalen Netzen.

Diese Studie untersucht, wie Intervallanalyse die Effektivität des Bounded Model Checking verbessert.

ESBMC-Python hilft, die Korrektheit von Python-Code mithilfe von Typannotationen und begrenztem Modellchecking zu überprüfen.

Ein neuer Ansatz verbessert das föderierte Lernen, indem er synthetische Daten generiert und dabei die Privatsphäre schützt.