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

Export 29 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is K  [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 
K
K. Katkalov, Fischer, P., Stenzel, K., Moebius, N., and Reif, W., “Evaluation of Jif and Joana as information flow analyzers in a model-driven approach”, in Proceedings of 7th International Workshop on Data Privacy Management (DPM 2012), 2012.
K. Katkalov, Stenzel, K., Borek, M., and Reif, W., “Model-Driven Development of Information Flow-Secure Systems with IFlow”, ASE Science Journal, vol. 2, 2013.
K. Katkalov, Stenzel, K., Borek, M., and Reif, W., “Model-Driven Development of Information Flow-Secure Systems with IFlow”, in Proceedings of 5th ASE/IEEE International Conference on Information Privacy, Security, Risk and Trust (PASSAT 2013), 2013.
S. Kanav, Lammich, P., and Popescu, A., “A Conference Management System with Verified Document Confidentiality”, in Proceedings of the 26th International Conference on Computer Aided Verification (CAV 2014), 2014.

Pages