Alan Jeffrey and Ruy Ley-Wild
Dynamic Model Checking of C Cryptographic Protocol Implementations
Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA)
2006
pdf

Ruy Ley-Wild and Frank Pfenning
Avoiding Spurious Causal Dependencies via Proof Irrelevance in a Concurrent Logical Framework (Draft)
Computer Science Department, Carnegie Mellon University
2007
pdf

Michael Benedikt, Alan Jeffrey, and Ruy Ley-Wild
Stream Firewalling of XML Constraints
Special Interest Group on Management Of Data (SIGMOD)
2008
pdf

Ruy Ley-Wild, Matthew Fluet, and Umut Acar
Compiling Self-Adjusting Programs with Continuations (Draft)
International Conference on Functional Programming (ICFP)
2008
pdf