Max Thalmaier

Acceleration of RSA Cryptographic Operations Using FPGA Technology

Martin Klein, Jan Zutter, Max Thalmaier, 2009, 2009 20th International Workshop on Database and Expert Systems Application.

Analyzing k-step induction to compute invariants for SAT-based property checking

Markus Wedler, Dominik Stoffel, Wolfgang Kunz, 2010, Design Automation Conference.

A re-use methodology for formal SoC protocol compliance verification

Markus Wedler, Dominik Stoffel, Wolfgang Kunz, 2009, 2009 Forum on Specification & Design Languages (FDL).

Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants

Markus Wedler, Dominik Stoffel, Wolfgang Kunz, 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.