Zum Hauptinhalt springen
Logo der Gesellschaft für Informatik e.V.Logo der Gesellschaft für Informatik e.V.
en

Aktuelle Meldungen

Verification Is Not Generation: Intent, Evidence, and Sign-off in the Age of AI

Every major advance in electronic design automation has not eliminated the role of the engineer—it has altered it. AI is proving to be no different.
weiterlesen

AI in Kry10's world

As AI increasingly permeates our world, Kry10 CEO Boyd Multerer responds to one of the most common questions he gets asked, “What is Kry10 actually…
weiterlesen

Können formale Methoden dir helfen? Matt Wilding berichtet!

Bei dem nächsten Trustworthy Tuesday versucht Matt Wilding von DARPA, zu beantworten ob und wie formale Methoden dir helfen können. Sei dabei!
weiterlesen

Formal Analysis from Design to Deployment

How Signal uses verification tools to secure their code Karthik Bhargavan, Franziskus Kiefer The advent of powerful AI agents has given attackers…
weiterlesen

Müde von Bugs? Finde Sie!

In der nächsten Sitzung Trustworthy Tuesday spricht Lucas Deutschmann über die Methode UPEC aus der formalen Verifikation, mit der systematisch…
weiterlesen

Lasst Sie (Mun)Cake essen!

Bei Trustworthy Tuesday dreht sich diesen Monat alles um Kuchen: Albert Rizaldi stellt Muncake vor.
weiterlesen

Vertrauen wie ein Löwe - das Betriebssystem LionsOS

Bei der nächsten Session Trustworthy Tuesday dreht sich alles um das Betriebssystem LionsOS.
weiterlesen
Meldung

AI vs. Formal Verification: contradiction or complementary?

While AI-assisted tools are revolutionizing how quickly we uncover software vulnerabilities, formal verification remains a powerful and mathematically…
weiterlesen

Language-based Verification? Probably secure!

Trustworthy Tuesday ist zurück! Pajam Pauls stellt seine Präsentation zu Sprachbasierter Verifikation von Probablilistischer Sicherheitsanalyse vor.
weiterlesen

Alles nur eine Simulation - wie kann simulationsbasiertes Testen vertrauenswürdige IT schaffen?

Chiara Ghinami bringt diesen Monat Virtual Prototypes und simulationsbasiertes Testen zu Trustworthy Tuesday
weiterlesen

Cookie Einstellungen

Auf unserer Webseite werden Cookies verwendet. Einige davon werden zwingend benötigt, während es uns andere ermöglichen, Ihre Nutzererfahrung auf unserer Webseite zu verbessern. Wir bitten hiermit um Erlaubnis, die folgenden Cookies verwenden zu dürfen. Diese Einwilligung ist freiwillig, nicht für die Nutzung der Website erforderlich und kann jederzeit widerrufen werden.

Essentielle Cookies werden für grundlegende Funktionen der Webseite wie z.B. für die Anmeldung im Mitgliederbereich benötigt. Dadurch ist gewährleistet, dass die Webseite einwandfrei funktioniert.

Name omCookieConsent
Anbieter gi.de
Laufzeit 1 Jahr
Zweck Enthält die gewählten Tracking-Optin-Einstellungen.
Name fe_typo_user / PHPSESSID
Anbieter gi.de
Laufzeit aktuelle Session
Zweck Dieses Cookie ist ein Standard-Session-Cookie von TYPO3. Es speichert im Falle eines Benutzer-Logins die Session-ID. So kann der eingeloggte Benutzer wiedererkannt werden und es wird ihm Zugang zu geschützten Bereichen gewährt.

Diese Gruppe beinhaltet alle Skripte für analytisches Tracking und zugehörige Cookies. Es hilft uns die Nutzererfahrung der Website zu verbessern.

Name _pk_id.1.9dca
Anbieter Matomo
Laufzeit 13 Monate
Zweck Dieses Cookie wird von der Open-Source-Software Matomo für die statistische Auswertung der Besucherzugriffe verwendet.
Name _pk_ses.1.9dca
Anbieter Matomo
Laufzeit 30 Minuten
Zweck Dieses Cookie wird von der Open-Source-Software Matomo für die statistische Auswertung der Besucherzugriffe verwendet.
Impressum
Datenschutzerklärung