Poster: VeriCharge: Towards A Formal Framework for Designing and Verifying Secure and Transparent Vehicle-to-Vehicle Transaction Platforms. - Yuxuan Wang; Brendan Makar; Jingshu Chen (MOST, 2024)