Select Publications

Book Chapters

Maher MJ; van der Meyden R, 2025, 'Accounting Views of Convertible Instruments', in Blockchain Technologies, Springer Nature Singapore, pp. 31 - 40, http://dx.doi.org/10.1007/978-981-96-3920-5_3

van der Meyden R; Maher MJ, 2025, 'Architecture for SAFE Smart Contracts', in Blockchain Technologies, Springer Nature Singapore, pp. 195 - 228, http://dx.doi.org/10.1007/978-981-96-3920-5_15

van der Meyden R; Maher MJ, 2025, 'Blockchain and Smart Contracts', in Blockchain Technologies, Springer Nature Singapore, pp. 159 - 172, http://dx.doi.org/10.1007/978-981-96-3920-5_12

Maher MJ; van der Meyden R, 2025, 'Conversion of Post-Money SAFEs', in Blockchain Technologies, Springer Nature Singapore, pp. 61 - 68, http://dx.doi.org/10.1007/978-981-96-3920-5_5

van der Meyden R; Maher MJ, 2025, 'Difficulties in Formalizing SAFE Contracts', in Blockchain Technologies, Springer Nature Singapore, pp. 173 - 181, http://dx.doi.org/10.1007/978-981-96-3920-5_13

van der Meyden R; Maher MJ, 2025, 'Dissolution Events', in Blockchain Technologies, Springer Nature Singapore, pp. 141 - 143, http://dx.doi.org/10.1007/978-981-96-3920-5_9

Maher MJ; van der Meyden R, 2025, 'Equity Financing with Multiple SAFEs', in Blockchain Technologies, Springer Nature Singapore, pp. 89 - 108, http://dx.doi.org/10.1007/978-981-96-3920-5_7

van der Meyden R; Maher MJ, 2025, 'Evaluation', in Blockchain Technologies, Springer Nature Singapore, pp. 229 - 236, http://dx.doi.org/10.1007/978-981-96-3920-5_16

van der Meyden R; Maher MJ, 2025, 'Game-Theoretic Aspects of SAFE Conversion', in Blockchain Technologies, Springer Nature Singapore, pp. 69 - 86, http://dx.doi.org/10.1007/978-981-96-3920-5_6

van der Meyden R; Maher MJ, 2025, 'Interaction with Law', in Blockchain Technologies, Springer Nature Singapore, pp. 237 - 252, http://dx.doi.org/10.1007/978-981-96-3920-5_17

Maher MJ; van der Meyden R, 2025, 'Issues in Implementing Other SAFE Clauses', in Blockchain Technologies, Springer Nature Singapore, pp. 259 - 268, http://dx.doi.org/10.1007/978-981-96-3920-5_19

van der Meyden R; Maher MJ, 2025, 'Liquidity Events with Multiple SAFEs', in Blockchain Technologies, Springer Nature Singapore, pp. 109 - 140, http://dx.doi.org/10.1007/978-981-96-3920-5_8

Maher MJ; van der Meyden R, 2025, 'Methods for Converting a Pre-Money SAFE', in Blockchain Technologies, Springer Nature Singapore, pp. 41 - 60, http://dx.doi.org/10.1007/978-981-96-3920-5_4

van der Meyden R; Maher MJ, 2025, 'Privacy and Platform Issues', in Blockchain Technologies, Springer Nature Singapore, pp. 253 - 257, http://dx.doi.org/10.1007/978-981-96-3920-5_18

Maher MJ; van der Meyden R, 2025, 'SAFE Contract Terms', in Blockchain Technologies, Springer Nature Singapore, pp. 15 - 28, http://dx.doi.org/10.1007/978-981-96-3920-5_2

van der Meyden R; Maher MJ, 2025, 'Strategies for Formalization', in Blockchain Technologies, Springer Nature Singapore, pp. 183 - 194, http://dx.doi.org/10.1007/978-981-96-3920-5_14

van der Meyden R; Maher MJ, 2025, 'Summary of the Analysis', in Blockchain Technologies, Springer Nature Singapore, pp. 151 - 156, http://dx.doi.org/10.1007/978-981-96-3920-5_11

Maher MJ; van der Meyden R, 2025, 'The Need for SAFEs', in Blockchain Technologies, Springer Nature Singapore, pp. 3 - 14, http://dx.doi.org/10.1007/978-981-96-3920-5_1

van der Meyden R; Maher MJ, 2025, 'Towards a Better SAFE', in Blockchain Technologies, Springer Nature Singapore, pp. 145 - 150, http://dx.doi.org/10.1007/978-981-96-3920-5_10

van der Meyden R, 2011, 'Two Applications of Epistemic Logic in Computer Security', in VanBenthem J; Gupta A; Parikh R (ed.), PROOF, COMPUTATION AND AGENCY: LOGIC AT THE CROSSROADS, SPRINGER, pp. 133 - 144, http://dx.doi.org/10.1007/978-94-007-0080-2_9

Van Der Meyden R, 2007, 'Two applications of epistemic logic in computer science', in Gupta A (ed.), Logic at the crossroads, Allied publishers, New Delhi, pp. 207 - 221


Back to profile page