Ilan Beer, Shoham Ben-David, et al.
Formal Methods in System Design
Ilan Beer, Shoham Ben-David, et al.
Formal Methods in System Design
Cindy Eisner, Dana Fisman, et al.
ACM TOCL
Emmanuel Zarpas, Cindy Eisner, et al.
POLICY 2008
Fady Copty, Cindy Eisner, et al.
ACSAC 2018