1. Preserving secrecy under refinement;Alur,2006
2. Concurrent secrets;Badouel;Discrete Event Dynamic Systems,2007
3. Opaque superlanguages and sublanguages in discrete event systems;Ben-Kalefa,2009
4. Supervisory control for opacity of discrete event systems;Ben-Kalefa,2011
5. Control and synthesis of non-interferent timed systems;Benattar;International Journal of Control,2015