Author of the publication

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

Narrative Structure of Mathematical Texts., , , and . Calculemus/MKM, volume 4573 of Lecture Notes in Computer Science, page 296-312. Springer, (2007)Attack Modeling for System Security Analysis - (Position Paper)., and . SAFECOMP Workshops, volume 10489 of Lecture Notes in Computer Science, page 81-86. Springer, (2017)Software Testing as Medium for Peer Feedback., and . UKICER, page 66-72. ACM, (2020)Aligning a Serious Game, Secure Programming and CyBOK-Linked Learning Outcomes., , , and . EuroS&P Workshops, page 486-495. IEEE, (2022)Tracking Mixed Bitcoins., , , and . DPM/CBT@ESORICS, volume 12484 of Lecture Notes in Computer Science, page 447-457. Springer, (2020)Restoring Natural Language as a Computerised Mathematics Input Method., , , and . Calculemus/MKM, volume 4573 of Lecture Notes in Computer Science, page 280-295. Springer, (2007)Toward an Object-Oriented Structure for Mathematical Text., , and . MKM, volume 3863 of Lecture Notes in Computer Science, page 217-233. Springer, (2005)The Unique Dressing of Transactions: Wasabi CoinJoin Transaction Detection., , , and . EICC, page 21-28. ACM, (2022)Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator., , , and . ICSE (2), page 209-218. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Mathematical documents faithfully computerised : the grammatical and text & symbol aspects of the MathLang framework. Heriot-Watt University, UK, (2007)British Library, EThOS.