Items where Author is "Fehnker, Ansgar"

Book Chapter

Fehnker, Ansgar and Chaudhary, Kaylash C. and Mehta, Vinay P. (2018) An Even Better Approach – Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis. In: NASA Formal Methods. Programming and Software Engineering (part of LNC Series), 10811 . Springer, Switzerland, pp. 164-178. ISBN 978-3-319-77934-8

Fehnker, Ansgar and Chaudhary, Kaylash C. (2018) Twenty Percent and a Few Days–Optimising a Bitcoin Majority Attack. In: NASA Formal Methods. Lecture Notes in Computer Science . Springer, Switzerland, pp. 157-163. ISBN 978-3-319-77934-8

Chaudhary, Kaylash C. and Fehnker, Ansgar (2015) Model checking a server - side micro payment protocol. In: Formal Methods for Industrial Critical Systems. Lecture Notes in Computer Science, 9128 . Springer International Publishing, Switzerland, pp. 96-110. ISBN 978-3-319-19457-8