Otto Brechelmacher

According to our database, Otto Brechelmacher authored at least 2 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Differential Property Monitoring for Backdoor Detection.

Otto Brechelmacher, Dejan Nickovic, Tobias Nießen, Sarah Sallinger, Georg Weissenbacher

Proceedings of the Formal Methods and Software Engineering, 2024

2018

A Vision for Enhancing Security of Cryptography in Executables.

Otto Brechelmacher, Willibald Krenn, Thorsten Tarrach

Proceedings of the Engineering Secure Software and Systems - 10th International Symposium, 2018