Items where Author is "Chaudhary, Kaylash C."

Sharma, Priynka and Chaudhary, Kaylash C. and Khan, Mohammad G.M. (2021) The Art - of - Hyper - Parameter Optimization with Desirable Feature Selection: optimizing for multiple objectives: ransomware anomaly detection. In: Lecture Notes in Electrical Engineering. Springer Nature, Singapore. ISBN 978-981-16-3879-4

Prasad, Alvin and Chaudhary, Kaylash C. (2021) Interactive Animation and Affective Teaching and Learning in Programming Courses. In: Advances in Computer, Communication and Computational Sciences. Advances in Intelligent Systems and Computing. Springer Nature, Singapore, pp. 613-623. ISBN 978-981-15-4408-8

Sharma, Priynka and Chaudhary, Kaylash C. and Wagner, Michael and Khan, Mohammad G.M. (2021) A comparative analysis of Malware anomaly detection. In: Advances in Computer, Communication and Computational Sciences. Advances in Intelligent Systems and Computing. Springer Nature, Singapore. ISBN 978-981-15-4408-8

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