Marco Rocchetto's website

CPDY: Cyber Physical Dolev Yao


CPDY (Cyber Physical Dolev Yao) is an extensions to the Dolev-Yao attacker model to make it suitable for arguments about security of Cyber-Physical Systems

Download CPDY
Download Publication


Download VM (VirtualBox) with CPDY

  • Download and install VirtualBox
  • Download the VM from here
  • Import the VM in VirtualBox (howto)
  • Username and Password: cpdy
  • Instructions are provided when a terminal is opened

Troubleshooting - VirtualBox Virtualization Error

  • Problem: VT-x/AMD-V hardware acceleration is not available on your system. Your 64-vit guest will fail to detect a 64-bit CPU and will not be able to boot.
  • Solution: Enable CPU virtualization support (called VT-x for Intel, AMD-V for AMD) from your BIOS