User Tools
practical_enforcement_of_information_flow_properties
Media Manager
Namespaces
Choose namespace
Media Files
Files in research_activities:security-by-contract_for_mobile_and_smart_card
- aktu-nali-07-rem.pdf
- 2021/01/29 10:58
- 197.9 KB
- drag-etal-07-europki.pdf
- 2021/01/29 10:58
- 824.9 KB
- drag-etal-policy-2011.pdf
- 2021/01/29 10:58
- 312.8 KB
- drag-gady-mass-10-wistp.pdf
- 2021/01/29 10:58
- 156 KB
- drag-matchpolicies.pdf
- 2021/01/29 10:58
- 808.2 KB
- gady-etal-nordsec-2010.pdf
- 2021/01/29 10:58
- 288.4 KB
- gady-mass-2011-hpi-nokia-4pages.pdf
- 2021/01/29 10:58
- 682.7 KB
- gady-mass-hats2012.pdf
- 2021/01/29 10:58
- 547.2 KB
- gady-mass-lost-bytecode-2012.pdf
- 2021/01/29 10:58
- 309.8 KB
- gady-mass-lost-iciss-2011.pdf
- 2021/01/29 10:58
- 360.9 KB
- gady-mass-phil-sec-2012.pdf
- 2021/01/29 10:58
- 340.2 KB
- gadyatskaya-jisa-2013.pdf
- 2021/01/29 10:58
- 5.3 MB
- jcloading.png
- 1268×606
- 2021/01/29 10:58
- 39.6 KB
- jlap.pdf
- 2021/01/29 10:58
- 1.1 MB
- mass-08-fis.pdf
- 2021/01/29 10:58
- 488.4 KB
- mass-08-w3c-london-v4.ppt
- 2021/01/29 10:58
- 1.2 MB
- mass-nali-08-imdea.ppt
- 2021/01/29 10:58
- 1.9 MB
- mass-siah-07-nordsec.pdf
- 2021/01/29 10:58
- 823.4 KB
- nordsec-2010-camera-ready.pdf
- 2021/01/29 10:58
- 288.4 KB
- sxc-short-paper.pdf
- 2021/01/29 10:58
- 740.9 KB
- vano-etal-07-csaw.pdf
- 2021/01/29 10:58
- 178.2 KB
![[root]](/doku.php?id=practical_enforcement_of_information_flow_properties&ns=&tab_files=files&do=media&tab_details=history&image=research_activities%3Aexperiments%3A2015-bologna-sid-tutorial%3Alogo%3Aunitn-logo.png){kind=link}
Page Tools
