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

Export 13 results:
[ Author(Desc)] Title Type Year
Filters: First Letter Of Title is C  [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 
B
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. 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.
K
S. Kanav, Lammich, P., and Popescu, A., A Conference Management System with Verified Document Confidentiality, in Proceedings of the 26th International Conference on Computer Aided Verification (CAV 2014), 2014.
O. Kunčar and Popescu, A., A Consistent Foundation for Isabelle/HOL, in Proceedings of the 6th International Conference on Interactive Theorem Proving (ITP), 2015.
O. Kunčar and Popescu, A., Comprehending Isabelle/HOL's Consistency, in Proceedings of the 26th European Symposium on Programming (ESOP), 2017.
R. Küsters, Truderung, T., and Vogt, A., Clash Attacks on the Verifiability of E-Voting Systems, in Proceedings of the 33rd IEEE Symposium on Security and Privacy (S{&}P 2012), 2012.
L
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.
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.
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.
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.
W
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.