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

Export 56 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
Conference Paper
B. Finkbeiner, Rabe, M., and Sánchez, C., “Algorithms for Model Checking HyperLTL and HyperCTL*”, in Proceedings of the 27th International Conference on Computer Aided Verification (CAV), 2015.
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, Sands, D., and Sudbrock, H., “Assumptions and Guarantees for Compositional Noninterference”, in Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF 2011), 2011.
T. Jager, Schinzel, S., and Smorovksy, J., “Bleichenbacher's Attack Strikes Again: Breaking PKCS\#1 v1.5 in XML Encryption”, in Proceedings of the 17th European Symposium on Research in Computer Security (ESORICS 2012), 2012.
T. Jager, Schinzel, S., and Smorovksy, J., “Bleichenbacher's Attack Strikes Again: Breaking PKCS\#1 v1.5 in XML Encryption”, in Proceedings of the 17th European Symposium on Research in Computer Security (ESORICS 2012), 2012.
P. Lammich, Müller-Olm, M., Seidl, H., and Wenner, A., “Contextual Locking for Dynamic Pushdown Networks”, in Proceedings of the 20th International Symposium on Static Analysis (SAS 2013), 2013.
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.
S. Schinzel, “An Efficient Mitigation Method for Timing Side Channels on the Web”, in Proceedings of the 2nd International Workshop on Constructive Side-Channel Analysis and Secure Design (COSADE 2011), 2011.
C. Scheben and Schmitt, P. H., “Efficient Self-Composition for Weakest Precondition Calculi”, in Proceedings of the 19th International Symposium on Formal Methods (FM 2014), 2014.
C. Scheben and Schmitt, P. H., “Efficient Self-Composition for Weakest Precondition Calculi”, in Proceedings of the 19th International Symposium on Formal Methods (FM 2014), 2014.
J. C. Blanchette, Böhme, S., Popescu, A., and Smallbone, N., “Encoding Monomorphic and Polymorphic Types”, in Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), 2013.
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.
R. Küsters, Scapin, E., Truderung, T., and Graf, J., “Extending and Applying a Framework for the Cryptographic Verification of Java Programs”, in Proceedings of the 3rd Conference on Principles of Security and Trust (POST 2014), 2014.
K. Stenzel, Katkalov, K., Borek, M., and Reif, W., “Formalizing Information Flow Control in a Model-Driven Approach”, in Proceedings of the Information Communication Technology-EurAsia (ICT-EurAsia 2014), 2014.
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.
R. Küsters, Truderung, T., Beckert, B., Bruns, D., Graf, J., and Scheben, C., “A Hybrid Approach for Proving Noninterference and Applications to the Cryptographic Verification of Java Programs”, in Grande Region Security and Reliability Day 2013, 2013.
J. Breitner, Graf, J., Hecker, M., Mohr, M., and Snelling, G., “On Improvements Of Low-Deterministic Security”, in Proceedings of the 5th International Conference on Principles of Security and Trust (POST), 2016.
M. Taghdiri, Snelting, G., and Sinz, C., “Information Flow Analysis via Path Condition Refinement”, in Proceedings of the 7th International Workshop on Formal Aspects of Security and Trust (FAST 2010), 2010.
M. Taghdiri, Snelting, G., and Sinz, C., “Information Flow Analysis via Path Condition Refinement”, in Proceedings of the 7th International Workshop on Formal Aspects of Security and Trust (FAST 2010), 2010.
B. Beckert, Bruns, D., Klebanov, V., Scheben, C., Schmitt, P. H., and Ulbrich, M., “Information Flow in Object-Oriented Software”, in Proceedings of the 24th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR), 2014.
B. Beckert, Bruns, D., Klebanov, V., Scheben, C., Schmitt, P. H., and Ulbrich, M., “Information Flow in Object-Oriented Software”, in Proceedings of the 24th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR), 2014.
H. Seidl and Kovács, M., “Interprocedural Information Flow Analysis of XML Processors”, in Proceedings of the 8th International Conference on Language and Automata Theory and Applications (LATA 2014), 2014.
T. M. Gawlitza, Lammich, P., Müller-Olm, M., Seidl, H., and Wenner, A., “Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation”, in Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2011), 2011.
W. Ahrendt, Beckert, B., Bruns, D., Bubel, R., Gladisch, C., Grebing, S., Hähnle, R., Henschel, M., Herda, M., Klebanov, V., Mostowski, W., Scheben, C., Schmitt, P.  H., and Ulbrich, M., “The KeY Platform for Verification and Analysis of Java Programs”, in Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and Experiments, 2014.
W. Ahrendt, Beckert, B., Bruns, D., Bubel, R., Gladisch, C., Grebing, S., Hähnle, R., Henschel, M., Herda, M., Klebanov, V., Mostowski, W., Scheben, C., Schmitt, P.  H., and Ulbrich, M., “The KeY Platform for Verification and Analysis of Java Programs”, in Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and Experiments, 2014.

Pages