Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 9 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is P  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
P
A. Pretschner, Lovat, E., and Buechler, M., “Representation-Independent Data Usage Control”, in 6th International Workshop on Data Privacy Management (DPM 2011), 2011.
A. Popescu, Hölzl, J., and Nipkow, T., “Proving Concurrent Noninterference”, in Proceedings of the 2nd International Conference on Certified Programs and Proofs (CPP 2012), 2012.
A. Popescu, Hölzl, J., and Nipkow, T., “Formalizing Probabilistic Noninterference”, in Proceedings of the 3rd International Conference on Certified Programs and Proofs (CPP 2013), 2013.
A. Popescu and Hölzl, J., “Possibilistic Noninterference”, Archive of Formal Proofs, 2012.
A. Popescu, Hölzl, J., and Nipkow, T., “Formal Verification of Language-Based Concurrent Noninterference”, J. Formalized Reasoning, vol. 6, pp. 1-30, 2013.
A. Popescu and Hölzl, J., “Probabilistic Noninterference”, Archive of Formal Proofs, 2014.
A. Popescu, Hölzl, J., and Nipkow, T., “Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference”, in Proceedings of the 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013), 2013.
A. Popescu and Lammich, P., “Bounded-Deducibility Security”, Archive of Formal Proofs, 2014.
S. Pfeiffer, Unger, S., Timmermann, D., and Lehmann, A., “Secure Information Flow Awareness for Smart Wireless eHealth Systems”, in Proceedings of 9th International Multi-Conference on Systems, Signals and Devices (SSD 2012), 2012.