 |
 |
 |
|
|
||
|---|---|---|
| |
||
| hal-00915241v1
Conference papers
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
Towards a safe and secure synchronous language Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. ⟨NNT : 2013NICE4148⟩ |
||
| |
||
|
|
||
