I have worked in the project
S3MS on the certification of policy-adherent programs on mobile devices using a proof-carrying code approach. The inliner tool that we have
developed in the course of the project can be found downloaded from the
demo page.
I have worked in project
SEFROS
with my advisor, Dilian Gurov from August 2003 to
March 2006.
I. Aktug and D. Gurov,
State Space Representation for
Verification of Open Systems, in Proc. of the
International Conference on Algebraic Methodology and
Software Technology, (AMAST '06), volume 4019 of Lecture Notes in Computer Science, pages 5-20, July 2006, Kuressaare, Estonia
I. Aktug and K. Naliuka, ConSpec: A Formal Language for Policy Specification, In the Proc. of The First Int. Workshop on Run Time Enforcement for Mobile and Distributed Systems (REM'07), volume 197-1 of
Electronic Notes in Theoretical Computer Science, pages 45-58, September 2007, Dresden, Germany
I. Aktug and K. Naliuka, ConSpec: A Formal Language for Policy Specification, presented at First Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS '07), October 2007, Oslo, Norway
I. Aktug and M. Dam and D. Gurov, Provably Correct Runtime Monitoring, in the Proc. of 15th Int. Symposium on Formal Methods (FM '08), volume 5014 of Lecture Notes in Computer Science, pages 262-277, May 2008, Turku, Finland
Full version, To appear in the Journal of Logic and Algebraic Programming