D-INFK News Channel
Alle Geschichten mit dem Stichwort ICE - Center for programmable and dependable networked systems
ChainSecurity und PwC Schweiz
Um Marktwachstum und Produktentwicklung voranzutreiben, hat sich das ETH Spin-Off ChainSecurity mit PricewaterhouseCoopers Schweiz zusammengetan. (Englisch)
Neuer Scanner für smarte Verträge
Start-up ChainSecurity (Prof. Vechev, Dr. Tsankov) veröffentlicht Securify, ein neues Tool, das Smarte Verträge einfacher und zuverlässiger scannen kann. (Englisch)