Paul Muntean

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 12

Top Topics

Mobile Robot Navigation

Buffer Overflow

Symbolic Execution

Top Venues

USENIX Security Symposium

Publications

Paul Muntean, Richard Viehoever, Zhiqiang Lin, Gang Tan, Jens Grossklags, Claudia Eckert
iTOP: Automating Counterfeit Object-Oriented Programming Attacks. RAID (2021)
Paul Muntean, Martin Monperrus, Hao Sun, Jens Grossklags, Claudia Eckert
IntRepair: Informed Repairing of Integer Overflows. IEEE Trans. Software Eng. 47 (10) (2021)
Paul Muntean, Matthias Neumayer, Zhiqiang Lin, Gang Tan, Jens Grossklags, Claudia Eckert
ρFEM: Efficient Backward-edge Protection Using Reversed Forward-edge Mappings. ACSAC (2020)
Paul Muntean, Matthias Neumayer, Zhiqiang Lin, Gang Tan, Jens Grossklags, Claudia Eckert
Analyzing control flow integrity with LLVM-CFI. ACSAC (2019)
Felix Fischer, Huang Xiao, Ching-yu Kao, Yannick Stachelscheid, Benjamin Johnson, Danial Razar, Paul Fawkesley, Nat Buckley, Konstantin Böttinger, Paul Muntean, Jens Grossklags
Stack Overflow Considered Helpful! Deep Learning Security Nudges Towards Stronger Cryptography. USENIX Security Symposium (2019)
Paul Muntean, Matthias Neumayer, Zhiqiang Lin, Gang Tan, Jens Grossklags, Claudia Eckert
Analyzing Control Flow Integrity with LLVM-CFI. CoRR (2019)
Paul Muntean
Automated CFI Policy Assessment with Reckon. CoRR (2018)
Paul Muntean, Matthias Fischer, Gang Tan, Zhiqiang Lin, Jens Grossklags, Claudia Eckert
τCFI: Type-Assisted Control Flow Integrity for x86-64 Binaries. RAID (2018)
Paul Muntean, Sebastian Wuerl, Jens Grossklags, Claudia Eckert
CastSan: Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM. ESORICS (1) (2018)
Paul Muntean, Martin Monperrus, Hao Sun, Jens Grossklags, Claudia Eckert
IntRepair: Informed Fixing of Integer Overflows. CoRR (2018)
Paul Muntean, Jens Grossklags, Claudia Eckert
Practical Integer Overflow Prevention. CoRR (2017)
Paul Muntean
Mobile Robot Navigation on Partially Known Maps using a Fast A Star Algorithm Version. CoRR (2016)
Paul Muntean, Mustafizur Rahman, Andreas Ibing, Claudia Eckert
SMT-constrained symbolic execution engine for integer overflow detection in C code. ISSA (2015)
Paul Muntean, Adnan Rabbi, Andreas Ibing, Claudia Eckert
Automated Detection of Information Flow Vulnerabilities in UML State Charts and C Code. QRS Companion (2015)
Paul Muntean, Vasantha Kommanapalli, Andreas Ibing, Claudia Eckert
Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT. SAFECOMP (2015)
Paul Muntean, Claudia Eckert, Andreas Ibing
Context-sensitive detection of information exposure bugs with symbolic execution. InnoSWDev@SIGSOFT FSE (2014)