pith. sign in

Ron van der Meyden

Identifiers

  • name variant Ron van der Meyden 0.60 · backfill

Papers (15)

  1. On the specification and verification of atomic swap smart contracts cs.LO · 2018 · author #1
  2. Optimizing Epistemic Model Checking using Conditional Independence cs.LO · 2016 · author #1
  3. On Reductions from Multi-Domain Noninterference to the Two-Level Case cs.CR · 2016 · author #2
  4. Dynamic Intransitive Noninterference Revisited cs.CR · 2016 · author #2
  5. Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic cs.LO · 2015 · author #1
  6. An Epistemic Strategy Logic cs.LO · 2014 · author #2
  7. Using Architecture to Reason about Information Security cs.CR · 2014 · author #2
  8. The Complexity of Synchronous Notions of Information Flow Security cs.CR · 2014 · author #2
  9. Complexity and Unwinding for Intransitive Noninterference cs.CR · 2013 · author #2
  10. Synthesis from Knowledge-Based Specifications cs.LO · 2013 · author #1
  11. Consistent assignment of quantum probabilities quant-ph · 2011 · author #2
  12. Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols cs.LO · 2010 · author #2
  13. Complete Axiomatizations for Reasoning About Knowledge and Time cs.LO · 2002 · author #2
  14. A logical reconstruction of SPKI cs.CR · 2002 · author #2
  15. A Logic for SDSI's Linked Local Name Spaces cs.CR · 2000 · author #2

Mentions

  • 1409.2193 #2 · backfill · confidence 0.70 Ron van der Meyden
  • 1409.0309 #2 · backfill · confidence 0.70 Ron van der Meyden
  • 1402.0601 #2 · backfill · confidence 0.70 Ron van der Meyden
  • 1308.1204 #2 · backfill · confidence 0.70 Ron van der Meyden
  • 1307.6333 #1 · backfill · confidence 0.70 Ron van der Meyden
  • 1109.1763 #2 · backfill · confidence 0.70 Ron van der Meyden
  • 1010.2287 #2 · backfill · confidence 0.70 Ron van der Meyden

Frequent Coauthors