Paul Muntean

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