Author of the publication

Probabilistic Verification of Multiple-Valued Functions

, and . Universität Trier, Mathematik/Informatik, Forschungsbericht, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An Equivalence-Preserving Transformation of Shift Registers.. SETA, volume 8865 of Lecture Notes in Computer Science, page 187-199. Springer, (2014)Power-security trade-off in multi-level power analysis countermeasures for FSR-based stream ciphers., and . ISCAS, page 81-84. IEEE, (2012)Keyed logic BIST for Trojan detection in SoC., , , and . ISSoC, page 1-4. IEEE, (2014)An Improved Hardware Implementation of the Quark Hash Function., and . RFIDSec, volume 8262 of Lecture Notes in Computer Science, page 113-127. Springer, (2013)Far Field EM Side-Channel Attack on AES Using Deep Learning., , and . ASHES@CCS, page 35-44. ACM, (2020)Bio-inspired fault-tolerance.. BIONETICS, page 2. ICST / ACM, (2008)Protecting Ring Oscillator Physical Unclonable Functions Against Modeling Attacks., and . ICISC, volume 8565 of Lecture Notes in Computer Science, page 241-255. Springer, (2013)Is Your FPGA Transmitting Secrets: Covert Antennas from Interconnect., , , and . IPDPS Workshops, page 79-84. IEEE, (2023)A side-channel resistant implementation of AES combining clock randomization with duplication., , , , and . ISCAS, page 1-5. IEEE, (2023)Side-Channel Analysis of the Random Number Generator in STM32 MCUs., and . ACM Great Lakes Symposium on VLSI, page 15-20. ACM, (2022)