@inproceedings{busi2024exceptions,
    author    = {Busi, Matteo and Degano, Pierpaolo and Focardi, Riccardo and Galletta, Letterio  and Luccio, Flaminia and Piessens, Frank and Van Bulck, Jo},
    title     = {Exceptions Prove the Rule: Investigating and Resolving Residual Side Channels in Provably Secure Interrupt Handling},
    booktitle = {4th Workshop on Program Analysis and Verification on Trusted Platforms (PAVeTrust)},
    month     = Sept,
    year      = 2024,
}