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

Aktuelle Meldungen

Kaum sicher? Trustworthy Tuesday zu Hardware Sicherheit

Pascal Sasdrich spricht in der 5. Session von Trustworthy Tuesday über die Verifizierung von Hardwaresicherheit
weiterlesen

Call for Presentations and Verification Challenges

Der EVIT-Workshop, der parallel zur CAV 2026 stattfindet, bittet um Ihre Beiträge!
weiterlesen

Alles 4. Edition: Trustworthy Tuesday #4 über seL4

Im neuen Jahr startet Trustworthy Tuesday mit einer Session über Multikernel: June Andronick spricht über seL4.
weiterlesen

Generating Trust(worthy Tuesday): Diesen Monat über Property Generator

Diesen Monat spricht Mo Fadiheh über Property Generator bei Trustworthy Tuesday!
weiterlesen

Trustworthy Tuesday rockt hart(ware)

Trustworthy Tuesday rockt weiter! Diesen Monat gibt Wolfgang Kunz eine Einführung zur Formalen Hardware Verifikation. Kommt vorbei!
weiterlesen

Trustworthy Tuesday startet am 22.10.

Trustworthy Tuesday ist eine kompakte Webinarreihe in der Mittagszeit, das spannende Einblicke in das Feld vertrauenswürdige IT-Systeme und formale…
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