Author of the publication

Simulation of a Trust and Reputation Based Mitigation Protocol for a Black Hole Style Attack on VANETs.

, , and . EuroS&P Workshops, page 127-135. IEEE, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Majority merging by adaptive counting., and . Synthese, 165 (2): 203-223 (2008)Information and Knowledge, A Constructive Type-theoretical Approach. Logic, Epistemology, and the Unity of Science Springer, (2008)A logic of efficient and optimal designs.. J. Log. Comput., 29 (6): 947-968 (2019)An epistemic logic for becoming informed.. Synthese, 167 (2): 363-389 (2009)Type-Theoretical Dynamics.. The Realism-Antirealism Debate in the Age of Alternative Logics, volume 23 of Logic, Epistemology, and the Unity of Science, Springer, (2012)A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs., and . CoRR, (2023)Assessing the Quality of Online Reviews Using Formal Argumentation Theory., , , and . ICWE, volume 12706 of Lecture Notes in Computer Science, page 71-87. Springer, (2021)Probabilistic Typed Natural Deduction for Trustworthy Computations., and . TRUST@AAMAS, volume 3022 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)A Multi-Agent Depth Bounded Boolean Logic., and . SEFM, volume 12524 of Lecture Notes in Computer Science, page 176-191. Springer, (2020)Netreason: Reasoning about social networks., , and . J. Log. Comput., 32 (6): 1015-1016 (2022)