Michael Paper

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Functional Verification

Computer Programs

Top Venues

Publications

Dana Lu, Boxuan Tang, Michael Paper, Marios Kogias
Towards Functional Verification of eBPF Programs. eBPF@SIGCOMM (2024)
Peterson Yuhala, Michael Paper, Timothée Zerbib, Pascal Felber, Valerio Schiavoni, Alain Tchana
SGX Switchless Calls Made Configless. CoRR (2023)
Peterson Yuhala, Michael Paper, Timothée Zerbib, Pascal Felber, Valerio Schiavoni, Alain Tchana
SGX Switchless Calls Made Configless. DSN (2023)