Context-sensitive detection of information exposure bugs with symbolic execution. - Paul Muntean 001; Claudia Eckert 001; Andreas Ibing (InnoSWDev@SIGSOFT FSE, 2014)

SMT-constrained symbolic execution engine for integer overflow detection in C code. - Paul Muntean 001; Mustafizur Rahman; Andreas Ibing; Claudia Eckert 001 (ISSA, 2015)

Automated Detection of Information Flow Vulnerabilities in UML State Charts and C Code. - Paul Muntean 001; Adnan Rabbi; Andreas Ibing; Claudia Eckert 001 (QRS Companion, 2015)

Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT. - Paul Muntean 001; Vasantha Kommanapalli; Andreas Ibing; Claudia Eckert 001 (SAFECOMP, 2015)

Mobile Robot Navigation on Partially Known Maps using a Fast A Star Algorithm Version. - Paul Muntean 001 (CoRR, 2016)

Practical Integer Overflow Prevention. - Paul Muntean 001; Jens Grossklags; Claudia Eckert 001 (CoRR, 2017)

CastSan: Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM. - Paul Muntean 001; Sebastian Wuerl; Jens Grossklags; Claudia Eckert 001 (ESORICS (1), 2018)

τCFI: Type-Assisted Control Flow Integrity for x86-64 Binaries. - Paul Muntean 001; Matthias Fischer; Gang Tan; Zhiqiang Lin 001; Jens Grossklags; Claudia Eckert 001 (RAID, 2018)

IntRepair: Informed Fixing of Integer Overflows. - Paul Muntean 001; Martin Monperrus; Hao Sun; Jens Grossklags; Claudia Eckert 001 (CoRR, 2018)

Automated CFI Policy Assessment with Reckon. - Paul Muntean 001 (CoRR, 2018)

Analyzing control flow integrity with LLVM-CFI. - Paul Muntean 001; Matthias Neumayer; Zhiqiang Lin 001; Gang Tan; Jens Grossklags; Claudia Eckert 001 (ACSAC, 2019)

Stack Overflow Considered Helpful! Deep Learning Security Nudges Towards Stronger Cryptography. - Felix Fischer 001; Huang Xiao; Ching-yu Kao; Yannick Stachelscheid; Benjamin Johnson 001; Danial Razar; Paul Fawkesley; Nat Buckley; Konstantin Böttinger; Paul Muntean 001; Jens Grossklags (USENIX Security Symposium, 2019)

ρFEM: Efficient Backward-edge Protection Using Reversed Forward-edge Mappings. - Paul Muntean 001; Matthias Neumayer; Zhiqiang Lin 001; Gang Tan; Jens Grossklags; Claudia Eckert 001 (ACSAC, 2020)

iTOP: Automating Counterfeit Object-Oriented Programming Attacks. - Paul Muntean 001; Richard Viehoever; Zhiqiang Lin 001; Gang Tan; Jens Grossklags; Claudia Eckert 001 (RAID, 2021)

IntRepair: Informed Repairing of Integer Overflows. - Paul Muntean 001; Martin Monperrus; Hao Sun; Jens Grossklags; Claudia Eckert 001 (IEEE Trans. Software Eng., 2021)

Mitigation of Advanced Code Reuse Attacks. - Paul Muntean 001 (2021)