학술논문
Snitch: Dynamic dependent information flow analysis for independent Java bytecode
Document Type
Conference Paper
Author
Source
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings of the 2nd Workshop on Verification of Objects at RunTime EXecution, VORTEX 2018. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 27 August 2019, 302:16-31)
Subject
Language
English
ISSN
20752180