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

Export 14 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Title is M  [Clear All Filters]
2012
B. Beckert, Bruns, D., and Grebing, S., “Mind the Gap: Formal Verification and the Common Criteria”, in Proceedings of the 6th International Verification Workshop (VERIFY 2010), 2012.
R. Dimitrova, Finkbeiner, B., Kovács, M., Rabe, M., and Seidl, H., “Model Checking Information Flow in Reactive Systems”, in Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2012), 2012.
A. Lehmann and Lohmann, N., “Model support for confidential service-oriented business processes”, in Proceedings of the 4th Central-European Workshop on Services and their Composition (ZEUS 2012), Bamberg, Germany, 2012.
A. Lehmann and Lohmann, N., “Modeling wizard for confidential Business Processes”, in 1st Joint International Workshop on Security in Business Processes (SBP), 2012.
R. Ehlers and Finkbeiner, B., “Monitoring Realizability”, in Proceedings of the 2nd International Conference on Runtime Verification (RV 2011), 2012.
R. Dimitrova, Finkbeiner, B., and Rabe, M. N., “Monitoring Temporal Information Flow”, in Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012.
J. C. Blanchette, Popescu, A., Wand, D., and Weidenbach, C., “More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification”, in Proceedings of the 3rd Conference on Interactive Theorem Proving (ITP 2012), 2012.
2013
J. C. Blanchette and Popescu, A., “Mechanizing the Metatheory of Sledgehammer”, in Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCos 2013), 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.
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.
2014
S. Rasthofer, Arzt, S., and Bodden, E., “A Machine-learning Approach for Classifying and Categorizing Android Sources and Sinks”, Proceedings of the Network and Distributed System Security Symposium (NDSS 2014), 2014.
T. Wüchner, Ochoa, M., and Pretschner, A., “Malware Detection with Quantitative Data Flow Graphs”, in Proceedings of the 9th ACM Symposyum on Information, Computer and Communications Security (ASIACCS 2014), 2014.
2017
S. Greiner, Mohr, M., and Beckert, B., “Modular Verification of Information-Flow Security in Component-Based Systems”, in Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM), 2017.
B. Finkbeiner, Hahn, C., Stenger, M., and Tentrup, L., “Monitoring Hyperproperties”, in Proceedings of the 17th International Conference on Runtime Verification (RV), 2017.