STATIC VERIFICATION AND DYNAMIC ANALYSIS FRAMEWORK FOR INFORMATION FLOW CONTROL

Ph.D

Saved in:

Bibliographic Details
Main Author:	ADI YOGA SIDI PRABAWA
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2019
Subjects:	Static Verification, Dynamic Analysis, Information Flow, Framework, Hoare Logic, Path Sensitivity
Online Access:	https://scholarbank.nus.edu.sg/handle/10635/156090
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

Be the first to leave a comment!

Similar Items