Home Bio  Research  Publications    Projects  Personal


[07.11.16] XACML-SMT tool second version is available, click here to see the details.
[16.01.16] Moved to University of Amsterdam.
XACML-SMT tool first version is released, click here to see the details.
[19.12.14] Our paper "Analysis of XACML Policies with SMT" accepted at POST'15!
[10.11.14] Presented the poster "Analyzing Access Control Policies with SMT" at CCS'14.

I am a postdoctoral researcher at the University of Amsterdam, Netherlands, within System and Network Engineering (SNE) group. Previously I was a postdoctoral researcher at Technical University of Eindhoven (TU/e) and even before that I was with University College Cork (UCC). 

My work is centered around the design, analysis and implementation of authorization systems. I apply formal/semi-formal techniques to solve security problems that arise in the context of distributed systems such as clouds.

In my early life, I was a PhD student at the university of Trento, Italy, under the supervision of Bruno Crispo. I also worked
closely with Alessandro Armando and Silvio Ranise. More information can be found at the Bio link. My PhD work spanned over various aspects of access control policies/models including verification (run-time) and performance. For the former, I developed a technique to analyze dynamic properties (e.g. constraints) based on software model checkers. For the latter, I tried to analyze the performance of policy evaluation procedures for two dominant access control models; role-based access control (RBAC) and attribute-based access control (ABAC) and tried to improve efficiency in decision making.

In this page I try to summarize my current research activity, maintain a self-list for my to-dos, interesting scientific events and some miscellaneous personal information. I occasionally write in my blog (sometimes to myself as a future reference) in a rather informal way.

You can also find my Google scholar profile here...


Department of Mathematics and Computer Science,
Technical University of Eindhoven (TU/e),
Eindhoven, Netherlands

E-mail : fturkmen[at]gmail(dot)com