Paul Muntean - RankMe

17 papers A* 1A 4B 1Journal 6Unranked 4

Year	Rank	Type	Title / 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