no code implementations • 12 Feb 2021 • Jonas Oberhauser, Rafael Lourenco de Lima Chehab, Diogo Behrens, Ming Fu, Antonio Paolillo, Lilith Oberhauser, Koustubha Bhat, Yuzhong Wen, Haibo Chen, Jaeho Kim, Viktor Vafeiadis
Finally, in Sec.
Logic in Computer Science
no code implementations • 8 Sep 2019 • Gabriel Ryan, Abhishek Shah, Dongdong She, Koustubha Bhat, Suman Jana
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 information leak detection.
Cryptography and Security
