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

Our blog posts 

Trustworthy IT and Software-Defined Systems: it’s all about connecting the dots

This article examines the extent to which collaboration between academic research, applied research, and industry can be successful. It highlights how…
read more

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

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
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

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