Fingerprint
Dive into the research topics where Otto Brechelmacher is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Research output
- 2 Conference Proceedings with Oral Presentation
-
Differential Property Monitoring for Backdoor Detection
Brechelmacher, O., Nickovic, D., Nießen, T., Sallinger, S. (Author and Speaker) & Weissenbacher, G., 2024, Formal Methods and Software Engineering : 25th International Conference on Formal Engineering Methods, (ICFEM) 2024. Ogata, K., Mery, D., Sun, M. & Liu, S. (eds.). 1 ed. Springer, Vol. 15394. p. 216-236 (Lecture Notes in Computer Science; vol. 15394).Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
-
A Vision For Enhancing Security Of Cryptography in Executables
Brechelmacher, O., Krenn, W. & Tarrach, T. (Speaker), 2018, Lecture Notes in Computer Science. Springer, p. 1-8 8 p.Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review