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

Export 56 results:
Author Title [ Type(Asc)] Year
Filters: First Letter Of Last Name is B  [Clear All Filters]
Conference Paper
T. Bauereiß, Gritti, A. Pesenti, Popescu, A., and Raimondi, F., “CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees”, in Proceedings of the 38th IEEE Symposium on Security and Privacy (S&P), 2017.
T. Bauereiß, Gritti, A. Pesenti, Popescu, A., and Raimondi, F., “CoSMed: A Confidentiality-Verified Social Media Platform”, in Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP), 2016.
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.
T. Bauereiss and Hutter, D., “Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS”, in Proceedings of the 29th International Information Security and Privacy Conference (IFIP SEC 2014), 2014.
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.
I. Bolosteanu and Garg, D., “Asymmetric Secure Multi-execution with Declassification”, in Proceedings of the 5th International Conference on Principles of Security and Trust (POST), 2016.

Pages