Alexandre Bartel
Scholar

Alexandre Bartel

Google Scholar ID: Nw2JVygAAAAJ
University of Luxembourg
Security. Software Engineering
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,043
 
H-index
18
 
i10-index
24
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
7 items
CFIghter: Automated Control-Flow Integrity Enablement and Evaluation for Legacy C/C++ Systems
2025
Cited
0
Raven: Mining Defensive Patterns in Ethereum via Semantic Transaction Revert Invariants Categories
2025
Cited
0
FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security
2025
Cited
0
A Practical Guideline and Taxonomy to LLVM's Control Flow Integrity
2025
Cited
0
Sleeping Giants -- Activating Dormant Java Deserialization Gadget Chains through Stealthy Code Changes
2025
Cited
0
In the Magma chamber: Update and challenges in ground-truth vulnerabilities revival for automatic input generator comparison
2025
Cited
0
Deserialization Gadget Chains are not a Pathological Problem in Android:an In-Depth Study of Java Gadget Chains in AOSP
2025
Cited
0
Resume (English only)
Research Experience
  • Position: Professor in the Department of Computing Science at Umeå University.
Background
  • Research interests: software engineering and computer security. Studies existing software layers from a security point of view and designs efficient algorithms to verify security properties. Current research focuses on system security and the analysis of permission-based software stacks such as Android.
Miscellany
  • Open positions: Two PostDoc positions in software engineering/software security with a focus on malware analysis; multiple PhD positions in software engineering/software security; looking for motivated students for master thesis projects in software engineering and/or software security.
Co-authors
0 total
Co-authors: 0 (list not available)