By Professor Ron Van der Meyden

Books

, 2004, Logics for Emerging Applications od Databases, Van Der Meyden R; Chomicki J; Saake G, (eds.), Springer-Verlag, Berlin

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

Journal articles

Van Der Meyden R, 2022, 'A Formal Treatment of Contract Signature', IEEE Transactions on Services Computing, 15, pp. 3101 - 3114, http://dx.doi.org/10.1109/TSC.2021.3101833

Meyden RVD; Patra MK, 2020, 'Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic', ACM Transactions on Computational Logic, 21, http://dx.doi.org/10.1145/3409250

Huang X; Van Der Meyden R, 2018, 'An epistemic strategy logic', ACM Transactions on Computational Logic, 19, http://dx.doi.org/10.1145/3233769

Eggert S; van der Meyden R, 2017, 'Dynamic intransitive noninterference revisited', Formal Aspects of Computing, 29, pp. 1087 - 1120, http://dx.doi.org/10.1007/s00165-017-0430-6

Cassez F; van der Meyden R; Zhang C, 2016, 'The complexity of synchronous notions of information flow security', Theoretical Computer Science, 631, pp. 16 - 42, http://dx.doi.org/10.1016/j.tcs.2016.03.011

Cassez F; van der Meyden R; Zhang C, 2016, 'The complexity of synchronous notions of information flow security', Theoretical Computer Science, 631, pp. 16 - 42, http://dx.doi.org/10.1016/j.tcs.2016.03.011

Chong S; Van Der Meyden R, 2015, 'Using architecture to reason about information security', ACM Transactions on Information and System Security, 18, http://dx.doi.org/10.1145/2829949

Van Der Meyden R, 2015, 'What, indeed, is intransitive noninterference?1', Journal of Computer Security, 23, pp. 197 - 228, http://dx.doi.org/10.3233/JCS-140516

Van Der Meyden R; Zhang C, 2013, 'Information Flow in Systems with Schedulers (Part I:Definitions)', Theoretical Computer Science, 467, pp. 68 - 88, http://dx.doi.org/10.1016/j.tcs.2012.10.047

Van Der Meyden R; Zhang C, 2013, 'Information flow in systems with schedulers, Part II: Refinement', Theoretical Computer Science, 484, pp. 70 - 92, http://dx.doi.org/10.1016/j.tcs.2013.01.002

Van Der Meyden R, 2012, 'Architectural Refinement and Notions of Intransitive Noninterference', Formal Aspects of Computing, 24, pp. 769 - 792, http://dx.doi.org/10.1007/s00165-012-0247-2

Patra M; Van Der Meyden R, 2012, 'Consistent assignment of quantum probabilities', Journal of Physics A: Mathematical and Theoretical, 45, pp. 1751 - 8113, http://dx.doi.org/10.1088/1751-8113/45/7/075304

Van Der Meyden R; Zhang C, 2010, 'A comparison of semantic models for noninterference', Theoretical Computer Science, 411, pp. 4123 - 4147, http://dx.doi.org/10.1016/j.tcs.2010.08.013

Van Der Meyden R, 2009, 'Architectural Refinement and Notions of Intransitive Noninterference', Engineering Secure Software and Systems

Van Der Meyden R; Zhang C, 2007, 'A comparison of semantic models for noninterference', 4th international workshop on Formal aspects in security and trust

Van Der Meyden R; Zhang C, 2007, 'Algorithmic Verification of Noninterference Properties', Electronic Notes in Theoretical Computer Science, 168, pp. 61 - 75, http://dx.doi.org/10.1016/j.entcs.2006.11.002

van Ditmarsch HP; van der Hoek HW; Van Der Meyden R; Ruan J, 2006, 'Model Checking Russian Cards', Electronic Notes in Theoretical Computer Science, 149, pp. 105 - 123, http://dx.doi.org/10.1016/j.entcs.2005.07.029

Halpern JY; Van Der Meyden R; Vardi M, 2004, 'Complete Axiomatizations for Logics of Knowledge and Time', Siam Journal on Computing, 33, pp. 674 - 703

Halpern JY; Van Der Meyden R, 2003, 'A Logical Reconstruction of SPKI', Journal of Computer Security, 11,, pp. 581 - 614

Van Der Meyden R; Wong K, 2003, 'Complete Axiomatizations for Reasoning about Knowledge and Branching Time', Studia Logica, 75, pp. 93 - 123

Barr T; Chicharo J; Van Der Meyden R; Sammut C; Seberry J; Tobias J; Wysocki T, 2001, 'CRC for smart internet technology - An overview', Telecommunications Journal of Australia, 51, pp. 19 - 23

Van Der Meyden R; Halpern JY, 2001, 'A logic for SDSI`s Linked Local Name Spaces', Journal of Computer Security, pp. 105 - 142

Chan EPF; van der Meyden R, 2000, 'Containment and Optimization of Object Preserving Conjunctive Queries', Siam Journal on Computing, pp. 1371 - 1400

Lomusciou AR; Van Der Meyden R; Ryan R, 2000, 'Knowledge In Multi-agent Systems: Initial Configurations and Broadcast', ACM Transactions on Computational Logic, 1, pp. 247 - 284

Van Der Meyden R; Reeve J, 2000, 'Predicate Boundedness of Linear Monadic Datalog is in PSPACE', International Journal of Foundations of Computer Science, 11, pp. 591 - 612

Van Der Meyden R, 1998, 'Common Knowledge and Update in Finite Environments', Information and Computation, 140, pp. 115 - 157, http://dx.doi.org/10.1006/inco.1997.2679

Van Der Meyden R, 1997, 'The Complexity of Querying Indefinite Data about Linearly Ordered Domains', Journal of Computer and System Sciences, 54, pp. 113 - 135, http://dx.doi.org/10.1006/jcss.1997.1455

Van Der Meyden R, 1996, 'The dynamic logic of permission', Journal of Logic and Computation, 6, pp. 465 - 479, http://dx.doi.org/10.1093/logcom/6.3.465

Back to profile page