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

Export 147 results:
[ Author(Asc)] Title Type Year
Filters: Filter is   [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. 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., “Probabilistic Noninterference”, Archive of Formal Proofs, 2014.
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.
O
D. Octeau, Jha, S., Dering, M., McDaniel, P., Bartel, A., Li, L., Klein, J., and Le Traon, Y., “Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis”, in Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2016.
M. Ochoa, Jürjens, J., and Cúellar, J., “Non-interference on UML State-charts”, in Proceedings of the 50th International Conference on Objects, Models, Components, Patterns (TOOLS Europe 2012), 2012.
M. Ochoa, Jürjens, J., and Warzecha, D., “A Sound Decision Procedure for the Compositionality of Secrecy”, in Proceedings of the 4th International Symposium on Engineering Secure Software and Systems (ESSoS 2012), 2012.
M. Ochoa, “Security Guarantees and Evolution: From models to reality”, in Electronic Proceedings of the 1st ESSoS Doctoral Symposium (ESSoS-DS 2012), 2012.
N
B. Nordhoff, Müller-Olm, M., and Lammich, P., “Iterable Forward Reachability Analysis of Monitor-DPNs”, in Proceedings of Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday (Festschrift for Dave Schmidt), 2013.
M
H. Mantel, Perner, M., and Sauer, J., “Noninterference under Weak Memory Models”, in Proceedings of the 27th IEEE Computer Security Foundations Symposium (CSF 2014), 2014.
H. Mantel, Sands, D., and Sudbrock, H., “Assumptions and Guarantees for Compositional Noninterference”, in Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF 2011), 2011.
H. Mantel, Müller-Olm, M., Perner, M., and Wenner, A., “Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis”, in Pre-Proceedings of the 25th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR), 2015.
C. Mann and Starostin, A., “A Framework for Static Detection of Privacy Leaks in Android Applications”, in Proceedings of the 27th Symposium on Applied Computing (SAC 2012), 2012.
L
A. Lux, Mantel, H., and Perner, M., “Scheduler-Independent Declassification”, in Proceedings of the 11th International Conference on Mathematics of Program Construction (MPC 2012), 2012.
E. Lovat and Kelbert, F., “Structure Matters - A new Approach for Data flow Tracking”, in Proceedings of the 4th International Workshop on Data Usage Management (DUMA 2014), 2014.
E. Lovat, Oudinet, J., and Pretschner, A., “On Quantitative Dynamic Data Flow Tracking”, in Proceedings of the 4th ACM Conference on Data and Application Security and Privacy (CODASPY 2014), 2014.
E. Lovat, “Cross-Layer Data-Centric Usage Control”, in Proceedings of the International Symposium on Engineering Secure Software and Systems - Doctoral Symposium (ESSoS 2014)), 2014.
E. Lovat and Pretschner, A., “Data-centric multi-layer usage control enforcement: a Social Network Example”, in Proceedings of the 16th ACM symposium on Access control models and technologies (SACMAT 2011), 2011.
E. Loval, Fromm, A., Mohr, M., and Pretschner, A., “SHRIFT System-wide HybRid Information Flow Tracking”, in Proceedings of the 30th International Information Security and Privacy Conference (IFIP SEC), 2015.
A. Lochbihler, “Java and the Java Memory Model – a Unified, Machine-Checked Formalisation”, in Proceedings of the ACM SIGPLAN 7th Workshop on Programming Languages and Systems (PLAS 2012), 2012.
T. Liu, Tyszberowicz, S., Herda, M., Beckert, B., Grahl, D., and Taghdiri, M., “Computing Specification-Sensitive Abstractions for Program Verification”, in Proceedings of the 2nd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA), 2016.
X. Li, Mantel, H., and Tasch, M., “Taming Message-passing Communication in Compositional Reasoning about Confidentiality”, in Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS), 2017.
L. Li, Bartel, A., Bissyandé, T. F., Klein, J., Le Traon, Y., Arzt, S., Rasthofer, S., Bodden, E., Octeau, D., and McDaniel, P., “IccTA: Detecting Inter-Component Privacy Leaks in Android Apps”, in Proceedings of the 37th International Conference on Software Engineering (ICSE), 2015.
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 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.

Pages