Brendan Makar

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Traffic Surveillance

Top Venues

Publications

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