SILVER - Statistical Independence and Leakage Verification

2020 - David Knichel, Pascal Sasdrich, Amir Moradi

26th Annual International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2020, Daejeon, Korea, December 6-10, 2020. [pdf] [GitHub]

A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip

2018 - Tomás Grimm, Michael Hübner, Djones Lettnin

Electronics, MDPI, Special Issue Hardware and Architecture [Website]

Semiformal Verification of Software-controlled Connections

2017 - Tomás Grimm, Lettnin, Djones, Michael Hübner

IEEE Com­pu­ter So­cie­ty An­nual Sym­po­si­um on VLSI, 2017

Automatic Generation of RTL Connectivity Checkers for Automotive Gateways from SystemC TLM Models

2016 - Tomás Grimm, Lettnin, Djones, Michael Hübner

IEEE Nordic Circuits and Systems Conference 2017

Trustworthy Visualisation and Verification of Multiple XML-Signatures

2005 - Jörg Schwenk, Sebastian Gajek, Wolfgang Kubbilun

In CMS 2005: Proceedings of the 9th IFIP International Conference on Communications and Multimedia Security, Lecture Notes in Computer Science, volume 3677, pages 311-320, Springer, 2005. [Springer]