Ivan Marković
Security consultant and researcher
Long experience in designing and implementation of security solutions, mainly oriented on web, mobile and embedded applications. Author of penetration testing tools, recognized by OWASP organization and BackTrack Linux distribution. Researching work includes discovery of vulnerabilities of numeral applications and services, and for these, author received public apreciations by Microsoft Company..
Towards Secure Things, or How to Verify IoT Software with Frama-C on ZINC 2018
30.05.2018 Novi Sad, Serbia
Frama-C is an extensible and collaborative platform dedicated to source-code analysis of C software.
Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis.
http://www.gozinc.org/
https://frama-c.com/
Frama-C - ZINC 2018
