Search Results - "Müftüoğlu, Can Arda"
-
1
A Detection and Correction Approach for Overflow Vulnerabilities in Graphical User Interfaces
Published 01-01-2009“…The objective of this thesis is to propose an approach for detecting overflow vulnerabilities such as buffer and boundary overflows by using static analysis…”
Get full text
Dissertation
-
2
Efficient Verification of Distributed Protocols Using Stateful Model Checking
Published in 2013 IEEE 32nd International Symposium on Reliable Distributed Systems (01-09-2013)“…This paper presents efficient model checking of distributed software. Key to the achieved efficiency is a novel stateful model checking strategy that is based…”
Get full text
Conference Proceeding