Mail:
Phone:
Mobile phone:
Web page:
Embedded systems security, Android security, Linux security
Code to Qed, the Project Manager's Guide to Proof Engineering (ACM TOSEM, 2024)
Pip-MPU: Formal verification of an MPU-based separation kernel for constrained devices (IJESA, 2023)