Miscellaneous

Miscellaneous material for the Non Interference package of the DOTS ANR project