Author of the publication

Analysis of Potential Code Vulnerabilities Involving Overlapping Instructions.

, , , and . SAFECOMP Workshops, volume 10489 of Lecture Notes in Computer Science, page 103-113. Springer, (2017)

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

Evidence-Based Verification of Safety Properties Concerning the Cooperation of Autonomous Agents., and . SEAA, page 81-88. IEEE Computer Society, (2018)Analysis of Potential Code Vulnerabilities Involving Overlapping Instructions., , , and . SAFECOMP Workshops, volume 10489 of Lecture Notes in Computer Science, page 103-113. Springer, (2017)Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen.. University of Erlangen-Nuremberg, Germany, (2018)Testing for IT Security: A Guided Search Pattern for Exploitable Vulnerability Classes., , , , and . SAFECOMP Workshops, volume 12853 of Lecture Notes in Computer Science, page 105-116. Springer, (2021)A Guided Search for Races Based on Data Flow Patterns., , , , and . SAFECOMP Workshops, volume 13415 of Lecture Notes in Computer Science, page 47-58. Springer, (2022)