Items where Author / Artist / Editor is "Nipkow, Tobias"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Article

Nipkow, Tobias and Popescu, Andrei (2014) Making security type systems less ad hoc. Information Technology, 56 (6) . pp. 267-272. ISSN 1611-2776 (doi:10.1515/itit-2014-1060)

Popescu, Andrei, Hölzl, Johannes and Nipkow, Tobias (2013) Formal verification of language-based concurrent noninterference. Journal of Formalized Reasoning, 6 (1) . pp. 1-30. ISSN 1972-5787 (doi:10.6092/issn.1972-5787/3690)

Conference or Workshop Item

Popescu, Andrei, Hölzl, Johannes and Nipkow, Tobias (2013) Formalizing probabilistic noninterference. Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings. In: 3rd International Conference on Certified Programs and Proofs (CPP 2013), 11-13 Dec 2013, Melbourne, VIC, Australia. ISBN 9783319035444. ISSN 0302-9743

Popescu, Andrei, Hölzl, Johannes and Nipkow, Tobias (2013) Noninterfering schedulers: when possibilistic noninterference implies probabilistic noninterference. Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings. In: 5th Conference on Algebra and Coalgebra in Computer Science (CALCO), 3-6 Sep 2013, Warsaw, Poland. ISBN 9783642402050. ISSN 0302-9743

Popescu, Andrei, Hölzl, Johannes and Nipkow, Tobias (2012) Proving concurrent noninterference. Certified Programs and Proofs: second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings. In: 2nd International Conference on Certified Programs and Proofs (CPP 2012), 13-15 Dec 2012, Kyoto, Japan. ISBN 9783642353079. ISSN 0302-9743

This list was generated on Fri Feb 21 05:25:58 2020 GMT.