Alex Le Blanc

According to our database¹, Alex Le Blanc authored at least 3 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Lessons Learned So Far From a Community Effort to Verify the Rust Standard Library (work-in-progress).

[BibT_eX]

[DOI]

CoRR, October, 2025

2024

Surveying the Rust Verification Landscape.

[BibT_eX]

[DOI]

CoRR, 2024

Emulating Android Device Drivers via Borrowed Execution Context.

[BibT_eX]

[DOI]

Proceedings of the Information Security - 27th International Conference, 2024