Semantics of Trust. - Tim Muller (Formal Aspects in Security and Trust, 2010)

Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract) - Jos C. M. Baeten; Bas Luttik; Tim Muller; Paul van Tilburg (EXPRESS, 2010)

A Formal Derivation of Composite Trust. - Tim Muller; Patrick Schweitzer (FPS, 2012)

On Beta Models with Trust Chains. - Tim Muller; Patrick Schweitzer (IFIPTM, 2013)

On Robustness of Trust Systems. - Tim Muller; Yang Liu 003; Sjouke Mauw; Jie Zhang 002 (IFIPTM, 2014)

Towards Robust and Effective Trust Management for Security: A Survey. - Dongxia Wang 002; Tim Muller; Yang Liu 003; Jie Zhang 002 (TrustCom, 2014)

The Fallacy of Endogenous Discounting of Trust Recommendations. - Tim Muller; Yang Liu 003; Jie Zhang 002 (AAMAS, 2015)

Using Information Theory to Improve the Robustness of Trust Systems. - Dongxia Wang 002; Tim Muller; Athirai Aravazhi Irissappane; Jie Zhang 002; Yang Liu 003 (AAMAS, 2015)

Trust revision for conflicting sources. - Audun Jøsang; Magdalena Ivanovska; Tim Muller (FUSION, 2015)

Quantifying Robustness of Trust Systems against Collusive Unfair Rating Attacks Using Information Theory. - Dongxia Wang 002; Tim Muller; Jie Zhang 002; Yang Liu 003 (IJCAI, 2015)

Information Theory for Subjective Logic. - Tim Muller; Dongxia Wang 002; Audun Jøsang (MDAI, 2015)

Is It Harmful When Advisors Only Pretend to Be Honest? - Dongxia Wang 002; Tim Muller; Jie Zhang 002; Yang Liu 003 (AAAI, 2016)

A Language for Trust Modelling. - Tim Muller; Jie Zhang 002; Yang Liu 003 (AAMAS Workshops (Visionary Papers), 2016)

Limitations on Robust Ratings and Predictions. - Tim Muller; Yang Liu 003; Jie Zhang 002 (IFIPTM, 2016)

How to Use Information Theory to Mitigate Unfair Rating Attacks. - Tim Muller; Dongxia Wang 002; Yang Liu 003; Jie Zhang 002 (IFIPTM, 2016)

Expressiveness modulo bisimilarity of regular expressions with parallel composition. - Jos C. M. Baeten; Bas Luttik; Tim Muller; Paul van Tilburg (Math. Struct. Comput. Sci., 2016)

The Foul Adversary: Formal Models. - Naipeng Dong; Tim Muller (ICFEM, 2018)

An Unforeseen Equivalence Between Uncertainty and Entropy. - Tim Muller (IFIPTM, 2019)

The Reputation Lag Attack. - Sean Sirur; Tim Muller (IFIPTM, 2019)

Provably Robust Decisions based on Potentially Malicious Sources of Information. - Tim Muller; Dongxia Wang 002; Jun Sun 001 (CSF, 2020)

Information Theoretical Analysis of Unfair Rating Attacks Under Subjectivity. - Dongxia Wang 002; Tim Muller; Jie Zhang 002; Yang Liu 003 (IEEE Trans. Inf. Forensics Secur., 2020)

Simulating the Impact of Personality on Fake News. - Annabel Coates; Tim Muller; Sean Sirur (TRUST@AAMAS, 2021)

Properties of Reputation Lag Attack Strategies. - Sean Sirur; Tim Muller (AAMAS, 2022)

Stability of Weighted Majority Voting under Estimated Weights. - Shaojie Bai; Dongxia Wang 002; Tim Muller; Peng Cheng 001; Jiming Chen 001 (AAMAS, 2023)

A Pre-signature Scheme for Trustworthy Offline V2V Communication. - Dimah Almani; Tim Muller; Steven Furnell; Xavier Carpent; Takahito Yoshizawa (IFIPTM, 2023)

A Difficulty in Trust Modelling. - Tim Muller (IFIPTM, 2023)

A Profile-Based Cyber Security Readiness Assessment Framework at Country Level. - Raymond Agyemang; Steven Furnell; Tim Muller (HAISA (1), 2024)

Provably Secure Decisions Based on Potentially Malicious Information. - Dongxia Wang 002; Tim Muller; Jun Sun 001 (IEEE Trans. Dependable Secur. Comput., 2024)

Enabling Vehicle-to-Vehicle Trust in Rural Areas: An Evaluation of a Pre-Signature Scheme for Infrastructure-Limited Environments. - Dimah Almani; Tim Muller; Xavier Carpent; Takahito Yoshizawa; Steven Furnell (Future Internet, 2024)

Distributed Reputation for Accurate Vehicle Misbehavior Reporting (DRAMBR). - Dimah Almani; Tim Muller; Steven Furnell (Future Internet, 2025)

Leveraging reputation for enhanced decision accuracy in vehicle-to-vehicle communications under limited infrastructure. - Dimah Almani; Tim Muller; Steven Furnell (Veh. Commun., 2025)