No.069 Logic and Verification Methods in Security and Privacy

Shonan Village Center, October 26-29, 2015

(Check-in: night before, Oct. 25, 2015)