USP Electronic Research Repository

Items where Author is "Fehnker, Ansgar"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

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

This list was generated on Mon Apr 15 08:55:07 2024 +12.