1 citations · 1 across the 2 of their papers we have counts for
3 papers
VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report)
Jonas Oberhauser, Rafael Lourenco de Lima Chehab, Diogo Behrens +8
This technical report contains material accompanying our work with same title published at ASPLOS'21. We start in Sec. 1 with a detailed presentation of the core innovation of this…
Fine Grained Dataflow Tracking with Proximal Gradients
Gabriel Ryan, Abhishek Shah, Dongdong She +2
Dataflow tracking with Dynamic Taint Analysis (DTA) is an important method in systems security with many applications, including exploit analysis, guided fuzzing, and side-channel…
Practical Byte-Granular Memory Blacklisting using Califorms
Hiroshi Sasaki, Miguel A. Arroyo, M. Tarek Ibn Ziad +3
Recent rapid strides in memory safety tools and hardware have improved software quality and security. While coarse-grained memory safety has improved, achieving memory safety at th…