Alexandre Bartel

Software Engineering and Security Group at Umeå University, Sweden.

[Alexandre Bartel @software_ses]

Thank you to Chatarina Larson for organizing this event!

[Alexandre Bartel @software_ses]

Last week, I was invited to give a talk on software security at the Juristkonferens 2026, a yearly event aimed at gathering legal professionals working at universities in Sweden.

[Alexandre Bartel @software_ses]

Another interesting aspect that was mentioned is the homogeneity of software used at universities such as software handling emails. If a vulnerability (technical or legal) is found and exploited it could expose data for all institutions relying on this software.

[Alexandre Bartel @software_ses]

... and clusters them by semantic intent to mine defensive invariant categories on Ethereum. RAVEN can thus can map Ethereum’s successful defenses.

[Alexandre Bartel @software_ses]

Our paper "RAVEN: Mining Defensive Patterns in Ethereum via Semantic Transaction Revert Invariants Categories" will be presented at the 19th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2026 this week!

@ICSTconf #ICST2026

[Alexandre Bartel @software_ses]

In this work we present RAVEN, a framework that aligns reverted transactions to the invariant causing the reversion in the smart contract source code, embeds these invariants using our BERT-based fine-tuned model, ...

[Alexandre Bartel @software_ses]

Tool available here:
https://t.co/W11LSpSxc3

[Alexandre Bartel @software_ses]

Our paper "CFIghter: Automated Control-Flow Integrity Enablement and Evaluation for Legacy C/C++ Systems" will be presented at the 2026 ACM Secure Development Conference (SecDev '26) in July.

[Alexandre Bartel @software_ses]

In this work, we present CFIghter, the first fully automated system that enables strict, type-based, compiler-based control flow integrity (CFI) in real-world projects by detecting, classifying, and repairing unintended policy violations.

[Alexandre Bartel @software_ses]

I am looking for a motivated researcher to join my group. This is a 2-year Kempe post-doc scholarship in software security. Contact me for more details!

https://t.co/gDKKoMWLaG

[Alexandre Bartel @software_ses]

Thank you to the opponent Professor @herbertbos , to the grading committee Professor @sjmurdoch , Professor @aurelsec and Professor Johanna Björklund for the stimulating discussions and feedback!

[Alexandre Bartel @software_ses]

Congratulations Sabine for a successful PhD defense! Sabine's work focuses on Control Flow Integrity, a defense mechanism designed to protect programs from control-flow hijacking attacks.

https://t.co/BePjoIQHvU

[Alexandre Bartel @software_ses]

https://t.co/SpdkUSce4T

[Alexandre Bartel @software_ses]

I am looking for a motivated student to join my group to work on improving the software patching process. This is a 4-year fully funded Cybercampus PhD position in software security. DM me for more details!

With @musardballiu & Emre Süren from KTH & Jonas Andersson from RV.

[Alexandre Bartel @software_ses]

I am looking for a motivated student to join my group to work on software testing to evaluate the robustness of virtual machines. This is a 4-year fully funded WASP PhD position in software security. DM me for more details!

https://t.co/nFQS9KvT87