Skip to main content
Logo der Gesellschaft für Informatik e.V.Logo der Gesellschaft für Informatik e.V.
de

Current News

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.
read more

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…
read more

Can formal methods help you? Matt Wilding reports!

At the next Trustworthy Tuesday Matt Wilding from DARPA answers whether and how can help you. Join us!
read more

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…
read more

Tired of Bugs? Find them!

At the next Trustworthy Tuesday session, Lucas Deutschmann will discuss the UPEC method from the field of formal verification, which can be used to…
read more

Let them eat (mun)cake!

This month's Trustworthy Tuesday is all about cake: Albert Rizaldi present muncake.
read more

Trust like a Lion - the Operating System LionsOS

At the next session of Trustworthy Tuesday, the operating system LionsOS will be at the center.
read more
Announcement

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…
read more

Language-based Verification? Probably secure!

Trustworthy Tuesday is back! Pajam Pauls presents Language-Based Verification of Probability Security.
read more

Is everything a simulation - how can simulations-based testing build trustworthy IT?

Chiara Ghinami brings Virtual Prototypes and simulation-based Testing to Trustworthy Tuesday this month.
read more

Cookie Settings

We use cookies mainly for anonymous statistical purposes. We use a tool called matomo for this and here only a small part of your IP is saved, nothing more. The Tool is hosted by ourself so no data is transferred to third parties.

Legal notice
Privacy policy