SGX Switchless Calls Made Configless. - Peterson Yuhala; Michael Paper; Timothée Zerbib; Pascal Felber; Valerio Schiavoni; Alain Tchana (DSN, 2023)

Towards Functional Verification of eBPF Programs. - Dana Lu; Boxuan Tang; Michael Paper; Marios Kogias (eBPF@SIGCOMM, 2024)