Publications

photo

Peer-reviewed Publications

[1] Tim Muller. Semantics of Trust. In Formal Aspects of Security and Trust (Fast 2010) , volume 6561 of Lecture Notes in Computer Science , pages 141-156. Springer, 2011. [ .pdf ]
[2] Jos Baeten, Bas Luttik, Tim Muller, and Paul van Tilburg. Expressiveness modulo bisimilarity of regular expressions with parallel composition (Extended Abstract). In Workshop on Expressiveness in Concurrency (Express 2010) , volume 41 of Electronic Proceedings in Theoretical Computer Science, pages 1-15. Springer-Verlag 2010. [ .pdf ]
[3] Naipeng Dong and Tim Muller. A Foul Adversary: Bribery, Extortion and Blackmail (Abstract). In Joint Symposion on Security & Intelligent Information Systems (S&IIS 2011) . [ .pdf ]
[4] Sjouke Mauw and Tim Muller. Axioms of trust: Aggregating and chaining trust opinions. In Journal of Logic and Computation , to appear.
[5] Jos Baeten, Bas Luttik, Tim Muller, and Paul van Tilburg. Expressiveness modulo bisimilarity of regular expressions with parallel composition. In Mathematical Structures in Computer Science , to appear. [ .pdf ]
[6] Tim Muller and Patrick Schweitzer. A Formal Derivation of Composite Trust. In International Symposium on Foundations & Practice of Security (FPS 2012) . [ .pdf ]
[7] Tim Muller and Patrick Schweitzer. On Beta Models with Trust Chains. In 7th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2013), to appear. [ tech. report ]