Skip to Main content Skip to Navigation

hal-00915241v1  Conference papers
Pejman AttarIlaria Castellani. Fine-grained and coarse-grained reactive noninterference
Trustworthy Global Computing 2013 - 8th International Symposium, Revised Selected Papers, Martín Abadi; Alberto Lluch-Lafuente, Aug 2013, Buenos Aires, Argentina. pp.21, ⟨10.1007/978-3-319-05119-2_10⟩
tel-00942606v1  Theses
Pejman Attar. Towards a safe and secure synchronous language
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. ⟨NNT : 2013NICE4148⟩