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

Export 20 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is F  [Clear All Filters]
2017
B. Finkbeiner and Zimmermann, M., The First-Order Logic of Hyperproperties, in Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science (STACS), 2017.
B. Finkbeiner, Hahn, C., Stenger, M., and Tentrup, L., Monitoring Hyperproperties, in Proceedings of the 17th International Conference on Runtime Verification (RV), 2017.
B. Finkbeiner, Müller, C., Seidl, H., and Zalinescu, E., Verifying Security Policies in Multi-agent Workflows with Loops, in Proceedings of the 24th ACM Conference on Computer and Communications Security (CCS), 2017.
2014
S. Arzt, Rasthofer, S., Fritz, C., Bodden, E., Barte, A., Klein, J., Le Traon, Y., Octeau, D., and McDaniel, P., FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps, in Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2014), 2014.
L. Fennell and Thiemann, P., Gradual Typing for Annotated Type Systems, in Proceedings of the 23rd European Symposium on Programming (ESOP 2014), 2014.
M. R. Clarkson, Finkbeiner, B., Koleini, M., Micinski, K. K., Rabe, M. N., and Sánchez, C., Temporal Logics for Hyperproperties, in Proceedings of the 3rd Conference on Principles of Security and Trust (POST 2014), 2014.
2013
T. Wüchner, Müller, S., and Fischer, R., Compliance-Preserving Cloud Storage Federation Based on Data-Driven Usage Control, in Proceedings of the 5th International Conference on Cloud Computing Technology and Science (CloudCom 2013), 2013.
L. Fennell and Thiemann, P., Gradual Security Typing with References, in Proceedings of the 26th IEEE Computer Security Foundations Symposium (CSF 2013), 2013, pp. 224-239.
M. Kovács, Seidl, H., and Finkbeiner, B., Relational Abstract Interpretation for the Verification of 2-Hypersafety Properties, in Proceedings of the 20th ACM Conference on Computer and Communications Security (CCS 2013), 2013.
2012
L. Fennell and Thiemann, P., The Blame Theorem for a Linear Lambda Calculus with Type Dynamic, in Proceedings of the Symposium on Trends in Functional Programming (TFP 2012), 2012.
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.
A. Lehmann and Fahland, D., Information Flow Security for Business Process Models - just one click away, in Proceedings of the 10th International Conference on Business Process Management - Demo Track (BPM 2012), 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.
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.
2011
F. Freiling and Schinzel, S., Detecting Hidden Storage Side Channel Vulnerabilities in Networked Applications, in Proceedings of the 26th International Information Security Conference (IFIP/SEC 2011), 2011.