PROFIT: DETECTING AND QUANTIFYING SIDE CHANNELS IN NETWORKED APPLICATIONS

von Rosner, Nicolás
Veröffentlicht in Network and Distributed System Security Symposium (26. : 2019 : San Diego, Calif.) Network and Distributed System Security Symposium 2019 ; Volume 2 of 2 (2020)

Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds

von Ponzio, Pablo
Veröffentlicht in FASE (24. : 2021 : Online) Fundamental approaches to software engineering (2021)