Skip to main content

Tim Muller

Personal photo - Tim Muller

Tim Muller

Departmental Lecturer

Leaving date: 28th February 2019


See Also:


I'm interested in the relationship between security and trust. My approach is typically based in formal methods. I believe that, in order to use trust for security, we need to be able to prove the desirable properties. It is easy to overlook a potential attacker's strategy, and have a broken system as a result.

Specifically, I focus on: laying a formal foundation for trust, studying attacks on systems and measuring the strength of attacks. Work in my thesis focusses on the foundation of trust, without a focus on attacks. The work has evolved since the inclusion of attacks, where I use timed stochastic processes to model systems. To measure the strength of an attack, we have developed a framework based on information theory, where attackers can introduce a certain amount of noise.


From 2003 to 2009, I studied in Eindhoven at the TU/e, where I obtained a master in computer science. My master thesis was on process algebra, a subfield in formal methods. Then, from 2009 to 2013, I worked in Luxembourg at the University of Luxembourg, and obtained my PhD in computer science, with the highest grade. My thesis was on formalising trust, and its computational usage. Immediately afterwards, I started my post-doc in Singapore at the NTU, from 2013 to 2016. I primarily focussed on the security aspects of trust and reputation systems. Finally, I started my position here as departmental lecturer in summer 2016.